後期第1問目は一橋大学の整数問題です。問題はまたもTwitterから拾わせて頂きました。
《問題》
を以上以下の整数とする。点、、は同一直線上にないとする。
(1) の面積を最小にするを求めよ。
(2) を最小にするを求めよ。
(一橋大学2017 後期第4問)
《考え方》
(1)は標準レベルの問題です。
であり、点は同一直線上にないから です。故に のとき の面積は最小となります。 、 より、を得ます。
(2)ですが、1変数化して微分を使うのかな?・・・と思いきや、(1)が利用できることに気付きました。しかし論理的なミスを誘発しやすい問題なので細心の注意を払う必要があります。
以下、 を考えるために取り敢えず を考えます(中には を考えた人もいると思いますが、これだと(1)の結果が活かせません(多分))。
となり、(1)によれば、ここから
となる・・・ということが言えそうですが、ここで解答を終了してしまうと(多分)点です!なぜならこれが最小値である保証がどこにも無いからです。分子が最小値を取るときの の組が を最小にするとは限りません。どういうことかというと、 ではありますが、 を満たす の組に制約がある(すべての の組が を満たす訳ではない)ため、 のときではなく例えば のときに が最小となるかもしれないからです。
ここでについて少し。
とは互いに素なので、基本的には任意の正の整数値を取ることができます。「基本的に」というのは、この問題設定では 、 という制約があるためにが取り得る整数値がある程度制約される場合があることを踏まえて言っています。実際、がある正の整数値に等しくなるとき、この不定方程式を解いてを得ますから、このような の組を構成すればは任意の正の整数値を取ることができます。まずこのことは理解しておきましょう。
さて、先程はという値を得ましたが、これは一体何を表しているのでしょう?
・・・それを考える前に点と直線との距離について考えておきます。点と直線の距離の公式から、と求められます。

は任意の正の整数値を取る(さっきお話しした通りです)ので、は という値を取ることが分かりました。
いま、ですから、となります。つまり、先程求めたのは を満たすような点の集合の中で考えた時のの最小値だった訳です。これがアヤシイというなら次に考えるべきなのは を満たす点の集合の中で考えた時のの最小値ですよね。つまり、を満たすような点が存在するのかしないのか、というのが最大の関心事ですから、これを解いてみます。すると、 となりました。ここで、、という条件を思い出すと、はどんなに頑張ってもまでの値しか取れません。つまりを満たすような点は存在しないことが分かりました。これは となるすべての場合について言えるので、 となるときに最小値を取ることが分かりました。
よって の最小値は となるとき、つまり となるような点のうち、 のときに与えられるので、求める点はと決定することが出来ました。めでたしめでたし・・・。
(コメント)
さて、結局(2)答えはだったので、十分条件を全く確認しなくても正しい答えは得られてしまっていることになります。このこと、つまり点がどこにあっても半直線との距離が最小となる点を選べば の最小値が得られることは一般的に成立するのでしょうか・・・?
見た目的に成り立ちそうな気もしますが、これは今後の研究課題ですね・・・。ともかく、(2)は難問とは言わないまでも、試験場で解くには(1)のヒント(?)が無いとなかなか難しい問題だったと思います。
因みに(1)で話題にしている の面積の最小値についてですが、格子点からなる三角形の面積の最小値は常に であることが知られています。まあこれは面積公式 を考えると自明と言えば自明なのですが・・・。