沢山引理的证明很有意思。
曼海姆圆是特殊的场景。
【 在 calculus2000 的大作中提到: 】
: 伪内切圆这个模型下 确实有非常多的等角性质
: 2019imo p6那道题 也跟伪内切圆有关 当然那道题没那么直白 是从内切圆引入的
: EIF三点共线这个性质 本身就是一个定理 俗称沢山引理
: ...................
--
FROM 61.152.216.52