破解一道解析几何

容易发现，条件式和元数无法对应，此时就要用到主元法，考虑从有限的条件中找到约束关系（类似于迫敛的原理。）计算量不大，对向量叉乘有了解可以简化计算。