bir dik üçgende hipotenüse ait yükseklik uzunluğunun karesi, hipotenüs üzerinde ayırdığı 2 parçanın uzunluklarının çarpımına eşittir. bu bağıntıya öklid'in yükseklik bağıntısı denir.
* dik kenar bağıntısı
bir dik üçgende bir dik kenarın uzunluğunun karesi, bu kenarın hipotenüs üzerindeki dik izdüşümü ile hipotenüs uzunluğunun, çarpımına eşittir. bu bağıntıya öklid'in dik kenar bağıntısı denir.
* a) abc - hac benzerliğinden b/k = a/b => k.a bulunur.
* b) abc - hba benzerliğinden c/p =a/c => p.a bulunur.
