jiandan
简单
不等
其实用三角函数求更简单!假设BC=1,AB=2则CE=tan15' DE=2-tan15'
又AD=1,由勾股定理 1+(2-tan15')*(2-tan15')=AE 即可得
AE=2=AB 得证