Pisagor teoremine göre bir diküçgende dik kenarların karelerinin toplamları hipotenüsün karesine eşittir.
Bunun ispatı şuna dayanmaktadır:
a2 = c2 + b2 , a uzunluğu hipotenüstür.
c ve b uzunlukları ise dik kenarlardır.
Her kenardan birer kare oluşturulur.
Bu karelerin alanları, kare alan formülüne dayalı olarak a2,b2,c2 şeklinde sıralanır.
Böylece üç karenin köşelerinin birleşiminden oluşan bir dik üçgen oluşturulur.
Oluşan üçgenin dik köşesinden hipotenüsün oluşturduğu karenin, hipotenüse paralel olan kenara indirilen dikme ile üçgen içerisinde öklid bağıntısı kurulur.
Öklide göre;
h2 = p.k
c2 = p.a
b2 = k.a
a.h = b.c
1/h2 = 1/b2 + 1/c2 'dir.