任意x_0,a=\sum_{f_i\in G}f_i(x_0)/|G|
【 在 hyk84 (咕咕) 的大作中提到: 】
: 设G是R^n中等距变换群的一个有限子群，证明存在a \in R^n, 使得f(a)=a, 对G中的任
: 意元f都成立。
--
FROM 221.218.13.*