Xét ΔABC và ΔABD có:
AB chung
CAB^=DAB^ (giả thiết)
ACB^=ADB^=90∘ (giả thiết)
Do đó, ΔABC=ΔABD (cạnh huyền – góc nhọn).
Suy ra CB = DB.