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).