大川研究室主催
『数学の問題コーナー』　に挑戦！

　このページでは、日頃からお世話になっている広島工業大学の大川研究室が主催する
『数学の問題コーナー』の問題に挑戦したいと思う。

（追記）　大川先生が逝去されて、上記のサイトもリンクが切れているようです。
　　　Kelly Burkhardさんより、まだネット内には検索すると関連ページが見られるとご教示
　　　いただきました。ただし、残念ながら大川先生の書かれたものが残っているわけでは
　　　ないとのことです。Kelly Burkhardさんに感謝します。2018.7.14（→　参考）

問題１０７　　次の式を因数分解せよ。

　x⁴ + y⁴ + z⁴ + w⁴ - 2( x²y² + x²z² + x²w² +y²z² + y²w² + z²w² ) + 8xyzw

　　　[類題]　x⁶ - y⁶ + z⁶ -3x⁴y² + 3x²y⁴ + 2x³z³ + 6xy²z³　を因数分解せよ。

　大川研究室のＨＰでは、答はあるものの途中経過がないので、高校生に戻った気分で次のよ
うに解いてみた。

　問題１０７、類題ともに、解法の根底にあるのは、いわゆる「たすき掛け」の手法である。

（解）　与式＝x⁴ + y⁴ + z⁴ + w⁴ - 2( x²y² + x²z² + x²w² +y²z² + y²w² + z²w² ) + 8xyzw
　　　　　　＝（ x² - y² ）² + 2x²y² + （ z² - w²）²+ 2z²w²- 2( x²y² + x²z² + x²w² + y²z² + y²w² + z²w² ) + 8xyzw
　　　　　　＝（ x + y ）²（ x - y ）²- 2( x²z² + x²w² + y²z² + y²w² - 4xyzw ) + （ z + w ）²（ z - w ）²
　　　　ここで、簡単な計算から、
　　　　　　（ x + y ）²（ z - w ）²+ （ x - y ）²（ z + w ）²＝ 2( x²z² + x²w² + y²z² + y²w²- 4xyzw )
　　　なので、たすき掛けにより、
　　　　与式＝(（ x + y ）²- （ z + w ）²)(（ x - y ）²- （ z - w ）²)
　　　したがって、
　　　　与式＝( x + y + z + w )( x + y - z - w )( x - y + z - w )( x - y - z + w )
　　　と因数分解される。（終）

　類題も同様にできる。

（解）　与式＝( x² - y²)³ + z⁶ + 2x³z³ + 6xy²z³
　　　　　　　＝z⁶ + ( 2x³ + 6xy²)z³ + （ x + y）³（ x - y）³
　　　　ここで、簡単な計算から、
　　　　　　（ x + y）³ + （ x - y）³ ＝ 2x³ + 6xy²
　　　なので、たすき掛けにより、
　　与式＝( z³+ （ x + y）³)( z³+ （ x - y）³)
　　　　　＝( z + x + y )( z²- z( x + y ) + ( x + y )² )( z + x - y )( z² - z( x - y ) + ( x - y )²)
　　　　　＝( x + y + z )( x² + y² + z²+ 2xy - yz - zx )( x - y + z )( x² + y² + z²- 2xy + yz - zx )
　　　と因数分解される。（終）


問題５６　　自然対数の底 e は無理数である。

　この問題については、既に当ＨＰで解答掲載済みである。（→　こちらを参照）


　問題１０７に関連して、次の問題 ４も興味深い。

問題 ４　３つの数　　は有理数体上一次独立であることを示せ。

（解）　 いま、有理数 ａ、ｂ、ｃ を用いて、
　　　　　　　　　　　　　　　　　　　　　
　　　とする。
　　　　両辺に十分大きい自然数をかけることにより、初めから、 ａ、ｂ、ｃ は整数としてよい。
　　　ａ、ｂ、ｃ のうち、少なくとも一つは ０ でないと仮定する。
　　　このとき、 が無理数であることから、ａ、ｂ、ｃ のどれも ０ とはならない。
　　　　よって、ａ、ｂ、ｃ の最大公約数で両辺を割り算することにより、ａ、ｂ、ｃ　は互いに素と
　　　してよい。
　　　　そこで、上式の両辺に、　をかける。
　　　展開して、式を整理すると、
　　　　　　　　　　　　　　　　　　　　　ａ³＋２ｂ³＋４ｃ³−６ａｂｃ＝０
　　　となる。
　　　　　　　　　　　　　　　　　　　　　ａ³＝−２ｂ³−４ｃ³＋６ａｂｃ
　　　において、右辺は、偶数だから、左辺の ａ³ 、すなわち、ａ は偶数となる。
　　　　ａ＝２ｋ　（ｋは整数）を、上式に代入して、式を整理すれば、
　　　　　　　　　　　　　　　　　　　　　ｂ³＝−４ｋ³−２ｃ³＋６ｋｂｃ
　　　よって、同様な理由から、ｂ も偶数となる。
　　　　ｂ＝２ｍ　（ｍは整数）を上式に代入して、式を整理すれば、
　　　　　　　　　　　　　　　　　　　　　ｃ³＝−４ｍ³−２ｋ³＋６ｋｍｃ
　　　よって、同様な理由から、ｃ も偶数となる。
　　　　以上から、ａ、ｂ、ｃ　はともに偶数となり、ａ、ｂ、ｃ　が互いに素としたことに矛盾する。
　　　したがって、ａ ＝ ｂ ＝ ｃ ＝ ０ となり、　は有理数体上一次独立となる。

　問題１０７のような単に因数分解だけの問題だったら無味乾燥で味気ないが、この問題の
ような、応用例のある因数分解だと、俄然輝きを増してくるから不思議だ。


問題７９　２¹⁰⁹²−１ は １０９３² で割り切れる事を示せ。
　　
　　 [類題]　２³⁵¹⁰ −１ は ３５１１² で割り切れる事を示せ。

　大川研究室の解答は、とても美しい。このページでは、強引に計算を推し進めて、結果を
示そうと思う。（多分、誰もやりたがらない計算だろう。）

　ｐ＝１０９３　とおく。　ｐ−１＝１０９２＝２²×３×７×１３　と素因数分解されるので、約数は、

　　１、　　２、　　３、　　４、　　６、　　７、　１２、　１３、　１４、　２１、　２６、　２８、　３９、　４２、

　５２、　７８、　８４、　９１、１５６、１８２、２７３、３６４、５４６、１０９２

の ２４個ある。これらについて、ｐ² を法とした、２^ｘ の値を求めてみると、

２¹＝２
２²＝４
２³＝８
２⁴＝１６
２⁶＝６４
２⁷＝１２８
２¹²≡４ｐ−２７６
２¹³≡７ｐ＋５４１
２¹⁴≡１５ｐ−１１
２²¹≡−２６７ｐ−３１５
２²⁶≡１９１ｐ−２４３
２²⁸≡−３３０ｐ＋１２１
２³⁹≡−１３９ｐ−３０３
２⁴²≡−２１ｐ−２３８
２⁵²≡１３３ｐ＋２７
２⁷⁸≡１５７ｐ−３
２⁸⁴≡２１１ｐ−１９２
２⁹¹≡−３３９ｐ−５３０
２¹⁵⁶≡１５１ｐ＋９
２¹⁸²≡−１

　上式の両辺を６乗して、 (２¹⁸²)⁶≡(−１)⁶　すなわち、２¹⁰⁹²≡１

　類題も同様にやってみよう。

　ｐ＝３５１１　とおく。　ｐ−１＝３５１０＝２×３³×５×１３　と素因数分解されるので、約数は、

　　１、　　２、　　３、　　５、　　６、　　９、　１０、　１３、　１５、　１８、　２６、　２７、　３０、　３９、

　４５、　５４、　６５、　７８、　９０、１１７、１３０、１３５、１９５、２３４、２７０、３５１、３９０、５８５、

７０２、１１７０、１７５５、３５１０

の ３２個ある。これらについて、ｐ² を法とした、２^ｘ の値を求めてみると、

２¹＝２
２²＝４
２³＝８
２⁵＝３２
２⁶＝６４
２⁹＝５１２
２¹⁰＝１０２４
２¹³≡２ｐ＋１１７０
２¹⁵≡９ｐ＋１１６９
２¹⁸≡７５ｐ−１１８１
２²⁶≡１５５９ｐ−３９０
２²⁷≡−３９３ｐ−７８０
２³⁰≡３６５ｐ＋７８２
２³⁹≡９１１ｐ＋１３０
２⁴⁵≡２１３０ｐ＋１２９８
２⁵⁴≡−１１７２ｐ＋９９７
２⁶⁵≡−１６６１ｐ−１５４６
２⁷⁸≡１６２８ｐ−６５５
２⁹⁰≡１３５ｐ−４７６
２¹¹⁷≡１１２１ｐ−８８６
２¹³⁰≡−１００ｐ−８７５
２¹³⁵≡３０３ｐ＋８８
２¹⁹⁵≡３２２ｐ＋１０１５
２²³⁴≡１０３７ｐ＋２０４３
２²⁷⁰≡６６５ｐ＋７２２
２³⁵¹≡１６１６ｐ−１９３３
２³⁹⁰≡９０７ｐ＋１５０２
２⁵⁸⁵≡２８３ｐ＋７５６
２⁷⁰²≡−３２３ｐ＋７８５
２¹¹⁷⁰≡−２８３ｐ−７５７
２¹⁷⁵⁵≡１

　上式の両辺を２乗して、 ( ２¹⁷⁵⁵)²≡１　すなわち、２³⁵¹⁰≡１

　　上記の計算は、小さい電卓を片手に計算したものである。
ｐ＝１０９３　の場合は、それほど気の遠くなるような計算ではなく、比較的楽に求めることが
できた。 ２⁹¹≡−３３９ｐ−５６３　まで計算して、係数の大きさに不安になった（大川研究室
の結果を知っていたので、それほどでもなかったが．．．）が、鮮やかに、 ２¹⁸²≡−１　が示
されて、とても感動した。深い森の中で、一気に展望がひらけたような気分であった。

