Öklid Teoremleri ve ispatı

Öklid Teoremi: Bir dik üçgende hipotenüse ait yüksekliğin karesi, hipotenüs üzerinde ayırdığı parçaların çarpımına eşittir. Bir dik üçgende bir dik kenar uzunluğunun karesi, hipotenüs üzerindeki izdüşümü ile hipotenüs uzunluğunun çarpımına eşittir. (Bkz. Euclidin Hayatı ve Çalışmaları)

Öklid teoremleri dik üçgende hipotenüse ait dikme parçası ile oluşan dik üçgenlerin benzerlik oranının bir sonucudur. Öklid teoreminin ispatı yapılırken, benzer olan üçgenler açılarına göre yazılırarak birbirine benzer olan üçgenler belirlenir daha sonra bu benzer üçgenlerde aynı açıların karşısındaki kenarların birbirine oranları gösterilerek teorem ispat edilmiş olur.