包围原点的圆与 y=x 和 x,y 轴交于 A,A',B,B',C,C'，证：√2OA+OB+OC=√2 OA'+OB'+OC'

elim

elim

好像不难。且特别适合机器证明。

elim

ccmmjj

以交点为坐标原点确实简化了计算。我初考虑这个问题时，用圆心做原点，计算量就大了。
令人没想到的是，它居然和面积不变相关。

luyuanhong

楼上 elim 的帖子很好！已收藏。