I posted a new article on the proof of zeta(2)=%pi^2/6 in the imaxima Session Examples. I have learned this method in a blog in which zeta(4) was obtained. I just applied the same method to the easier problem of zeta(2).