bdfs后自己想了一个证明方法：因为 $n$ 维空间中的点一样多，将圆看成 $(x_O, y_O, r)$，三角形看成 $(x_A, y_A,x_B,y_B,x_C,y_C)$ 即可证相等。

但自己开始想到了一个映射：$f$ : 三角形 -> 圆: 让每个三角形对应它的外接圆，这甚至不是单射。

求直观理解。