Karşılıklı köşeleri arasında bire-bir eşleme kurulan iki üçgende, "karşılıklı açıların ölçüleri eşit ise bu üçgenler benzerdir", "karşılıklı iki kenarın uzunlukları orantılı ve bu kenarların belirttiği açıların ölçüleri eşit ise, bu üçgenler benzerdir" ve "karşılıklı kenarların uzunlukları orantılı ise bu üçgenler benzerdir" biçiminde ifade edilen benzerlikler. Bu teoremler sırasıyla A.A.A. (açı-açı-açı), K.A.K. (kenar-açı-kenar) ve K.K.K. (kenar-kenar-kenar) benzerlik teoremi adıyla bilinir. Üçgen benzerlikleri, birçok geometri probleminin çözülmesinde kolaylık sağlar.

Örneğin A açısı dik olan bir ABC üçgeninde, bu köşeye ilişkin yükseklik h ve a kenarı üzerinde ayırdığı parçalar p ve q ise, yüksekliğin, ana üçgende oluşturduğu iki üçgenin birbirine benzer olduğu gösterilebilir ve buradan h2=p.q eşitliği bulunabilir.