Is there any source, perhaps a website or a book, which keeps track of all different proofs ever announced of a theorem? For example, I have heard that there are about $80$ different proofs of the Pythagorean Theorem. I am more interested in Niven's Theorem, which deals with the rationality of the trigonometric functions at the rational multiples of $\pi$. Can anyone suggest me where I can find all proofs of the result announced to date?

  • $\begingroup$ Have you been to www.proofwiki.com? I think they have lots of proofs $\endgroup$ – Logan Tatham Feb 19 '14 at 17:00
  • $\begingroup$ @LoganTatham, you mean this...proofwiki.com $\endgroup$ – Indrayudh Roy Feb 19 '14 at 17:07
  • $\begingroup$ Yeah, I doubt you will find a complete list anywhere - even the 80 proofs of Pythagorean Theorem makes no assertion of completeness. $\endgroup$ – Thomas Andrews Feb 19 '14 at 17:28
  • $\begingroup$ @ThomasAndrews, I don't want the Pythagorean Theorem, but Niven's Theorem, which is not as popular as that of Pythagoras', and must have a much fewer number of proofs than of Pythagoras' and it is perhaps somewhere. $\endgroup$ – Indrayudh Roy Feb 19 '14 at 17:32
  • $\begingroup$ I didn't mean that, I meant that there was no such compendium for Pythagorean theorem, a major theorem, so it was unclear why there'd be such a compendium for a (relatively) minor theorem... $\endgroup$ – Thomas Andrews Feb 19 '14 at 18:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.