[DC]'yi [AB] ile kesişecek şekilde uzatalım. F noktasında kesişsinler.
^ACF üçgeni dik üçgen olduğundan, |BF|=|BC|=|AB| olur.
^ADF üçgeninde, [BD] hem açıortay hem de kenar ortay olduğundan, [BD]⊥[AF]'dir.
m(ABD)=90∘'dir.