Pisagor teoreminin meşhur ispatlarından biri, dik üçgenin kenarları üzerine kurulan karelerin alanları arasındaki ilişkiyi kullanır. Bir dik üçgenin dik kenarları $a$ ve $b$, hipotenüsü $c$ olmak üzere $a^2+b^2=c^2$ bağıntısını ispatlamak için aşağıdaki önermelerden hangisinin kullanılmasına gerek yoktur?
A) Bir karenin alanı, kenar uzunluğunun karesine eşittir.
B) İki üçgenin benzer olması için karşılıklı açılarının eşit olması yeterlidir.
C) Dik üçgende dik açıdan hipotenüse indirilen yüksekliğin uzunluğu, hipotenüsü ayırdığı parçaların geometrik ortalamasıdır. (Öklid'in Yükseklik Teoremi)
D) Alanı bilinen bir şekil, parçalara ayrıldığında parçaların alanları toplamı ana şeklin alanına eşittir.
E) Bir üçgenin alanı, taban uzunluğu ile o tabana ait yüksekliğin çarpımının yarısına eşittir.
