MathLabs

第5問

AB≠CDAB\ne CD を満たす平面上の n+4n+4 個の点 A,B,C,D,X1,…,XnA,B,C,D,X_1,\dots,X_n で、各 i=1,2,…,ni=1,2,\dots,n について三角形 ABXiABX_i と CDXiCDX_i が合同となるような最大の整数 nn を求めよ。
ステップ 2/6: 最初の上界を得る
Xi∈(ΓA∪ΓB)∩(ΔC∪ΔD).X_i\in(\Gamma_A\cup\Gamma_B)\cap(\Delta_C\cup\Delta_D).
詳しい解説

円の組は四つあり、各組の交点は高々二つなので、必要な辺長条件を満たす点は高々八個である。