　それに対して、ｐ＝３５１１　の場合は、大変だった。計算しては、計算ミスが発見され、何
度か計算を繰り返した。私の傍らで、「何かお手伝いできれば、・・・」と計算用紙を見た、あ
る女性の方は、大変な計算に「見なかったことにします！！」と言って、足早に去ってしまっ
た。　ｐ＝１０９３　の場合のように、途中で、何がしかの劇的な式を期待したが、 ２¹⁷⁵⁵≡１　
に到達するまで、遠くて長い茨の道であった。とても、疲れた。１７５５＝３³×５×１３　なの
で、ｐ＝１０９３　のときのような上手い解法は、あまり期待できないと思う。


問題１１８ は、フィボナッチ数列の周期性に関する問題である。

　フィボナッチ数列 ｛ａ_ｎ｝ とは、、漸化式

　　　　　　　ａ₁ ＝ １、ａ₂ ＝ １、 ａ_{n + 2} ＝ ａ_{n + 1} ＋ ａ_n

により定まる数列である。（詳しくは、こちらを参照）
　最初のいくつかの項を列挙すれば、

１、１、２、３、５、８、１３、２１、３４、５５、８９、１４４、２３３、３７７、６１０、９８７、１５９７、・・・

となる。これらの各項を、例えば、ｍｏｄ ２ で考えれば、数列は、

１、１、０、１、１、０、１、１、０、１、１、０、１、１、０、１、１、・・・

また、ｍｏｄ ３ で考えれば、数列は、

１、１、２、０、２、２、１、０、１、１、２、０、２、２、１、０、１、・・・

となり、同じ数字の列（赤字の部分）が繰り返し現れる。このような現象を、フィボナッチ数列

の周期性という。

　問題１１８によれば、次のように定義される。

　自然数 N と ｐ に対し、ｐ がフィボナッチ数列 ｛ａ_ｎ｝ の mod N 周期であるとは、

　　　　任意の自然数 ｎ に対して、 ａ_{n + p} ≡ ａ_ｎ　(mod N)

が成り立つときをいう。

　このような ｐ のうち、最小の正の数を、通常 mod N 周期 と呼ぶことは、三角関数におけ
る周期の場合と同じである。

　上記にあげた例によれば、mod ２ 周期は、３ で、mod ３ 周期は、８ となる。

このとき、次の定理が成り立つ。

定理　

どんな自然数 N に対しても、フィボナッチ数列は、 ０ 以外の mod N 周期 ｐ　を持つ。


　問題１１８によれば、この定理の証明は、「フィボナッチ数列の定義のされ方によりすぐ分か
る。」とされているが、それほど自明なこととは思われないので、ここで、証明しておきたい。

　フィボナッチ数列 ｛ａ_ｎ｝において、ａ_ｎ ≡ ｒ_ｎ　(ｍｏｄ Ｎ)　（ただし、０≦ ｒ_ｎ≦Ｎ−１）とする。

このとき、順序対（ ｒ_ｎ ， ｒ_ｎ+1 ）において、０≦ ｒ_ｎ≦Ｎ−１、０≦ ｒ_ｎ+1≦Ｎ−１ なので、起こり

うる場合の数は、全部で Ｎ² 個ある。

　ところで、ｎ の値の範囲として、０ ≦ ｎ ≦ Ｎ² （ただし、ｒ₀ ＝０ とする。）で考えるものとす

れば、順序対（ ｒ_ｎ ， ｒ_ｎ+1 ）は全部で Ｎ²＋１ 個できる。

　したがって、鳩ノ巣原理により、

　　　　　　　　　　　　　　（ ｒ_ｋ ， ｒ_ｋ+1 ）＝（ ｒ_ｍ ， ｒ_ｍ+1 ）

となる ｋ、ｍ （ｋ＜ｍ） が存在する。すなわち、　ｒ_ｋ ＝ ｒ_ｍ　、ｒ_ｋ+1 ＝ ｒ_ｍ+1 が成り立つ。

　ここで、ｋ＝０　ならば、自然数 ｐ として、ｐ＝ｍ とおけばよい。

　もし、ｋ≧１ ならば、ｍｏｄ Ｎ において、

　ｒ_ｋ-1 ≡ ａ_ｋ-1 ＝ａ_ｋ+1− ａ_ｋ ≡ ｒ_ｋ+1− ｒ_ｋ ＝ ｒ_ｍ+1− ｒ_ｍ ≡ ａ_ｍ+1− ａ_ｍ ＝ ａ_ｍ-1 ≡ ｒ_ｍ-1

　すなわち、　ｒ_ｋ-1 ＝ ｒ_ｍ-1　となる。

以下同様にして、ｒ_ｋ-2 ＝ ｒ_ｍ-2 、・・・、ｒ₀ ＝ ｒ_ｍ-k が示される。

　そこで、ｐ＝ｍ−ｋ　とおけば、ｐ は自然数で、 ｒ_ｐ ＝ ｒ₀ ＝ ０　となる。

上記の計算から、さらに、　ｒ_ｐ+1 ＝ ｒ₁　であるので、

　　　ｒ_ｐ+2 ≡ ａ_ｐ+2 ＝ａ_ｐ+1＋ ａ_ｐ ≡ ｒ_ｐ+1＋ ｒ_ｐ ＝ ｒ₁＋ ｒ₀ ≡ ａ₁＋ ａ₀ ＝ ａ₂ ≡ ｒ₂

　すなわち、　ｒ_ｐ+2 ＝ ｒ₂　となる。 （ただし、ａ₀＝０ とする。）

以下同様にして、ｒ_ｐ+3 ＝ ｒ₃ 、・・・、ｒ_ｐ+ｐ-1 ＝ ｒ_ｐ-1 、ｒ_2ｐ ＝ ｒ_ｐ ＝ ｒ₀、・・・　が示される。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　（厳密には、数学的帰納法により示される。）

以上から、ある自然数 ｐ が存在して、任意の自然数 ｎ に対して、ａ_{n + p} ≡ ａ_ｎ　(mod N) の

成り立つことが示された。

（参考文献：和田秀男　著　数の世界　整数論への道　（岩波書店））


（補足）　・・・・・　「mod Ｎ 周期」について、ある特殊な場合には、循環節の長さを求める公
　　　　　　　　　　式が存在する。

公式　　　５以外の奇素数 Ｐ に対して、

　　　　　Ｐ≡１、９　（ｍｏｄ　１０）　のとき、mod Ｐ 周期は、Ｐ−１

　　　　　Ｐ≡３、７　（ｍｏｄ　１０）　のとき、mod Ｐ 周期は、２Ｐ＋２

　　　で与えられる。　

　証明は、「硲　文夫　著　　初等代数学　（森北出版）」に詳しく載っている。是非ご覧頂き
たい。

（硲　さんとは、随分昔、東北大学で行われた代数幾何学のシンポジウムでお会いしたことがある。私の先輩の
友人という関係であるが、数学に対する造詣の深さに感嘆したことを覚えている。）

　ここでは、上記の公式を活用しながら、１≦Ｎ≦６０　の各Ｎの値に対して、mod Ｎ 周期を
求めようと思う。興味を持った読者の方は、Ｎ≧６１ についても計算してみて下さい。

　上記の表の作成には、表計算ソフト Ｅｘｃｅｌ を用いた。フィボナッチ数そのものは必要でな
く、余りを、フィボナッチ数列の漸化式に代入して、順次余りを計算すると楽である。

　また、上記の証明からも分かるように、「１、１」と、「１」が連続するところまでが循環節であ
ることに注意する。

　上記の表で、公式通りだと、Ｎ＝２９ のとき、周期は ２８ となるはずであるが、実際は、１４

である。もちろん、２８ も周期なのだが、最小の正の数ということから考えると、少し違和感を

覚える。同様に、Ｎ＝４７ のときも、公式と若干ズレが生じた。公式通りだと、周期は ９６ とな

るはずであるが、実際は、３２ である。どうして、このような現象が起こったのであろうか。証

明を精査する必要がありそうだ。

　また、’03杜陵サークル５月例会において、伊藤潤一（平舘高校）さんが、次のような公式
を証明されている。

公式　　ｋ を２以上の自然数とする。このとき、

　　　mod ２^ｋ 周期は、３・２^ｋ-1　であり、mod ５^ｋ 周期は、４・５^ｋ　である。

　上記の表で確認すると、mod ４(＝２²) 周期は、６(＝３・２^2-1)
　　　　　　　　　　　　　　　 mod ８(＝２³) 周期は、１２(＝３・２^3-1)
　　　　　　　　　　　　　　　 mod １６(＝２⁴) 周期は、２４(＝３・２^4-1)
　　　　　　　　　　　　　　　 mod ３２(＝２⁵) 周期は、４８(＝３・２^5-1)
　　　　　　　　　　　　　　　 mod ２５(＝５²) 周期は、１００(＝４・５²)
で、確かに成り立っている。


問題１０９　 平行四辺形 ABCD がある。

AB の中点を P, BC の三等分点を B = B0、 B1、 　 B2 、B3 = C, AB1 と DP の交点を Q とする時、四 　 角形 BB1QP の面積は、ABCD の面積のどれだけ 　 か？比を求めよ。

（解）　 点Ｐより、ＢＣに平行線を引き、線分ＡＢ₁との交点をＲとする。

このとき、中点連結の定理より、２ＰＲ＝ＢＢ1 　　で、△ＡＱＤ∽△ＲＱＰ　から、ＡＱ：ＱＲ＝６ ： １ 　　　よって、ＡＱ：ＱＢ1＝３ ： ４　となる。 　　したがって、四角形ＢＢ1ＱＰの面積は、 　平行四辺形ＡＢＣＤの面積の、

　　　　　　　　　　　　　　　　　　　　　　　　　　

（コメント）　大川研究室では中学程度の問題として紹介されているが、解答があまり中学的
　　　　　　でないとの理由から、答が「・・・・・。」である。多分、答は上記であっているはずだ
　　　　　　が、ちょっとだけ不安．．．。でも、解答に用いる手法から言えば、十分中学的だと
　　　　　　思うのだが．．．？


