作CE垂直AD于E,连接FE并延长交CD与于G.
∵∠BAD=90°
∴BA⊥AD于A
∴CE//AB
又∵AD//BC
∴四边形ABCE是矩形
又∵AB=BC
∴矩形ABCE是正方形
∴AE=EC=BC=AB
(接下页)