1.
为了推导两角和与差的三角函数公式，某同学设计了一种证明方法：在直角梯形ABCD中，
， 
， 点E为BC上一点，且
， 过点D作
于点F，设
， 
.
(1)
利用图中边长关系
， 证明：
；
(2)
若
， 求
.
【考点】
两角和与差的正弦公式;