問題２００　　不定方程式
　 　　　　　 i)　y²= x⁴ ＋ x³ ＋ x² ＋ x ＋ 1 の自然数解は (x ， y) = ( 3 ， 11)
　　　　　　　ii)　y² = x⁴ ＋ 2x³ ＋ 2x² ＋ 2x ＋ 5 の自然数解は (x ， y) = ( 2 ， 7)
　　　　　　　　何れもこれが全て。

　大川研究室のＨＰでの解法が斬新だったので、ちょっと解法をなぞってみた。

（解）　�@）　Ｆ（ｘ）＝x² ＋（１/２）ｘ　、Ｇ（ｘ）＝x² ＋（１/２）ｘ＋１/２　とおく。
　　　このとき、　ｙ²−（Ｆ（ｘ））²＝（３/４）x² ＋ｘ＋１＝（３/４）（ｘ＋２/３）²＋２/３＞０
　　　　　　　　　　（Ｇ（ｘ））²−ｙ²＝（１/４）x² −（１/２）ｘ−（３/４）＝（１/４）（ｘ−１）²−１
　　　ここで、ｘ＞３　のとき、
　　　　　　　　Ｆ（ｘ）＞０　、Ｇ（ｘ）＞０　、ｙ²−（Ｆ（ｘ））²＞０　、（Ｇ（ｘ））²−ｙ²＞０
　　　なので、　ｘ＞３　のとき、
　　　　　　　（Ｆ（ｘ））²＜ｙ²＜（Ｇ（ｘ））²　　すなわち、　Ｆ（ｘ）＜ｙ＜Ｇ（ｘ）
　　　が成り立つ。
　　　このとき、自然数 ｘ （ｘ＞３）に対して、必ず、Ｆ（ｘ）、Ｇ（ｘ） のどちらかが自然数で、
　　　　　　　　　　　　　Ｇ（ｘ）−Ｆ（ｘ）＝１/２＜１
　　　なので、ｙ が自然数になることはない。
　　　　よって、ｘ＝１、２、３ の場合についてのみ調べればよい。
　　　　ｘ＝１　のとき、　ｙ²＝５　（不適）
　　　　ｘ＝２　のとき、　ｙ²＝３１　（不適）
　　　　ｘ＝３　のとき、　ｙ²＝１２１　より、　ｙ＝１１
　　　　したがって、求める自然数解は、　ｘ＝３　、ｙ＝１１　のみ。

　　　　�A）　　Ｆ（ｘ）＝x² ＋ｘ　、Ｇ（ｘ）＝x² ＋ｘ＋１　とおく。
　　　このとき、　ｙ²−（Ｆ（ｘ））²＝x² ＋２ｘ＋５＝（ｘ＋１）²＋４＞０
　　　　　　　　　　（Ｇ（ｘ））²−ｙ²＝x² −４
　　　ここで、ｘ＞２　のとき、
　　　　　　　　Ｆ（ｘ）＞０　、Ｇ（ｘ）＞０　、ｙ²−（Ｆ（ｘ））²＞０　、（Ｇ（ｘ））²−ｙ²＞０
　　　なので、　ｘ＞２　のとき、
　　　　　　　（Ｆ（ｘ））²＜ｙ²＜（Ｇ（ｘ））²　　すなわち、　Ｆ（ｘ）＜ｙ＜Ｇ（ｘ）
　　　が成り立つ。
　　　このとき、自然数 ｘ （ｘ＞２）に対して、必ず、Ｆ（ｘ）、Ｇ（ｘ） はともに自然数で、
　　　　　　　　　　　　　Ｇ（ｘ）−Ｆ（ｘ）＝１
　　　なので、ｙ が自然数になることはない。
　　　　よって、ｘ＝１、２ の場合についてのみ調べればよい。
　　　　ｘ＝１　のとき、　ｙ²＝１２　（不適）
　　　　ｘ＝２　のとき、　ｙ²＝４９　より、　ｙ＝７
　　　　したがって、求める自然数解は、　ｘ＝２　、ｙ＝７　のみ。

（コメント）　同型の二次関数で挟み込むという発想が素晴らしいですね！


問題３　　 は、無理数である事を証明せよ。

　平成１７年３月１２日に当ＨＰの掲示板に、この問題に関する書き込みがあった。大川研
究室のＨＰでの解法がちょっと分かりにくかったので、質問をされた ｃｂｃ 様の疑問を解決
すべく、少し文言等を補充して考えてみた。

（解）　 が有理数であるとして、 ＝ ｍ/ｎ 　（ｍ、ｎ は自然数で、ｎ は、最小のもの）
　　　とする。これより、 ２ｎ² = ｍ² を得るが、 m が奇数であるとすると矛盾を生ずるので、
　　　ｍ＝２ｋ なる自然数 k が取れる。これより、 ｎ² = ２ｋ² となり、 ｎ も偶数（ ｎ＝２ｐ） と
　　　なり、 ＝ ｋ/ｐ であるが、これは、 ｎ の最小性に反するから矛盾。
　　　　よって は無理数である。

（別解）　 ＝ ｍ/ｎ 　（ｍ、ｎ は自然数で、ｎ は、最小のもの）とする。このとき、
　　　　１＜＜２　なので、　０＜ｎ＜ｍ＜２ｎ　が成り立つ。
　　　　　ところで、　(＋１)(−1) ＝ 1　なので、
　　　　　　　　　　　　　　　　 ＝ （√２−１）^{- 1} - １
　　　　このとき、 ＝ ｍ/ｎ を上式に代入すると、
　　　　　　　　　　　　　　　　　 ＝ (２ｎ−ｍ)/(ｍ−ｎ)
　　　　０＜ｍ−ｎ＜ｎ　なので、これは ｎ の最小性に反するから矛盾である。
　　　　　よって は無理数である。

（更なる別解）　１＜＜２　なので、０＜ | １ − ｜ ＜１ が成り立つことに注意する。
　　　　　　　　このとき、ｎ を十分大きくとれば、（ １ − ）^ｎ は限りなく ０ に近づく。
　　　　　　　　いま、 （ １ − ）^ｎ を ２ 項展開して、 の偶数冪と奇数冪の項に分ける
　　　　　　　　と、　（ １ − ）^ｎ　＝ ａ_n ＋ ｂ_n となる整数　ａ_n 、 ｂ_n が存在する。
　　　　　　　　構成法から、　ａ_n≧１ 、 ｂ_n≦−１　である。
　　　　　　　　　 が有理数であるとして、 ＝ ｐ/ｑ 　（ｐ、ｑ は自然数）と置くと、
　　　　　　　　　　　　　| １ − |ⁿ 　= | ａ_n・ｑ ＋ ｂ_n・ｐ |/ｑ
　　　　　　　　ａ_n・ｑ ＋ ｂ_n・ｐ は整数で、０ とは異なるから、 | ａ_n・ｑ ＋ ｂ_n・ｐ |≧１
　　　　　　　　　よって、| １ − |ⁿ ≧１/ｑ　となり、これは、（ １ − ）^ｎ が限りなく ０
　　　　　　　　に近づくことに矛盾する。
　　　 　　　　　よって は無理数である。

（コメント）　 が無理数であることの証明は、こちらも参照。 ｃｂｃ 様、このような解法では
　　　　　　いかがでしょうか？


問題２６０　　数列 ｛ａ_ｎ｝（ｎ＝０、１、２、・・・）を
　　　　　　　　　　ａ₀＝３　、　ａ_ｎ＋1＝ａ₀ａ₁ａ₂・・・ａ_ｎ＋２
　　　　　　で定めるとき、その一般項を求めよ。

　　　[類題]　　ａ₀＝１３　、　ａ_ｎ＋1＝４(ａ₀ａ₁ａ₂・・・ａ_ｎ)²＋６(ａ₀ａ₁ａ₂・・・ａ_ｎ)＋３

　この問題は、高校生レベルの問題なので、解答を詳しく書いてみることにした。

（解）　漸化式より、　ａ_ｎ＋1＝ａ₀ａ₁ａ₂・・・ａ_ｎ＋２＝（ａ_ｎ−２）ａ_ｎ＋２　が成り立つ。
　　　よって、　ａ₁＝（ａ₀−２）ａ₀＋２＝５＝２²＋１
　　　　　　　　　ａ₂＝（ａ₁−２）ａ₁＋２＝１７＝２⁴＋１
　　　　　　　　　ａ₃＝（ａ₂−２）ａ₂＋２＝２５７＝２⁸＋１
　　　　　　　　　　　・・・・・・・・・・・・・・・・・・・・・・・・
　　　より、
　　　　　　　　　ａ_ｎ＝２^2ｎ＋１
　　　と類推される。この類推が正しいことを数学的帰納法により示す。
　　　　ｎ＝０　のとき、　左辺＝ａ₀＝３　　右辺＝２²⁰＋１＝３　で、左辺＝右辺
　　　　　よって、ｎ＝０　のとき成り立つ。
　　　　ｎ＝ｋ（ｋ≧０）のとき成り立つと仮定する。すなわち、　ａ_ｋ＝２^2ｋ＋１
　　　　　このとき、　ａ_ｋ＋1＝（ａ_ｋ−２）ａ_ｋ＋２＝(２^2ｋ−１)(２^2ｋ＋１)＋２＝２^2ｋ＋1＋１
　　　　となり、ｎ＝ｋ＋１　のときも成り立つ。
　　　　以上から、　ａ_ｎ＝２^2ｎ＋１　（ｎ＝０、１、２、・・・）　が成り立つ。

（コメント）　［類題］も同様にできるのだろうが、その方策は今のところ未解決である。後で
　　　　　　じっくり考えることにしよう。

