一道超级难的初中数学竞赛题,,关于三角函数

这是余弦定理的推论 平面几何证法： 在任意△ABC中 做AD⊥BC. ∠C所对的边为c，∠B所对的边为b，∠A所对的边为a 则有BD=cosB*c，AD=sinB*c，DC=BC-BD=a-cosB*c 根据勾股定理可得： AC^2=AD^2+DC^2 b^2=(sinB*c)^2+(a-cosB*c)^2 b^2=sin^2B*c^2+a^2+cos^2B*c^2-2ac*cosB b^2=(sin^2B+cos^2B)*c^2-2ac*cosB+a^2 b^2=c^2+a^2-2