4

体積=表面積=辺の全長 となる直方体は存在しない

360
1

準備

たてa、よこb、高さcの直方体を考えます。その体積V、表面積A、辺の全長Lは、下記の公式で表せます

V=abc
A=2(ab+bc+ca)
L=4(a+b+c)

ここで、V=A=Lとなる直方体が存在するかどうかを考えてみましょう。
自明な直方体としては、大きさが0のとき、すなわち、a=b=c=0の直方体が、V=A=L=0となるので、存在します。
しかし、0 より大きな直方体では、どうでしょうか?

証明

V>0で、V=A=Lとなる直方体は存在しない

背理法を使って、この予想を証明します。

仮に、そのような直方体が存在するとしますと、

V=Lを公式を用いてaについて解いて、
a=4(b+c)bc4

A=Lを公式を用いてaについて解いて、
a=2(b+c)bcb+c2

両者より、
4(b+c)bc4=2(b+c)bcb+c2
両辺に(bc4)(b+c2)掛けて
4(b+c)(b+c2)=(2(b+c)bc)(bc4)
これを展開して、
4b2+4bc8b+4cb+4c28c=(2b2c+2bc2b2c28b8c+4bc)
bについての二次方程式の形に変形します。
(c22c+4)b2+2(c2+2c)b+4c2=0
bが実数解を持つには、2次方程式の解の公式の判別式D0より大きくないといけません。
D=(2(c2+2c))24(c22c+4)4c2
=4((c2+2c)24(c22c+4)c2)
=4(c44c3+4c24c4+8c316c2)
=4(3c4+4c312c2)
=4c2(3c2+4c12)

ここで、cは、体積が0より大きい直方体の辺の長さ、すなわち0より大きい実数なので、4c2は必ず正になります。
そうしますと、D>0であるためには、残りの(3c2+4c12)0より大きければ、よいわけです。
しかし、式3c2+4c12は、増減表を書くとわかりますが、cがどのような実数値をとっても、最大でも32/3にしか到達できない、必ず負の値になる放物線なのです。
従って、直方体の辺の長さであるはずのbが実数ではないことになり、矛盾してしまいます。これで、最初においた0より大きいV=A=Lの直方体が存在するという仮定が誤っていたことが示されました。

証明できましたので、予想は晴れて定理に昇格しました!

V>0で、V=A=Lとなる直方体は存在しない

余談1

V=Aとなる直方体は存在します。しかも、なんと辺の長さが自然数になる例が、いくつか知られています。
ポテト一郎さんの、(初学者には有害な)表面積の練習問題

余談2

V=A=Lとなる正多角柱は、n13以上の正n角柱について、存在します。
https://twitter.com/aoki_taichi/status/1319355406490107904

投稿日:2021613
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

雰囲気で数学をやってます! 数学の専門的な教育を受けてませんので、ビシバシご指摘ください。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中