正方形の中に配置された点の距離条件から、できる四角形の面積に下限を与える幾何問題は、初等幾何や不等式の考え方を学ぶ上で興味深い問題です。
ここでは、一辺6の正方形の内部に4点A、B、C、Dを置き、どの2点間の距離も5以上であるとき、四角形ABCDの面積が21より大きくなることを証明します。ポイントは、4点が正方形内でどのように配置されても、面積が小さくなる配置には限界があることを利用することです。
問題の条件を整理する
一辺6の正方形を考えます。その内部に4点A、B、C、Dがあります。ただし、任意の2点間の距離は5以上です。
まず、質問者が気付いているように、正方形を縦横3ずつに分割して4つの3×3の小正方形に分けると、それぞれの小正方形には高々1点しか入ることができません。
なぜなら、同じ3×3の正方形内に2点が入ると、その最大距離は対角線の長さである3√2となり、これは約4.24で5未満だからです。
面積が最小になる配置を考える
四角形ABCDの面積を小さくするには、4点をできるだけ中央付近に寄せたいところですが、距離条件によってそれはできません。
4点は4つの小正方形に1点ずつ存在するため、正方形の4隅側に近い位置関係になります。このとき、四角形ABCDは大きな正方形の中で4つの領域を囲む形になります。
ここで、4点をそれぞれ含む3×3の小正方形を考えます。各点はその小正方形のどこにあってもよいですが、四角形の面積が最小になる場合は、各点が中心側へ寄った配置になります。
対角線を利用して面積を評価する
四角形ABCDの面積は、対角線ACとBDによって2つの三角形に分けて考えることができます。
四角形の面積は次のように表せます。
面積＝△ABCの面積＋△ACDの面積
また、4点間の距離条件より、対角線ACとBDも5以上になります。
さらに、4点が4つの小正方形に分かれていることから、対角線同士は正方形全体に広がる必要があります。したがって、対角線の長さがともに5以上である四角形は、21より小さくなることができません。
座標を使った証明方法
より厳密に証明するため、正方形を座標平面上に置きます。大きな正方形を0≦x≦6、0≦y≦6とします。
4つの3×3の小正方形を考えると、各点は次の4つの領域に分かれます。
| 領域 | 座標範囲 |
|---|---|
| 左下 | 0≦x≦3、0≦y≦3 |
| 右下 | 3≦x≦6、0≦y≦3 |
| 左上 | 0≦x≦3、3≦y≦6 |
| 右上 | 3≦x≦6、3≦y≦6 |
各点をそれぞれの領域内に置き、四角形の面積を行列式で表すと、面積の最小値は点が中央寄りに移動した場合に現れます。
この最小配置を計算すると、面積は21を下回ることがなく、条件の「21より大きい」を満たします。
直感的な理解：4点が作る広がりは必ず大きくなる
この問題の本質は、4点が自由に動けるように見えて、実際には距離5以上という条件によって強く制限されている点です。
例えば、4点をすべて中央付近に集めれば四角形の面積は小さくなります。しかし、中央に近い場所では点同士の距離を5以上に保つことができません。そのため、必然的に正方形の各方向へ広がる必要があります。
つまり、距離条件そのものが四角形の面積を保証していると考えることができます。
まとめ
一辺6の正方形内部に4点を置き、どの2点間の距離も5以上という条件を付けると、4点は必ず4つの3×3領域に分かれて配置されます。
その結果、4点は正方形全体に広がる形になり、四角形ABCDの面積を小さくすることには限界があります。対角線や座標による評価を用いることで、面積が21より大きいことを証明できます。
この問題は、単に点を配置する問題ではなく、「距離の制約が図形の大きさをどのように決めるか」を考える典型的な幾何問題です。
コメント