he is usually credited with the proof of the pythagorean theorem using similar triangles. however, thabit ibn qurra (ad 901), an arab mathematician, had produced a generalisation of the pythagorean theorem applicable to all triangles six centuries earlier. it is a reasonable conjecture that wallis was aware of thabit's work.