MathNet 2013 Câu hỏi 7

Cho hình vuông $ABCD$. Điểm $E$ nằm trong góc $\angle CAB$ sao cho $\angle BAE=15^\circ$, và hai đường thẳng $BE,BD$ vuông góc. Chứng minh $AE=BD$.