锐角三角形能保证一定有有交点F。除此以外，可以放宽锐角三角形为任意三角形，内接相似三角形有无穷多个，最小的相似比1/2，最大的相似比无限接近1/(2*cos(min(A,B,C)))。
【 在 calculus2000 的大作中提到: 】
: 设△ABC外心为O BC边中点为M 显然DEM为中位线三角形
: A1C1和DM交于G A1B1和EM交于H
:
: 设△A1B1C1 垂心为O’ ∠B1O'C1=180°-∠B1A1C1=180°-∠A
: ∴AC1O’B1四点共圆
: 同理 BA1O'C1 和CA1O’B1
: ..................
发自「今日水木 on iPhone 13 Pro」
--
修改:hound FROM 114.93.60.168
FROM 114.93.60.168