哇，太牛了！ 这个一定要强顶...

由于我本人在代数和解析几何方面严重偏弱，所以你中间有几个步骤貌似我没有能够完全跟下来。 虽然不能100%确定你的证明是否成立，但是我能看出来你的整个证明过程思路清晰，叙述也非常清楚和完整。特别可取的是用O作原点，OB作Y轴，从而可以利用参数的对称性有效地简化计算，大赞啊。热烈鼓掌+严重佩服。

由于这道题几乎唯一的(或者说最重要的)已知条件就是那个“三线(OA,OB,OC)交于同一点(O)”，所以目前我个人的直觉是...这道题你也许确实是解出来了(虽然我不能100%确定)。