边长为1的正方形ABCD的顶点都在圆O上 ,点P为DC边的中点,AP的延长线交圆O于E,求弦DE的长

问题描述:

边长为1的正方形ABCD的顶点都在圆O上 ,点P为DC边的中点,AP的延长线交圆O于E,求弦DE的长

对⊿ADE用正弦定理 DE/sin∠EAD=AD/sin∠AED
sin∠EAD=1/√5,sin∠AED=1/√2 [∠AED=45º]
∴DE=﹙1/√5﹚/﹙1/√2 ﹚=√10/5≈0.63﹙长度单位﹚