廊下を曲がれる棒の長さに関する問題

高校の時に目にした数学の問題で、ずっと印象に残っているものがあった。多分「大学への数学」かその別冊に載っていたのだと思う。自分で解いたことはなかったし、答も全く覚えていなかったのだが、最近ふと思い立って、ちょっとカンニングしながらも解を導くことができた。日本語のサイトで解法を書いてあるページを見かけない(答を書いてあるページはあるが)ので、ここに書いておく。

問: 幅aの廊下から幅bの廊下へ直角に曲がる曲がり角がある。この曲がり角を水平に持って曲がれる棒の長さの最大値を求めよ。

図のような曲がり角を通っていくことのできる棒の長さは最大どれだけかという問題である。

【解答】
曲がり角をギリギリで曲がろうとすると、下図のように棒の両端A, Bを壁につけ、途中を曲がり角Cに当てた状態で動かすことになる。動かしている間中ずっと棒は廊下におさまっていないといけないから、このような状態で棒の長さを可変と考え、棒を傾けていったときのABの長さの最小値を求めればよい。

角OBAをxとすると、棒ABの長さはxの関数l(x)で表せる。a = AC \cos xb = BC \sin xであるから

  •  l(x) = AC + BC = \frac{a}{\cos x} + \frac{b}{\sin x}

求める長さは、0 < x < \frac{\pi}{2}の範囲でのl(x)の最小値ということになる。

l(x)導関数を求める。(\cos x)' = - \sin x(\sin x)' = \cos xと関数の逆数の導関数の公式(\frac{1}{f(x)})' = - \frac{f'(x)}{(f(x))^2}から、

  • l'(x) = \frac{a \sin x}{\cos^2 x} - \frac{b \cos x}{\sin^2 x}

0 < x < \frac{\pi}{2}の範囲では\cos x\sin xは常に正で、x0に近づくとき\cos x1に、\sin x0に近づく。x\frac{\pi}{2}に近づくとき\cos x0に、\sin x1に近づく。したがってx0に近いときl'(x)は負になるからl(x)は減少し、x\frac{\pi}{2}に近いときl'(x)は正になるからl(x)は増加する。途中l'(x) = 0となるx\thetaとすると、そこでl(x)は最小となり、求める長さはl(\theta)である(このあたりは増減表を書いてみるとわかる)。

  • l'(\theta) = \frac{a \sin \theta}{\cos^2 \theta} - \frac{b \cos \theta}{\sin^2 \theta} = 0
    \Rightarrow \frac{\sin \theta}{\cos \theta} = (\frac{b}{a})^{\frac{1}{3}}
    \Rightarrow \cos \theta\, :\, \sin \theta = a^{\frac{1}{3}}\, :\, b^{\frac{1}{3}}

よってx = \thetaのとき、OB = AB\cos \theta, OA = AB\sin \thetaであることとAB^2 = OB^2 + OA^2を使って

  •  AB\,:\,OB\,:\,OA = \sqrt{a^{\frac{2}{3}} + b^{\frac{2}{3}}}\,:\,a^{\frac{1}{3}}\,:\,b^{\frac{1}{3}}

したがって

  • \cos\theta = \frac{OB}{AB} = \frac{a^{\frac{1}{3}}}{\sqrt{a^{\frac{2}{3}} + b^{\frac{2}{3}}}}, \sin\theta = \frac{OA}{AB} = \frac{b^{\frac{1}{3}}}{\sqrt{a^{\frac{2}{3}} + b^{\frac{2}{3}}}}

これらとl(x)の定義式から、求める長さは

  • l(\theta) = \frac{a}{\cos \theta} + \frac{b}{\sin \theta} = a \div \frac{a^{\frac{1}{3}}}{\sqrt{a^{\frac{2}{3}} + b^{\frac{2}{3}}}} + b \div \frac{b^{\frac{1}{3}}}{\sqrt{a^{\frac{2}{3}} + b^{\frac{2}{3}}}} = (a^{\frac{2}{3}} + b^{\frac{2}{3}})\sqrt{a^{\frac{2}{3}} + b^{\frac{2}{3}}}
    =(a^{\frac{2}{3}} + b^{\frac{2}{3}})^{\frac{3}{2}}

結構きれいな式になるものである。a = bのとき\theta = \frac{\pi}{4}(45度)、l(\theta) = 2\sqrt{2}aとなる。a, bの片方が他方に比べ極端に大きいときは、曲がり角でほとんど回転できないため、大きい方に近い値(広い方の廊下の幅に近い長さ)になる。