把所有的变量(边，角的关系之类的)都列成方程，最后是不是一定能解出来？
【 在 littlebenben 的大作中提到: 】
: 能算出来就行， 多数证明题用三角函数完全没用
:
--
FROM 222.129.3.*