m(A)=180−m(B)−m(C)
oldugundan
m(A)2=90−m(B)+m(C)2
olur. Dikin
N ile
C arasina dustugunu varsayalim. Bu durumda
[90−m(B)+m(C)2−α]+90+m(C)=180
olur. Bu da bize
α=m(C)−m(B)2
oldugunu verir. Simetriden eger dik
N ile
B arasina duserse
α=m(B)−m(C)2
olur. Birisi pozitif olacak ve aci bu pozitif degere esit olacak. (Eger ikisi de sifir ise fark yapmaz zaten).