(追記）　類題がようやく解けました！ちょっと本題の解答に先入観があって盲点に入ってい
　　　　ました。

（類題の解）　　ｂ_ｎ＝ａ₀ａ₁ａ₂・・・ａ_ｎ　とおくと、　ｂ₀＝１３　で、与えられた漸化式は、
　　　　　　　　　　　　ｂ_ｎ＋1/ｂ_ｎ ＝４ｂ_ｎ²＋６ｂ_ｎ＋３
　　　　　　　　となる。分母を払って、
　　　　　　　　　　　　ｂ_ｎ＋1 ＝４ｂ_ｎ³＋６ｂ_ｎ²＋３ｂ_ｎ
　　　　　　　　よって、
　　　　　　　　　　　　２ｂ_ｎ＋1＋１＝８ｂ_ｎ³＋１２ｂ_ｎ²＋６ｂ_ｎ＋１＝(２ｂ_ｎ＋１)³
　　　　　　　　３を底として両辺の対数をとると、
　　　　　　　　　　　　ｌｏｇ₃(２ｂ_ｎ＋1＋１)＝３ｌｏｇ₃(２ｂ_ｎ＋１)
　　　　　　　　これより、数列 ｛ｌｏｇ₃(２ｂ_ｎ＋１)｝ は、初項 ｌｏｇ₃(２ｂ₀＋１)＝ｌｏｇ₃２７＝３　で、
　　　　　　　　公比 ３ の等比数列なので、
　　　　　　　　　　　　ｌｏｇ₃(２ｂ_ｎ＋１)＝３・３^ｎ＝３^ｎ＋1
　　　　　　　　となる。
　　　　　　　　よって、　ｂ_ｎ＝(３^3ｎ＋1−１)/２　
　　　　　　　　このとき、　ａ_ｎ＝ｂ_ｎ/ｂ_ｎ−1＝(３^3ｎ＋1−１)/(３^3ｎ−１)
　　　　　　　　ここで、３^ｎ＝ｘ　とすると、
　　　　　　　　　　　　　３^3ｎ＋1−１＝３^3ｘ−１＝(３^ｘ)³−１＝(３^ｘ−１)((３^ｘ)²＋３^ｘ＋１)
　　　　　　　　　　　　　３^3ｎ−１＝３^ｘ−１
　　　　　　　　よって、　　ａ_ｎ＝(３^ｘ)²＋３^ｘ＋１　となるので、元に置き換えると、
　　　　　　　　　　　　　ａ_ｎ＝３^2・3ｎ＋３^3ｎ＋１
　　　　　　　　となる。

（コメント）　置き換えに気がつくと難なく解けました。上記の本題では数学的帰納法で求め
　　　　　　ましたが、このような解法を適用すれば直接的に求まりますね！

（本題の別解）　ｂ_ｎ＝ａ₀ａ₁ａ₂・・・ａ_ｎ　とおくと、　ｂ₀＝３　で、与えられた漸化式は、
　　　　　　　　　　　　　ｂ_ｎ＋1/ｂ_ｎ ＝ｂ_ｎ＋２
　　　　　　　　　となる。分母を払って、
　　　　　　　　　　　　　ｂ_ｎ＋1 ＝ｂ_ｎ²＋２ｂ_ｎ
　　　　　　　　　よって、
　　　　　　　　　　　　　ｂ_ｎ＋1＋１＝(ｂ_ｎ＋１)²
　　　　　　　　　２を底として両辺の対数をとると、
　　　　　　　　　　　　ｌｏｇ₂(ｂ_ｎ＋1＋１)＝２ｌｏｇ₂(ｂ_ｎ＋１)
　　　　　　　　　よって、
　　　　　　　　　　　　ｌｏｇ₂(ｂ_ｎ＋１)＝２^ｎ＋1　　より、　ｂ_ｎ＝２^2ｎ＋1−１
　　　　　　　　　このとき、ａ_ｎ＝ｂ_ｎ/ｂ_ｎ−1＝(２^2ｎ＋1−１)/(２^2ｎ−１)＝２^2ｎ＋１

（コメント）　この解法を見て、類題が本当に類題になっていることに納得しました。


問題２６２　　ａ₁、ａ_2、・・・、ａ_ｎ を相異なる実数とする。この時、分数方程式

　　　　　　　　　

　　　　　　は、n - 1 個の相異なる実数解を持つことを示せ。

（解）　一般性を失うことなく、　　　であるとしてよい。

　　与えられた分数方程式の分母を払って、

　　　　

　とおくと、　Ｆ（ｘ） は、連続関数である。　このとき、

　　　　　　　　　

　　　　　　　　　

　において、明らかに、　　　が成り立つ。

　　よって、方程式　Ｆ（ｘ） ＝ ０　は、 ａ₁ と ａ₂ の間に実数解を持つ。

　同様にして、

　　　　、　、　・・・　、

　より、方程式　Ｆ（ｘ） ＝ ０　は、 ａ_ｋ と ａ_ｋ＋1 （ｋ＝２、３、・・・、ｎ−１） の間に実数解を持つ。

　　以上から、方程式　Ｆ（ｘ） ＝ ０　は、 ｎ−１ 個の相異なる実数解を持ち、これらは、元の

　分数式の分母を ０ にしない。

　　したがって、与えられた分数方程式は、n - 1 個の相異なる実数解を持つ。

（コメント）　高校程度の容易問題とのことですが、連続関数の知識を使うので、数学ＩＩＩ （高校
　　　　　　３年）相当でしょうか？


問題２６３　　A₁、 A₂、・・・、 A_n を独立な確率事象とするとき、その余事象
　　　　　　 A₁^c、 A₂^c、・・・、 A_n^c も独立になることを示せ。

（解）　A₁^c、 A₂^c、・・・、 A_n^c のうちの任意の有限個 Ｂ₁、 Ｂ₂、・・・、 Ｂ_ｍを取り出して、

　　　　　　　Ｐ（Ｂ₁∩ Ｂ₂∩・・・∩ Ｂ_ｍ）＝Ｐ（Ｂ₁）Ｐ（Ｂ₂）・・・Ｐ（Ｂ_ｍ）

　　　が成り立つことを示せばよい。ただし、Ｂ_ｋ＝A_nｋ^c　とする。

　　　　ｍ＝２　のとき、　Ｐ（Ｂ₁∩ Ｂ₂）＝Ｐ（A_n1^c∩ A_n2^c）

　　　　　　　　　　　　　　　　　　　　　　　＝１−Ｐ（A_n1∪ A_n2）

　　　　　　　　　　　　　　　　　　　　　　　＝１−Ｐ（A_n1）−Ｐ（A_n2）＋Ｐ（A_n1∩ A_n2）

　　　　　　　　　　　　　　　　　　　　　　　＝１−Ｐ（A_n1）−Ｐ（A_n2）＋Ｐ（A_n1）Ｐ（A_n2）

　　　　　　　　　　　　　　　　　　　　　　　＝(１−Ｐ（A_n1）)(１−Ｐ（A_n2）)

　　　　　　　　　　　　　　　　　　　　　　　＝Ｐ（A_n1^c）Ｐ（A_n2^c）

　　　　　　　　　　　　　　　　　　　　　　　＝Ｐ（Ｂ₁）Ｐ（Ｂ₂）

　　　　　　よって、ｍ＝２　のとき、成り立つ。

　　　　ｍ＝ｋ（ｋ≧２）のとき、成り立つと仮定する。すなわち、

　　　　　　Ｂ₁、 Ｂ₂、・・・、Ｂ_ｋ は独立とする。

　　このとき、

　　　　　Ｐ（Ｂ₁∩ Ｂ₂∩・・・∩ Ｂ_ｋ＋1）

　　　＝Ｐ（（Ｂ₁∩ Ｂ₂∩・・・∩ Ｂ_ｋ）−Ｐ（（Ｂ₁∩ Ｂ₂∩・・・∩ Ｂ_ｋ）∩ Ｂ_ｋ＋1^c）

　　　＝Ｐ（Ｂ₁）Ｐ（Ｂ₂）・・・Ｐ（Ｂ_ｋ）−Ｐ（Ｂ₁）Ｐ（Ｂ₂）・・・Ｐ（Ｂ_ｋ）Ｐ（Ｂ_ｋ＋1^c）

　　　＝Ｐ（Ｂ₁）Ｐ（Ｂ₂）・・・Ｐ（Ｂ_ｋ）（１−Ｐ（Ｂ_ｋ＋1^c））

　　　＝Ｐ（Ｂ₁）Ｐ（Ｂ₂）・・・Ｐ（Ｂ_ｋ）Ｐ（Ｂ_ｋ＋1）

　　よって、Ｂ₁、 Ｂ₂、・・・、Ｂ_ｋ、Ｂ_ｋ＋1 も独立となる。

　　以上から、A₁、 A₂、・・・、 A_n が独立ならば、A₁^c、 A₂^c、・・・、 A_n^c も独立になる。


問題１５　　ａ、ｂ を実定数とし、 ｆ(ｘ)＝ｘ⁴＋ａｘ＋ｂ　と置く。方程式 ｆ(ｘ)＝０ の実数
　　　　　　解がただ一つであると仮定する。このとき、 ａ、ｂ の間に成立する関係式を
　　　　　　求め、 ｆ(ｘ)＝０ の全ての解を ａ （あるいは ｂ　）で表し、ａ、ｂ がその条件
　　　　　　を満たしながら動くとき、解の取りうる範囲を複素平面上に図示せよ。

　詳しい解答は、読者の計算に委ねるとあるので、計算してみた。

（解）　ｆ(ｘ)＝ｘ⁴＋ａｘ＋ｂ　より、その導関数は、　ｆ’(ｘ)＝４ｘ³＋ａ　で、

　　　　ｆ’(ｘ)＝０　はただ一つの実数解 α を持つ。　ただし、

　　　　　　　　　　

　　　である。　このとき、

　　　　　　　　　

　　　により、　ｆ(ｘ) は、ｘ＝α で極小かつ最小である。

　　　題意により、方程式 ｆ(ｘ)＝０ は、実数解をただ一つ持つので、 ｆ(α)＝０　が成り立つ。

　　　このとき、　
　　　　　　　　　　

　　　において、
　　　　　　　　　　

　　　　よって、
　　　　　　　　　　　

　　　すなわち、　２７ａ⁴＝２５６ｂ³　が成り立つ。

　　　ところで、　ｆ(ｘ)＝ｘ⁴＋ａｘ＋３α⁴＝（ｘ−α）²（ｘ²＋２αｘ＋３α²）　と因数分解されるので、

　　　方程式 ｆ(ｘ)＝０ の解は、　ｘ＝α（重解）、（−１± ｉ）α　となる。

　　　したがって、解の存在範囲を複素平面上に図示すれば、下図のようになる。

　　　　　　　


問題１６１　　１、２、３、・・・１９、２０ と数字の書かれた（各 1 枚、計 20 枚）のカード
　　　　　　　から、どの２つのカードも互いに連続した数字にならないような ８ 枚のカ
　　　　　　　ードの選びかたは何通りあるか？

　　　[類題]　　１、２、３、・・・２９、３０ の３０枚のカードから、どの２つのカードも数字
　　　　　　　の差が ３ 以上になるような ８ 枚のカードの選びかたは何通りあるか？

　大川研究室の解答では、２通りの解答が用意されている。本題だけだったら、高校生向
けの解答としては、別解の方が普通かな？と思ったが、類題のことを考えるとやはり本解
の方も捨てがたい！

（解）　○ １２個を並べる。　　○○○○○○○○○○○○
　　　条件を満たすためには、それらの隙間または両端（×　１３個）から８個選んで埋めれ
　　　ばよい。
　　　　　　　　　　　×○×○×○×○×○×○×○×○×○×○×○×○×
　　　よって、求める場合の数は、
　　　　　　　　　　　　　　　　　　　　　　₁₃Ｃ₈＝１２８７（通り）

　　　（注）　たとえば、　×○○○×○○○○×○×○×○×○×○× という場合に対し
　　　　　　　　　　　　　　 １ 　　　　 ５　　　　　 10　 １2　 14　 16 　18 　20
　　　　　　ては、８個の数字として、　１、５、１０、１２、１４、１６、１８、２０　が選ばれる。

（類題の解）　まず、８個の○を並べ、その隙間に×を２個ずつ挿入する。
　　　　　　　　○××○××○××○××○××○××○××○
　　　　　　残りの８個を、○同士の隙間または両端の計９箇所から重複を許して８箇所を選
　　　　　　んで並べる。
　　　　　　　その場合の数は、
　　　　　　　　　　　　　　　　　　₉Ｈ₈＝₁₆Ｃ₈＝１２８７０（通り）

　上記の問題に対して、らすかるさんから興味ある別解を頂戴した。（平成１７年５月２５日）

　選ばれた８個の数を昇順に並べるとき、ｎ番目の数と１番目の数は、２(ｎ−１)以上の差が
ある。よって、　２(ｎ−１)−(ｎ−１)＝ｎ−１ だけ余裕があるので、ｎ番目の数から、ｎ−１ を
引いて考えてもよい。このとき、求める場合の数は、１〜１３の１３個の数から８個の数を選
ぶ場合の数に等しい。
　よって、　₁₃Ｃ₈＝１２８７（通り）

　類題の方も同様に解くことができる。

　選ばれた８個の数を昇順に並べるとき、ｎ 番目の数と １ 番目の数は、３(ｎ−１)以上の差
がある。よって、　３(ｎ−１)−(ｎ−１)＝２（ｎ−１） だけ余裕があるので、ｎ 番目の数から、
２（ｎ−１） を引いて考えてもよい。このとき、求める場合の数は、１〜１６ の１６個の数から
８個の数を選ぶ場合の数に等しい。
　よって、　₁₆Ｃ₈＝１２８７０（通り）

（コメント）　大川研究室の解答では、×を置いて保険をかけるという発想でしたが、らすか
　　　　　　るさんの発想は全く逆で、余分なものは取り除くという考えでした。らすかるさん
　　　　　　の素晴らしいアイデアに感嘆するばかりです！


問題２６９　　底面と側面が垂直な三角柱がある。これを斜めの平面で切って上半分
　　　　　　　を取り除いたところ、底面の頂点 A₁ , A₂ , A₃ に対する高さが h₁ , h₂ ,
　　　　　　　h₃ となった。この立体の体積を底面積 S と h₁ , h₂, h₃ で表せ。

　大川研究室によれば、高校程度の立体幾何の問題ということなので考えてみた。　

（解）
	与えられた三角柱を、左図のように３つの三角柱 　　に分割して考える。 　　　このとき、求める立体の体積は、３つの三角柱 　　　　　Ｂ-Ａ1Ａ2Ａ3　、Ｂ-Ａ2Ａ3Ｃ　、Ｂ-Ａ3ＣＤ 　　の体積の和となる。 　　　ところで、線分 ＢＡ1 と平面Ａ2Ａ3Ｃ は平行なので、 　　　　　　Ｂ-Ａ2Ａ3Ｃ の体積＝Ｃ-Ａ1Ａ2Ａ3 の体積 　　が成り立つ。　また、線分 ＣＡ2 と線分ＤＡ3 は平行 　　なので、　　　　△Ａ3ＣＤ＝△Ａ2Ａ3Ｄ

よって、　Ｂ-Ａ₃ＣＤ の体積＝Ｂ-Ａ₂Ａ₃Ｄ の体積　が成り立つ。

ここで、線分 ＢＡ₁ と平面Ａ₂Ａ₃Ｄ は平行なので、Ｂ-Ａ₂Ａ₃Ｄ の体積＝Ｄ-Ａ₁Ａ₂Ａ₃ の体積

すなわち、　Ｂ-Ａ₃ＣＤ の体積＝Ｄ-Ａ₁Ａ₂Ａ₃ の体積　が成り立つ。

　以上から、求める立体の体積は、３つの三角柱

　　　　　Ｂ-Ａ₁Ａ₂Ａ₃　、Ｃ-Ａ₁Ａ₂Ａ₃ 　、Ｄ-Ａ₁Ａ₂Ａ₃

の和となる。

　よって、　Ｓ・ｈ₁/３＋Ｓ・ｈ₂/３＋Ｓ・ｈ₃/３ ＝ Ｓ・（ｈ₁＋ｈ₂＋ｈ₃）/３　である。　


（コメント）　台形の面積の公式との類推から、答えは十分予想できた。

　また、上記の結果から体積は底面の三角形の辺の長さによらず面積のみが関与すること
に驚かされる。この性質を利用すると、次のことが言えるであろう。

　鉛直方向の辺を上下に移動させても体積は変わらないので、鉛直方向の辺の長さが何れ
も ｈ₁＋ｈ₂＋ｈ₃ となるように、上記の立体図形にもう２つの立体図形を重ねると、上面と底
面が平行な三角柱が作れ、しかも、その３個とも体積は等しい。

（追記）　大川研究室から、上記の問題の一般化を与えたサイト「ＮａｚｏＬａｂ」をご紹介いた
　　　　だいた。（平成２３年１２月３１日付け）

　　１次関数 Ｆ（ｘ，ｙ）＝ａｘ＋ｂｙ＋ｃ　に対して、Ｆ（Ａ₁）＝ｈ₁、Ｆ（Ａ₂）＝ｈ₂、Ｆ（Ａ₃）＝ｈ₃ で、

　△Ａ₁Ａ₂Ａ₃ の重心をＧとすると、　Ｆ（Ｇ）＝（ｈ₁＋ｈ₂＋ｈ₃）/３　が成り立つ。

　このとき、上記で得られた結果は、　体積＝（底面積）×Ｆ（重心）　と書くことができる。


問題２７４　　実数 ｘ ， ｙ が、 ｘ² ＋ ｘｙ ＋ ２ｙ² ＝ １ なる条件を満たしながら動く時、
　　　　　　　２ｘ² − ｙ² の最大値・最小値を求めよ。

　　　[類題]　実数 ｘ ， ｙ が、 ６ｘ² ＋ １２ｘｙ − ５ｙ² ＝ １ なる条件を満たしながら
　　　　　　　動く時、 ｘ² − ２ｘｙ ＋ ２ｙ² の最大値・最小値およびその時の x, y の値
　　　　　　　を求めよ。

　大川研究室によれば、高校程度の条件付き最大最小問題ということなので考えてみた。

（解）　２ｘ² − ｙ² ＝ ｋ　とおく。　ｋｘ² ＋ ｋｘｙ ＋ ２ｋｙ² ＝ ｋ　を用いて、

　　　　　　　（ｋ−２）ｘ² ＋ ｋｘｙ ＋ （２ｋ＋１）ｙ² ＝ ０

　　　　ｋ ＝ ２　のとき、条件を満たす ｘ 、ｙ は存在するので、ｋ ＝ ２　は起こり得る。

　　　　ｋ ≠ ２　のとき、上式を ｘ の２次方程式と見て、実数解をもつことから、

　　　　　判別式　Ｄ ＝ ｋ²ｙ² − ４(ｋ−２)(２ｋ＋１)ｙ²＝（ｋ² − ４(ｋ−２)(２ｋ＋１)）ｙ² ≧ ０

　　　　ｙ² ≧ ０　なので、　　ｋ² − ４(ｋ−２)(２ｋ＋１) ≧ ０

　　　　すなわち、　　７ｋ² − １２ｋ − ８ ≦ ０

　　　　この不等式の解と、ｋ ＝ ２　を含めて、定数 ｋ の取り得る値の範囲は、

≦

ｋ

≦

　　　　ここで、　判別式　Ｄ ＝ ０　を満たす定数 ｋ ＝ ｋ₀ に対して、

　　　　　　　２ｘ² − ｙ²＝ ｋ₀　、　ｘ² ＋ ｘｙ ＋ ２ｙ² ＝ １

　　　　を満たす実数 ｘ 、 ｙ が存在することを確認しておこう。

　　　　　２次方程式より、重解は、　ｘ ＝ −ｋ₀ｙ/(２(ｋ₀−２)) ＝ ｍｙ　と書けるので、

　　　　ｘ² ＋ ｘｙ ＋ ２ｙ² ＝ １　に代入して、　（ｍ² ＋ ｍ ＋ ２）ｙ² ＝ １

　　　　どんな ｍ に対しても、　ｍ² ＋ ｍ ＋ ２ ＞ ０　なので、実数解 ｙ が存在する。

　　　　以上から、判別式　Ｄ ＝ ０　を満たす定数 ｋ ＝ ｋ₀ に対して、確かに実数解 ｘ 、ｙ

　　　　 が存在する。

従って、最大値は、

最小値は

（コメント）　グラフ描画ソフトを用いて、検証してみた。赤い線が最大の場合で青い線が最
　　　　　　小の場合である。
　　　　　　　　　　　　　　　　　　

（類題の解）　　ｘ² − ２ｘｙ ＋ ２ｙ²＝ｋ　とおく。　６ｋｘ² ＋ １２ｋｘｙ − ５ｋｙ² ＝ ｋ　を用いて、

　　　　　　　（６ｋ−１）ｘ² ＋ （１２ｋ＋２） ｘｙ − （５ｋ＋２）ｙ² ＝ ０

　　　　ｋ ＝ １/６　のとき、条件を満たす ｘ 、ｙ は存在するので、ｋ ＝ １/６　は起こり得る。

　　　　ｋ ≠ １/６　のとき、上式を ｘ の２次方程式と見て、実数解をもつことから、

　　　上式を ｘ の２次方程式と見て、実数解をもつことから、

　　　　　判別式　Ｄ/４ ＝ （（６ｋ＋１）² ＋ (６ｋ−１)(５ｋ＋２)）ｙ² ≧ ０

　　　　ｙ² ≧ ０　なので、　　（６ｋ＋１）² ＋ (６ｋ−１)(５ｋ＋２) ≧ ０

　　　　すなわち、　　６６ｋ² ＋ １９ｋ − １ ≧ ０　　より、　　(２２ｋ − １)(３ｋ ＋ １) ≧ ０

　　　　ここで、　ｋ＝（ｘ − ｙ）²＋ｙ² ≧ ０　なので、　３ｋ ＋ １ ≧ ０

　　　　よって、不等式の解と、ｋ ＝ １/６　を含めて、定数 ｋ の取り得る値の範囲は、

　　　　　ｋ ≧　１/２２　　　となる。

　　　　従って、最大値は、なしで、最小値は、　１/２２　　である。

　　　　このとき、　ｘ ＝ (7/4)ｙ　なので、６ｘ² ＋ １２ｘｙ − ５ｙ² ＝ １　と連立して、

　　　　　　　　　　　、

　　　　を得る。ただし、複号同順である。

（コメント）　グラフ描画ソフトを用いて、検証してみた。赤い線が一般の場合で青い線が最
　　　　　　小の場合である。
　　　　　　　　　　


問題１３　　f (x) = x³ - 3x² - 3x と置く。この関数は極大値、極小値をそれぞれ1つ
　　　　　　取るが、それらの和と積を求めよ。（高校２年程度の容易問題）

（解）　 三次関数のグラフは、変曲点について点対称なので、変曲点は、極大点と極小点

　　　　の中点である。

　　　　　　　Ｆ”(Ｘ) ＝６Ｘ−６＝０　 より、Ｘ＝１

　　　　　よって、Ｆ(１)＝（極値の和）/２　なので、

　　　　　　　　　　　　（極値の和）＝２ Ｆ(１)＝２（１−３−３）＝−１０

　　　　である。（終）


問題２６８（改題）　　Ａ を ３次正方行列で、対角成分がすべて 0、その他の成分が
　　　　　　　　　　　すべて 1/２ なるものとする。このとき、行列のｎ乗の極限

　　　　　　　　　　　　　　　　　　
　　　　　　　　　　　を求めよ。

　原題では一般の ｎ 次正方行列（ｎ≧３）であるが、ｎ＝３ としても問題の趣旨には反しな
いと思う。

　この問題の面白さは、解答にも書かれているとおり、次のような背景がある点である。

　３人が毎回お金を出し合う。初回は各自任意の金額を出すが、２回目以降は、次のルー
ルに従って出すものとする。

　　ルール：　前の回に自分以外の２人が出した金額の平均額を出す

この操作を続けていくと、３人が出す金額はともに、ある一定額に近づいていく。

（コメント）　初回の金額にどれほどばらつきがあっても最後は同じような金額になっていく
　　　　　　という点が面白いですね！

　ここでは、大川研究室の解答とは異なるが最も標準的と思われる解答を与えたいと思う。

（解）　ｄｅｔ（Ａ−λＥ）＝０　　より、　４λ³−３λ−１＝０

　　これを解いて、　λ＝１、−1/2 （重解）　となる。

　このとき、固有値 λ＝１ に属する固有ベクトルとして、　（１，１，１）　をとることができる。

また、固有値 λ＝−1/2 に属する固有ベクトルとして、　（１，−１，０）、（１，１，２）　をとる

ことができる。　これら３つのベクトルは互いに垂直である。

　よって、各ベクトルの正規化を行い、３次の正方行列

　　　　　　

が作られる。このとき、

　　　　　　

となるので、
　　　　

　よって、
　　　　　　　　　　　　（終）


（参考）　 ｎ 回目に３人 Ａ、Ｂ、Ｃ が出す金額を、それぞれ ａ_ｎ、ｂ_ｎ、ｃ_ｎ とおく。

　　　　上記より、ａ_ｎ、ｂ_ｎ、ｃ_ｎ は、（ａ₁＋ｂ₁＋ｃ₁）/３　に収束することが分かる。

　ここで、もしも、ａ_ｎ、ｂ_ｎ、ｃ_ｎ の収束を仮定すれば、次のような解答もあり得るだろう。

　（解）　　　条件より、　　ａ_ｎ＋1＝(1/2)ｂ_ｎ＋(1/2)ｃ_ｎ
　　　　　　　　　　　　　　　 ｂ_ｎ＋1＝(1/2)ｃ_ｎ＋(1/2)ａ_ｎ
　　　　　　　　　　　　　　　 ｃ_ｎ＋1＝(1/2)ａ_ｎ＋(1/2)ｂ_ｎ

　よって、　ａ_ｎ＋1−ｂ_ｎ＋1＝(−1/2)（ａ_ｎ−ｂ_ｎ）　　より、　　ａ_ｎ−ｂ_ｎ＝(−1/2)^ｎ−1（ａ₁−ｂ₁）

　　　　　　　ｂ_ｎ＋1−ｃ_ｎ＋1＝(−1/2)（ｂ_ｎ−ｃ_ｎ）　　より、　　ｂ_ｎ−ｃ_ｎ＝(−1/2)^ｎ−1（ｂ₁−ｃ₁）

　このことから、ａ_ｎ、ｂ_ｎ、ｃ_ｎ は同一の値に収束する。

さらに、ａ_ｎ＋ｂ_ｎ＋ｃ_ｎ ＝ ａ₁＋ｂ₁＋ｃ₁ なので、　ａ_ｎ、ｂ_ｎ、ｃ_ｎ は、（ａ₁＋ｂ₁＋ｃ₁）/３　に収束

する。よって、
　　　　　　　　　　　　（終）

（コメント）　当初、問題２６８に対しては、上記のような別解を思いついたが直ぐに断念した。
　　　　　　ａ_ｎ−ｂ_ｎ　が０に収束しても、ａ_ｎ、ｂ_ｎ が収束するとは限らないからである。

　　　　　　（反例）　ａ_ｎ＝ｎ＋２/ｎ　、ｂ_ｎ ＝ｎ＋１/ｎ


問題２９３　　１＋ は、 a ＋ b　（ ａ、ｂ ： 有理数）の形の数の平方の和になら
　　　　　　　ないことを示せ。

　この問題は高校２年生程度の格好の演習問題といえる。ここでは高校生らしい解答を示
したいと思う。

（解）　 １＋＝（ａ＋ｂ）²＋・・・＋（ｃ＋ｄ）²　と書けるものと仮定する。

　　　このとき、　右辺＝ａ²＋・・・＋ｃ²＋２ｂ²＋・・・＋２ｄ²＋２（ａｂ＋・・・＋ｃｄ）

　　なので、左辺と比較して、

　　　　　ａ²＋・・・＋ｃ²＋２ｂ²＋・・・＋２ｄ²＝１　、　２（ａｂ＋・・・＋ｃｄ）＝１

　　よって、　ａ²＋・・・＋ｃ²＋２ｂ²＋・・・＋２ｄ²＝２（ａｂ＋・・・＋ｃｄ）　から、

　　　　　　　　（ａ−ｂ）²＋・・・＋（ｃ−ｄ）²＋ｂ²＋・・・＋ｄ²＝０

　　ａ、ｂ、・・・、ｃ、ｄ　は有理数なので、その平方は０以上。

　　したがって、　　ａ−ｂ＝・・・＝ｃ−ｄ＝ｂ＝・・・＝ｄ＝０　　すなわち、

　　　　　　　　　　ａ＝ｂ＝・・・＝ｃ＝ｄ＝０　

　このとき、　　１＋＝０　となり、矛盾する。

　よって、１＋は、ａ＋ｂ　の形の数の平方の和にならない。　（証終）

　ここで、大川研究室の解答を補足しておきたい。

　次の事実が用いられる。

　有理係数の整方程式 f (x) = ０　が、ｐ ＋ 　を解に持てば、ｐ − 　もまた解
である。ただし、ｐ、ｑ は有理数で　は無理数とする。

　この事実を踏まえて、次のような解答になると思う。

（解）　１＋＝（ａ＋ｂ）²＋・・・＋（ｃ＋ｄ）²　と書けるものと仮定する。

　　　このことから、有理係数の整方程式　　１＋ｘ＝（ａ＋ｂｘ）²＋・・・＋（ｃ＋ｄｘ）²　は、

　　ｘ＝　を解に持つことが分かるので、上記事実から、　ｘ＝−　も解となる。

　　　よって、　　１−＝（ａ−ｂ）²＋・・・＋（ｃ−ｄ）²

　　が成り立つ。　このとき、　左辺の符号は負、しかるに、右辺の符号は０以上。

　　　これは矛盾である。

　　よって、１＋は、ａ＋ｂ　の形の数の平方の和にならない。　（証終）


問題１０３　　次の様なゲームを考える。：
　　　　　　　トランプの１から６までの札が４枚ずつ計２４枚ある。これらを数字が見え
　　　　　　るように表にして、テーブルの上に並べる。
　　　　　　　先手・後手の２人の競技者が順番に１枚ずついずれかのカードを取る。
　　　　　　このとき、それまでに取られた両者のカードの数の和を丁度３１にした人が
　　　　　　「勝ち」、３１を超えた人が「負け」とする。このゲームの必勝法はどうなるで
　　　　　　あろうか？

　このゲームは、１から始めて連続する数字を６個以下ずつ交互につなげていって、最後に
３１を言った人が勝ちというゲーム、即ち、Ａ「１、２、３」、Ｂ「４、５」、Ａ「６、７、８、９、10」、Ｂ
「11、12、13、14」、Ａ「15、16、17」、Ｂ「18、19、20、21」、Ａ「22、23、24」、Ｂ「25、26、27」、
Ａ「28、29、30、31・・・で私の勝ち！」というものに似ている。

　この場合は先手必勝であり、先手は「３、１０、１７、２４」（←残りの数を７の倍数にして相
手に手を渡す！）という数まで言えばよい。

　しかし、上記の問題では使える数字の個数に制限があり、はるかに難しいゲームとなっ
ている。

　大川研究室の解答にもある通り、本来勝ちパターンである「３」を取った場合、先手必敗
になるという点に驚かされた。

　　３＋４＋３＋４＋３＋４＋３＋４＋？

　？で、「３」を取りたいところだが、既に４枚全てを使い切ってしまっているので取れず、
「負け」が確定してしまう。

　しかし、大川研究室によれば、このゲームはやはり先手必勝だそうだ。

　「最初に何を取れば必勝となるか、全て調べてみて下さい。」ということなので、手計算で
少し調べてみた。

◎　先手が「１」を取った場合

　　これに対して、後手が３以上を取った場合、次の先手の手番のとき、合計１０にすること
　ができるので、これは先手必勝パターンである。

　　問題は、後手が「１または２」を取った場合である。

　後手が「１」を取った場合、先手は「６」を取れば、先手必勝パターンである。

　　１＋１＋６＋２＋６＋１＋６＋１＋６＋？

先手がもしも「６」を取らない場合

　　１＋１＋１＋５＋２＋５＋２＋５＋２＋６＋？　で後手の勝ち

　　１＋１＋２＋４＋２＋５＋２＋５＋２＋５＋？　で後手の勝ち

　　１＋１＋３＋３＋２＋６＋１＋６＋１＋６＋？　で後手の勝ち

　　１＋１＋４＋２＋２＋５＋２＋５＋２＋５＋？　で後手の勝ち

　　１＋１＋５＋１＋２＋５＋２＋６＋１＋６＋？　で後手の勝ち

　後手が「２」を取った場合、先手は「６」を取ればよい。このとき、後手必勝パターンにする
ために後手は「１」を取るしかない。この取り方を続ける。

　　１＋２＋６＋１＋６＋１＋６＋１＋６＋？

　すると、後手は、？で、「１」を取れば勝ちになるのだが、「１」は既に４枚使い切っている
ので取れず、後手の負けが確定する。

◎　先手が「２」を取った場合

　　先手が「１」を取った場合と同様に考える。　後手が３以上を取った場合、次の先手の
　手番のとき、合計１０にすることができるので、これは先手必勝パターンである。

　　問題は、後手が「１または２」を取った場合である。

　後手が「１」を取った場合

　この場合は、次のような先手必勝パターンが考えられる。
　　　　　　　　　　　　　　　　　　　　（後手は後手必勝パターンになるように取るものと仮定）

　　２＋１＋５＋２＋５＋２＋５＋２＋５＋？　　（「２」を使い切ってしまい、負けが確定）

　後手が「２」を取った場合

　先手は「２」を取れば、先手必勝パターンである。

実際に、　２＋２＋２＋４＋５＋２＋５＋１＋１＋３＋４

◎　先手が「３」を取った場合

　後手が「３」を取ってしまうと、先手必敗である。

　　３＋３＋４＋４＋３＋４＋３＋４＋？

　また、上で述べたように、後手が「４」を取ってしまうと、先手必敗である。

　　３＋４＋３＋４＋３＋４＋３＋４＋？

◎　先手が「４」を取った場合

　後手が「６」を取ってしまうと、先手必敗である。次に先手が何を取ろうとも、後手は足し
て「７」になる数をとれるからである。

　また、後手が「３」を取っても、先手必敗である。

　　４＋３＋３＋４＋３＋４＋３＋４＋？

◎　先手が「５」を取った場合

　　５＋５＋２＋５＋２＋５＋２＋４＋１

　のような手順で、先手必勝！

◎　先手が「６」を取った場合

　後手が「４」を取ってしまうと、先手必敗である。次に先手が何を取ろうとも、後手は足し
て「７」になる数をとれるからである。

　以上から、先手必勝となるためには、初手「１または２または５」を取ればよい。

（コメント）　この問題について、当ＨＰがいつもお世話になっている、ＨＮ「らすかる」さんに
　　　　　　検証をしていただいた。上記の解答は、当初アップロードしたものを修正してあ
　　　　　　る。解答として、まだ不完全な部分があるかもしれないが、読者の方には、この
　　　　　　問題の雰囲気が伝われば成功と言えるだろう。頭で考えると非常に複雑で、「思
　　　　　　った以上に奥の深い問題でした。」と、らすかるさんは感想を述べられている。私
　　　　　　も同感！出題者の大川さんも、高校生の頃、暇にまかせてしらみつぶしに考えら
　　　　　　れたそうで、相当根気が必要な問題のようです。今風の高校生には無理かな？


問題３１６　　数列 { (１＋１/ｎ)^ｎ } は単調増加、 { (１＋１/ｎ)^ｎ＋1 } は単調減少であ
　　　　　　　ることを対数やネイピアの数以前の高校１年程度の数学で証明せよ。

　「高校１年程度の数学で」というところに引かれた。大川研究室の証明を参考にしながら
少し証明を整理してみた。（→参考：加重平均の底力）

（証明）　１＋１/ｎ と 1 の重みをそれぞれ ｎ と １ として加重平均をとると、

　　　　　　　　　　　　

　　　　このとき、相乗平均は、
　　　　　　　　　　　　　　　　　　　　

　　　　よって、
　　　　　　　　　　　　（等号は不成立！）

　　　　すなわち、
　　　　　　　　　　　　　

　　　　このことは、数列 { (１＋１/ｎ)^ｎ } が単調増加であることを示す。

　　　同様にして、後半部分も示される。

　　　　　　　　　　　　　

　　　を示すために、
　　　　　　　　　　　　　

　　　の両辺の逆数をとって
　　　　　　　　　　　　　　　　　　

　　　を示せばよい。

　　　　そこで、ｎ/（ｎ＋１） と 1 の重みをそれぞれ ｎ＋１ と １ として加重平均をとり、相乗

　　　平均との関係を考えれば上記の不等式は直ちに示される。　（証終）

（コメント）　数列 { (１＋１/ｎ)^ｎ } が単調増加であることは書籍等では下記のように示されの
　　　　　　が通常である。

　

　

　　　　　　　　　　　　　　　　　　

　上記２式の各項を比較することにより、

　　　　　　　　　

であることが分かる。

（コメント）　相加平均と相乗平均の関係を用いて簡明に証明されるとは驚きです！

　　もちろん、上記の証明は初等的であるが、腕力を持って示す方法も存在する。

　関数
　　　　　

が、ｘ＞０　において増加関数であることを、微分法を用いて示す。

　対数微分法により、　ｌｏｇ Ｆ（ｘ）＝ｘ（ｌｏｇ （ｘ＋１）−ｌｏｇ ｘ ） から、

　　　Ｆ’（ｘ）/Ｆ（ｘ）＝ｌｏｇ （ｘ＋１）−ｌｏｇ ｘ ＋ ｘ（１/（ｘ＋１）−１/ｘ）

　　　　　　　　　　　＝ｌｏｇ （ｘ＋１）−ｌｏｇ ｘ − １/（ｘ＋１）

　　ここで、　Ｇ（ｘ）＝ｌｏｇ （ｘ＋１）−ｌｏｇ ｘ − １/（ｘ＋１）　とおいて、さらに微分すると、

　　　Ｇ’（ｘ）＝１/（ｘ＋１）−１/ｘ ＋ １/（ｘ＋１）²＝−１/ｘ（ｘ＋１）²＜０

　より、関数 Ｇ（ｘ） は単調に減少する。

　　ｘ →　∞　のとき、　Ｇ（ｘ）＝ｌｏｇ（１＋１/ｘ）− １/（ｘ＋１） →　０

　なので、　ｘ＞０　のとき、　Ｇ（ｘ）＞０　である。

　　よって、　Ｆ’（ｘ）/Ｆ（ｘ）＞０　、　Ｆ（ｘ）＞０　より、　Ｆ’（ｘ）＞０

　よって、関数 Ｆ（ｘ） は単調に増加する。

（コメント）　微分を使った、こういう証明も味があっていいですね！

問題３２６　　関数		（ ｘ ＞ ０ ） に対して、次の極限値を求めよ。
�@）
�A）

　大川研究室ではまだ解答準備中ということであるが、高校程度の問題という文言に誘惑
されて挑戦してみた。

（解）　�@）　平均値の定理より、
　　　　　　　　　　　　　　　　　　　　Ｆ（ｘ＋１）−Ｆ（ｘ）＝Ｆ’（ｙ）　（　ｘ ＜ ｙ ＜ ｘ＋１　）

　　　　　　　となる ｙ が存在する。ここで、　ｌｏｇ Ｆ（ｘ）＝ｘ（ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ ）　なので、

　　　　　　　　　　　　Ｆ’（ｘ）＝Ｆ（ｘ）｛ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）｝

　　　　　　　ｚ＝ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）　において、

　　　　　　　　　　ｚ’＝−２/（ｘ＋１）²＜０　なので、ｚ は単調に減少する。

　　　　　　　よって、　ｘ ＜ ｙ ＜ ｘ＋１　より、

　　　　　　　ｌｏｇ（ｘ＋２）−ｌｏｇ（ｘ＋１） −１/（ｘ＋２）
　　　　　　　　　　　　　　　＜ｌｏｇ（ｙ＋１）−ｌｏｇ ｙ −１/（ｙ＋１）
　　　　　　　　　　　　　　　　　　　　　　　＜ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）

　　　　　　　ｘ → ∞　のとき、　ｚ → ０　なので、　ｚ＞０　となり、　Ｆ’（ｘ）＞０

　　　　　　　よって、　Ｆ（ｘ）は単調に増加するので、

　　　　　　　Ｆ（ｘ）｛ｌｏｇ（ｘ＋２）−ｌｏｇ（ｘ＋１） −１/（ｘ＋２）｝
　　　　　　　　　　　　　　　＜Ｆ（ｙ）｛ｌｏｇ（ｙ＋１）−ｌｏｇ ｙ −１/（ｙ＋１）｝
　　　　　　　　　　　　　　　　　　　　　　　＜Ｆ（ｘ＋１）｛ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）｝
　　　　すなわち、

　　　　　　　ｘ²・Ｆ（ｘ）｛ｌｏｇ（ｘ＋２）−ｌｏｇ（ｘ＋１） −１/（ｘ＋２）｝
　　　　　　　　　　　　　　　＜ｘ²・（Ｆ（ｘ＋１）−Ｆ（ｘ））
　　　　　　　　　　　　　　　　　　　　　　　＜ｘ²・Ｆ（ｘ＋１）｛ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）｝

　　　　　　　ここで、　ｘ → ∞　のとき、　Ｆ（ｘ） → ｅ　、Ｆ（ｘ＋１） → ｅ　である。

　　　　　　　また、　ロピタルの定理より、　ｘ → ∞　のとき、

　　　　　　　　　ｌｉｍ ｘ²｛ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）｝
　　　　　　　＝ ｌｉｍ ｛ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）｝/（１/ｘ²）
　　　　　　　＝ ｌｉｍ ｛１/（ｘ＋１）−１/ｘ ＋１/（ｘ＋１）²｝/（−２/ｘ³）
　　　　　　　＝ ｌｉｍ ｘ²/｛２（ｘ＋１）²｝＝ １/２

　　　同様にして、

　　　　　　　　　ｌｉｍ ｘ²｛ｌｏｇ（ｘ＋２）−ｌｏｇ（ｘ＋１） −１/（ｘ＋２）｝
　　　　　　　＝ ｌｉｍ ｛ｌｏｇ（ｘ＋２）−ｌｏｇ（ｘ＋１） −１/（ｘ＋２）｝/（１/ｘ²）
　　　　　　　＝ ｌｉｍ ｛１/（ｘ＋２）−１/（ｘ＋１） ＋１/（ｘ＋２）²｝/（−２/ｘ³）
　　　　　　　＝ ｌｉｍ ｘ³/｛２（ｘ＋１）（ｘ＋２）²｝＝ １/２

　　　　　　　したがって、挟み撃ちの原理により、　ｘ → ∞　のとき、

　　　　　　　　　　　　ｘ²・（Ｆ（ｘ＋１）−Ｆ（ｘ）） → ｅ/２

�A）　ロピタルの定理より、　ｘ → ∞　のとき、

　ｌｉｍ ｘ（ｅ−Ｆ（ｘ））＝ ｌｉｍ（ｅ−Ｆ（ｘ））/（１/ｘ）＝ ｌｉｍ（−Ｆ’（ｘ））/（−１/ｘ²）＝ ｌｉｍ ｘ²・Ｆ’（ｘ）

　ここで、�@）における計算結果を用いて、　ｘ → ∞　のとき、　Ｆ（ｘ） → ｅ　で、

　　　　　　ｌｉｍ ｘ²｛ｌｏｇ（ｘ＋１）−ｌｏｇ ｘ −１/（ｘ＋１）｝＝ １/２

である。　したがって、　ｘ → ∞　のとき、　ｌｉｍ ｘ（ｅ−Ｆ（ｘ））＝ｅ/２　である。

（コメント）　高校程度の問題ということであるが、ちょっと標準的な高校生には厳しいかな？

　　　　上記の結果から、　ｘ → ∞　のとき、　ｘ（ｅ−Ｆ（ｘ））　は有限確定値に収束するので、
　　　１/ｘ　と　ｅ−Ｆ（ｘ） は同位の無限小である。換言すれば、Ｆ（ｘ）が ｅ に収束する速さは、
　　　１/ｘ　が ０ に収束する速さにほぼ等しいということである。 ｙ＝１/ｘ　のグラフを、頭に
　　　描いてもらえば分かるように、その収束する速さは非常に遅い、否、遅すぎる．．．！
　　　これに対して、
　　　　　　　　　　　　

　　　が自然対数の底 ｅ に収束する速さは異常に速い、否、速すぎる．．．くらい！！
　　　　　　　　　　　　　　　　　　　　　　　（→　参考：「自然対数の底 ｅ が無理数であること」）


問題３３９　　ｘ に関する３次方程式 x³ + x² - 4x + 1 = 0 の３根を求めよ。


　大川研究室のＨＰでは、３次方程式の３根を α、β、γ として、

　α = 2ｃｏｓ(2π/13) + 2ｃｏｓ（16π/13） = 0.273891..........
　β = 2ｃｏｓ（4π/13） + 2ｃｏｓ（32π/13） = 1.3772...............
　γ = 2ｃｏｓ（8π/13） + 2ｃｏｓ（64π/13） = -2.65109............

と答が与えられている。

　当ＨＰがいつもお世話になっているＨＮ「らすかる」さんは、次のように考察されている。

　ｕ = e^2πi/13　、 ｖ = e^-2πi/13　とおくと、

　　α = ｕ+ｖ+ｕ⁸+ｖ⁸ = ｕ+ｖ+ｕ⁵+ｖ⁵
　　β = ｕ²+ｖ²+ｕ¹⁶+ｖ¹⁶ = ｕ²+ｖ²+ｕ³+ｖ³
　　γ = ｕ⁴+ｖ⁴+ｕ³²+ｖ³² = ｕ⁴+ｖ⁴+ｕ⁶+ｖ⁶

　このとき、　α² = (ｕ+ｖ+ｕ⁵+ｖ⁵)² = β+2γ+4
　　　　　　　　β2 = (ｕ²+ｖ²+ｕ³+ｖ³)² = γ+2α+4
　　　　　　　　γ² = (ｕ⁴+ｖ⁴+ｕ⁶+ｖ⁶)² = α+2β+4

なので、　α+β+γ = ｕ+ｖ+ｕ⁵+ｖ⁵+ｕ²+ｖ²+ｕ³+ｖ³+ｕ⁴+ｖ⁴+ｕ⁶+ｖ⁶
　　　　　　　　　　　　= ｕ+ｕ²+ｕ³+ｕ⁴+ｕ⁵+ｕ⁶+ｖ⁶+ｖ⁵+ｖ⁴+ｖ³+ｖ²+ｖ
　　　　　　　　　　　　= ｕ+ｕ²+ｕ³+ｕ⁴+ｕ⁵+ｕ⁶+ｕ⁷+ｕ⁸+ｕ⁹+ｕ¹⁰+ｕ¹¹+ｕ¹² = -1

　　　　　　α²+β²+γ² = 3(α+β+γ+4) = 9

　　　　　　αβ+βγ+γα = {(α+β+γ)² - (α²+β²+γ²)}/2 = (1 - 9)/2　= -4

　　　　　　α³+β³+γ³ = α(β+2γ+4) + β(γ+2α+4) + γ(α+2β+4)
　　　　　　　　　　　　　　= 3(αβ+βγ+γα)+4(α+β+γ) = -16

　　　　　　αβγ = {(α+β+γ)³ - 3(α+β+γ)(α²+β²+γ²) + 2(α³+β³+γ³)}/6
　　　　　　　　　　= {(-1) - 3・(-1)・9 + 2・(-16)}/6 = -1

　よって、 α+β+γ = -1、 αβ+βγ+γα = -4、 αβγ = -1 なので、α、β、γ は、

ｘ³ + ｘ² - 4ｘ + 1 = 0 の３根。

　なお、 f (ｘ) = ｘ2 + ｘ - 3、 g (ｘ) = (ｘ - 1)/ｘ と置くと、これらの関数は何れも方程式の３根
α、β、γ を α → γ → β → α の順に移す事が分かります。

　g (ｘ) を自身で ３回合成すると恒等写像になる事、 (i．e． g (g (g (ｘ))) = ｘ)、 f (ｘ) = g (ｘ)
が元の方程式と同値になる事など、面白いですね。（Last Update 2009/10/13）

（→　参考：「方程式論」、「解の巡回」）

（追記）　大川研究室より、解の巡回について、Ｊ．Ｐ．Ｓｅｒｒｅ の著作をご紹介いただきまし
　　　　た。（平成２３年１２月３１日付け）

　「Ｆ(ｘ) を有理係数既約多項式で、有理数の範囲で既約とする。Ｆ(ｘ) の任意の２根 α、β
に対し、適当な有理係数多項式で、β = g(α) なる物が存在するとき、Ｆ(ｘ) を Galois 多項
式と呼ぶ事にする。以下の多項式 Ｆ(ｘ) は、Tが有理数で、Q上既約のとき、

　　　　　Ｆ(ｘ) = ｘ³ - Tｘ² + (T - 3)ｘ + 1 = 0

は、Galois 多項式となる。」ということが書いてあるとのこと。2-nd edition には、より高次の
例も沢山書いてあるそうです。