Last edited by hbghlyj 2019-9-13 18:02
对于四点A,B,C,D，定义点映射f(A,B,C,D)为以AB,CD为直径的圆的根轴与以BC,DA为直径的圆的根轴的交点，易见f是轮换的，定义g(A,B,C,D)为f(A,B,C,D),f(A,C,B,D),f(A,D,C,B)的外心，易见f是对称的，求证：完全四边形的每两组对顶点经过g映射后得到的三点共线
cycle.ggb
(24.44 KB, Downloads: 3571)
cycle points.ggt
(2.1 KB, Downloads: 3701)
后一个是ggb工具文件，我在里面定义了工具f和工具g |
