破解两道解析几何

多元驱动、消元；主元法解较复杂方程。

采用代数变形方式证明，复杂度较高（利用三角函数证明会大幅缩减计算量。）