Question 462361
What is "this theorem"? Is it the Pythagorean theorem (the topic you listed the question under), which is always correct for right triangles?


Also, computers are rarely used to prove theorems. The only example I can think of at the moment is the four-color theorem, in which mathematicians developed algorithms before using a computer to verify all the cases. Computers might be used as evidence for proving a theorem, though (consider all the billions of non-trivial zeros of the Riemann zeta function lying on the critical line Re(z) = 1/2).