[math]AB\bot AC\wedge CD=DB[/math][br] [math]\Downarrow[/math][br] [math]CD=AD=DB[/math]