MathLabs

第6問

平面上に nn 個の点を取り(nge3n\\ge3)、各二点を線分で結ぶ。最長線分の長さを dd とし、長さ dd の結線分を直径と呼ぶ。直径の本数が高々 nn であることを証明せよ。
ステップ 4/4: 帰納法で結論する
E−1len−1LongrightarrowElen.E-1\\le n-1\\Longrightarrow E\\le n.
詳しい解説

CC とそれに接する唯一の直径 ACAC を除く。残り n−1n-1 点のすべての直径は残った線分の中にあるので、帰納法により高々 n−1n-1 本である。ACAC を戻せば E≤nE\le n となり、E>nE>n に矛盾して主張が証明される。