[BA] ⊥ [AC] ise
|AD|=?
2|BF|=|BC| olacak şekilde, [BC] üzerinde bir F noktası seçelim ve A ile birleştirelim.
F noktası hipotenüsün orta noktası olduğundan, |AF|=|BF|=|FC|=3
m(FAC)=m(ACD) olduğundan (iç ters açılar), [AF]//[DC]'dir.
AFCD bir eşkenar dörtgen olur.
|AD|=3