Benzerlikten yapılır, kosinüs teoreminden de yapılır... ama en kısası pis üçlü. :)
zaten o eşitliği verme amacı onu fark etmeni sağlamak. "Bak dik üçgenden bir kenarortay inmişim, öyleyse diki kenarortaya birleştirdiğim uzunluk da o ikisine eşit olacak," diye. (AD=DC=DB)