NO.10389757

0 名前：通りすがりの元鉄緑会大阪校の講師：2005/08/14 15:18

今日はじめて、何かのはずみで、このサイトに来てみて
皆さんが勉強に悩み、打ちこんでいる姿に共感しました。
そこで皆さんの手助けになれるよう今日から数学講義をしようと
思います。（やる気の続く限り）
週１～２問のペースで５０問くらい続ければいいけどなと
思いますので、宜しくね。
なお、題材はすべて過去問です。やはり、教授達が一年に
一回の為に、苦労して作った傑作が多いため、非常に力がつきます。
でも解答はすべて私のオリジナルで書きます。
僕のボケ防止と、何よりも皆様の数学力向上のため、楽しく解きましょう！

では、
問１：すべての正の実数ｘ、ｙに対し√ｘ＋√ｙ≦k√２ｘ＋ｙ
が成り立つような実数ｋの最小値を求めよ。　（１９９５東大）

解答その１：
「すべての正の実数ｘ、ｙに対し、√ｘ＋√ｙ≦k√２ｘ＋ｙ」
⇔「すべての正の実数ｘ、ｙに対し√ｘ＋√ｙ/√２ｘ＋ｙ≦k」?
ここに√２ｘ＝rcosθ √ｙ＝rsinθ　{x＞0 y>0のときr>0 0<θ<π/2}
とおけば右辺＝√1/2・cosθ+sinθ＝√3/2・sin(θ+α)≦√3/2
ここでαはtanα=1/√2なる角。
θ+α=/2のときこの等号は成立するので、√ｘ＋√ｙ/√２ｘ＋ｙのx＞0 y>0
における最大値は√3/2であり?⇔√3/2≦k （答）√3/2

本解答では「置き換えによりいかに式を簡単にしていくか」に注目して欲しい。

101 名前：通りすがりの元鉄緑会大阪校の講師：2005/09/01 08:01

解説：
各Aｉについて対称性があるので（平等性があるので）、必要なら入れ替えをして、?のように
決めて、議論すればよい。入れ替えても題意の条件は満たされたままであるのだから。
解答の最大のポイントはここかもしれない。
各文字について平等性があれば、当然入れ替えても題意は満たされるので、順序付けをして考
えたほうが、例えば不等式評価につながったり、場合分けを減らせたりなど、問題を簡単にで
きることがある。とくに整数問題では重要な手法である事はご存知であろう。他にも
確率、図形問題（求積問題含む）、数式処理などあらゆるところで見かける考え方である。
但しもし対称性が無いのにこんなことを書いてしまえば、以下無効の答案になる恐れがあるの
で、慎重に議論してください。

問題の条件であるすべてのAｉが他のn - 1個の相加平均以下というところの考え方は問題ない
でしょう。「すべての～に対して成立する」⇔「最大（最小）のときでさえも成立する」
であるから、Aｉが最大のとき即ちAnのときを考えれば左辺は最大で右辺は最小なので、一番
厳しい（最も成立が難しい）式となり、この1つの式で必要かつ十分な条件として捉えられる
ので、あとはこの式だけを更に詳しく見ていき、得られる条件を探ればよいのです。

102 名前：通りすがりの元鉄緑会大阪校の講師：2005/09/01 08:04

別解：
　A1≦ A2≦ …≦An　?　としても一般性を失わない。また、S = A1 + A2+ … + Anとおく。
題意より、A1≦(S - A1 )/(n - 1) , A2≦(S - A2 )/(n - 1) , …, An≦(S - An )/(n - 1) ?
この辺々を加えて、S≦1/(n - 1)　｛nS - S｝= S　よってこの等号が成立するので、
その為には?のすべての等号が成立することが必要十分。
つまり、各Aｉは他のn - 1個の相加平均に一致する。ここでもし、?の不等式において、1ヶ
所でも等号が成立しないということがあれば、最大のAnは他のn - 1個の相加平均より大きく
なるので矛盾が生じる。よって?の不等式すべてにおいて等号が、成立しA1 = A2 = …= An　。
逆にこのとき、各Aｉは他のn - 1個の相加平均に等しく、題意にかなうので十分。
（答）A1 = A2 = …= An= k (但し、kは任意の実数)　のとき

103 名前：通りすがりの元鉄緑会大阪校の講師：2005/09/01 08:06

別解の解説：
題意の条件を?のように立式してみたとき、バランスをとって扱う為に、辺々を加えてみる
という発想は自然なことと思う。得られる式は、必要性を持つ式にすぎないが、これだけで
も結構大きな情報が得られる（こともある）。

104 名前：元塾講師：2005/09/04 12:29

では、再び式処理の基本事項を見ていきましょう。
問18：
a , b は実数で、 a＾2 + b＾2 = 16 , a＾3 + b＾3 = 44　をみたしている。このとき、
（1）a + b の値を求めよ。
（2）nを2以上の整数とするとき、 a＾n + b＾n は4で割りきれる整数であることを示せ。
　　　　　　　　　　　　　　　　　　　　　　　 　　　　　　（１９９７東大文系）

105 名前：元塾講師：2005/09/04 12:31

解答：
（1）a + b　=u , ab = v 　（☆）とおくと、 a＾2 + b＾2 = u＾2 - 2v , a＾3 + b＾3 = u＾3 - 3uv
であるから、与式は　　u＾2 - 2v　=　16 　,　　u＾3 - 3uv =　44　　…?
またa, b はtの2次方程式 t＾2 - ut + v = 0の2解であるから、実数として定まる為の条件
として、（判別式） = u＾2 - 4v ≧0 …?
?よりv を消去して、uの方程式にすると、u3 -48u +88 = 0 ⇔ (u-2)(u2 + 2u -44) = 0
∴u = 2 , -1±3√5　…?
また?に?より得られる2v = u＾2 - 16 を代入整理して、- u2 + 32 ≧0　
∴-4√2≦u ≦4√2　…?
ここでu = -1±3√5は?をみたさないので（∵= 2.23…より、-1+ 3√5＞5.69 であり、
√2= 1.41…より、4√2＜４×1.42 =5.68 であるから、-1+ 3√5＞4√2また、両辺に- 1 掛
けて 1 - 3√5＜-4√2より -1- 3√5＜1 - 3√5＜-4√2）、?かつ?をみたすuはu = 2に限
る。このとき、?よりv　=　-6 （答） a + b　=2

106 名前：元塾講師：2005/09/04 12:33

（2）
a＾n + b＾n　= (a + b){a＾(n-1) + b＾(n-1)} - ab { a＾(n-2) + b＾(n-2)}
　　　　　　　= 2 {a＾(n-1) + b＾(n-1)} +6 { a＾(n-2) + b＾(n-2)}　
であるから、もし{ a＾(n-2) + b＾(n-2)}が4の倍数 かつ {a＾(n-1) + b＾(n-1)} が4の倍数である
なら、a＾n + b＾n　も4の倍数となる。ここに、a＾2 + b＾2 = 16 , a＾3 + b＾3 = 44　はともに
4の倍数であるから、帰納的に、すべてのn(≧2)に対しa＾n + b＾n　は4の倍数。よって、示された。

107 名前：元塾講師：2005/09/04 12:35

いわゆる対称式変換の問題です。すべての対称式は基本対称式で構成されることは教わっ
ていることでしょう。複雑な対称式でも、この基本対象式をもとに（基本対象式を1つの
まとまりとして置き換えて、）式をより見やすく整理することが出来るのです。
但し、置き換えにより、変数の条件が変わることには注意しましょう。
（a,b） ↔　(u,v)　の対応をよく考えて(u,v)の条件をすべて考えておくことが大切で
す。初心者には単に（a,b） →　(u,v)の変換式の一方向的な対応関係のみで、満足する
人がいるが、最終的には（a,b）が実数として決まらなくてはいけないので、（a,b）に関
する必要十分な（最終的に（a,b）も与えるような）条件を(u,v)で表現することが大切で
す。勿論、このことは、今回の置き換えに限ることではありません。
そもそも置き換えとは、同じ量をパラメータを変えて表現しなおすことであるが、パラメ
ータの設定とは新しい尺度で出発するということです。旧来の（a,b）の世界と新しい
(u,v)の世界をつなぐ変換式が、（☆）であすが、そもそもパラメータの出発点が違う
以上、２つの異なる世界の必要十分な対応関係を考える必要があります。尺度が変わる
と、おのずと基準がかわることを常に覚えておいてください。青チャートでは、
「置き換えの時は遺言を残せ」という形で、変域が変わることに注意を促していたと
思いますが、この実の意味は置き換えすることによる2つの世界の必要十分な対応関係
を忘れないようにして、旧来の世界の条件をくまなく新世界の条件に移しましょうと
いうことなのです。

108 名前：元塾講師：2005/09/04 12:36

解説その2：
（1）u = -1±3√5は?をみたさないことについて、√5の概数を覚えてない人は次のように、
同値変形（必要十分な言い換え）により、判断可能な簡単なとこまで持っていってもよいで
しょう。
即ち、-1+3√5＞4√2　⇔3√5＞4√2 + 1 ⇔ 45 ＞(4√2 + 1) ＾2⇔45＞33 + 8√2
⇔12＞8√2 ⇔3＞2√2 ⇔9＞8 が成立するし、
また-1- 3√5＜-2 - (-1+3√5)＜-2 - 4√2＜- 4√2より、　u = -1±3√5は?をみたさない
としてもよいでしょう。
（2）数列｛a＾n + b＾n｝について、漸化式（3項間）がすぐ立式できるので、その一般項に関して
の証明は、この「帰納的定義を用いて帰納法」というのがやりやすいでしょう。　

109 名前：元塾講師：2005/09/04 12:38

問題19:
定数pに対して3次方程式x＾3 - 3x - p = 0 の実数解の中で、最大のものと最小のものと
の積をf (p)とする。ただし実数解がただひとつのときには、その2乗をf (p) とする。
pがすべての実数を動くとき、f (p)の最小値を求めよ。 (1991 東大　)

110 名前：元塾講師：2005/09/04 12:39

解答：
x＾3 - 3x - p = 0…?の実数解はy = x＾3 - 3xのグラフy = pとのグラフの交点の座標であり、
図（略）より‐2＜p＜2のときこれは3実数解を持ち、p =±2のとき唯1つ実数解を持ち、
│p│＞2のとき2実数解を持つ。
‐2＜p＜2のときこの3実数解を小さいほうからαβγとおくと、β≠0（⇔p≠0）のとき
f (p) = αγ= p/β=β＾2 - 3　〔∵解と係数の関係より、αβγ = p , またp =β＾3 -3β〕
また、β= 0（⇔p = 0） のとき?の3解はx = ±√3, 0 であるからf (0) = - 3　。
よってp = 0のときも含めて、
‐2＜p＜2のときf (p) =β＾2 - 3　≧ - 3　（等号はβ= 0⇔p = 0のとき成立する。）
なお、p =±2のときはf (p) =　-2
│p│＞2のときf (p)は│x│＞2の範囲で唯１つの実数解を持つのでf (p) ＞4
となるので、f (p)はp = 0のとき最小値- 3をとる。　…　（答）

111 名前：元塾講師：2005/09/04 12:40

解説：
f (p)の動きを考えるにあたって、pの関数として表現することにこだわる必要は実はない。
何らかの置き換えにより、よりシンプルな表現が出来るのなら、その新しいパラメータを
導入して表現する方が扱いがよくなる。βという　ｐの関数１まとまりをを基礎とすれば、
ｆという量はβを用いて簡単に表現できる。但し、pと新パラメータβとの間の対応関係
から変域についても十分議論すること。

112 名前：名無しさん：2005/09/05 08:18

納得。

113 名前：元塾講師：2005/09/05 14:55

式処理についてもテーマは様々あります。少しづつ中心テーマを変えていきますが、
以前の問題との共通テーマ、及び新しく学ぶべきテーマを解答から学んでいきましょう。
各問の関連性を思考することが、最後に統一した数学的思考に集約させる為に大切です。

問20：
k ＞0　とする。 xy平面上の二曲線　y = k ( x - x＾3) , x = k ( y - y＾3) が第1象限に
α≠βなる交点 (α, β)　をもつようなkの範囲を求めよ。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（1989　東大）

114 名前：元塾講師：2005/09/05 14:57

解答その1（本解）：　f (x)= k ( x - x＾3)とおく。
y = f (x)のグラフ…?はy = x - x＾3　のグラフをy軸方向へk倍拡大したグラフであり、
x = 1/√3　の位置で極大となる。また、x = k ( y - y＾3)のグラフは?を直線y = x に関して折
り返したものである。この2曲線が第1象限内にy ≠ x　なる交点を持つ条件を図で考える。
まず、?がy = xより下にあるとき（f '(0)＜１⇔k ＜１のとき)や、?とy = x　が、極大の前の
位置で交点を持つ場合は図(略)より不適。よって求める条件は
『?とy = x　の交点（√(1 - 1/k) , √(1 - 1/k)）がx＞1/√3　の範囲にありかつ、
?の1/√3　＜x＜√(1 - 1/k)　の部分を折り返したものが、曲線?の右側に来ること。』
これは?のx = √(1 - 1/k) における曲線の方向（微分係数）が、-1 より小さいこと（-1より
傾きが急なこと）が必要十分条件であり、1/√3＜√(1 - 1/k)　かつf '(√(1 - 1/k))＜-１。
ここでf '(x) = k ( 1- 3x＾2 )であるからこれを整理して、　k ＞2　　　…（答）

115 名前：元塾講師：2005/09/05 15:01

本解の解説：
2曲線の図形的性質（逆関数同士⇔直線y = xに関し対称）を考えるなら、問題または問題
の持つ意味を、まず図を書いて図形的に考えるべきでしょう。いろいろ図を書いて実験して
みれば、上記のことに気づく思われます。
大切なのは?とy = x　の交点（√(1 - 1/k) , √(1 - 1/k)）を持ち、交点付近での
曲線?の方向が（即ち接線の傾き）、-1より急な勾配を持つことである。したがって
条件はf '(√(1 - 1/k)) ＜-１ だけでいいのですが、それだけでいいことを説明し
にくかったので上記のように余計な説明も加えてみました。うまく論じれば、
『交点（√(1 - 1/k) , √(1 - 1/k)）がx＞1/√3　の範囲にあることが必要で…』
というところは省いても結構でしょう。

さて、図を書いても、頭の働きがさえなかった（人間なので体調によっても左右される）
場合は、式処理を試みることになります。
この場合は、対称性を考えた式の扱いを考えていきましょう。また、式変形では同値性
に常に注意して、必要にすぎない議論にならないように心掛けることが大切です。
（特に何度も式をいじるときは、もともとの式との関係、即ち必要性のみならず
十分性があるか、を常に確認する姿勢が大切です。もっとも、必要で条件を絞り込んで、
十分で確認（ふるいに落とす）という感じの答案構成でも結構ですが。）

116 名前：元塾講師：2005/09/05 15:05

別解その１：
二曲線　y = k ( x - x＾3) , x = k ( y - y＾3) が第1象限に
α≠βなる交点 (α, β)　をもつとき、β= k (α -α＾3) 　?,　α= k (β-β＾3)　?
?+? より、 α+β= k ｛(α+β) - (α+β)(α＾2-αβ+β＾2)｝
　　　　　　　　　∴α＾2 -αβ+β＾2 = 1 - 1/k　　?　　〔∵α+β＞0〕
?-? より、 -(α-β)= k ｛(α-β) - (α-β)(α＾2 +αβ+β＾2)｝
∴α＾2 +αβ+β＾2 = 1 + 1/k　　?　　〔∵α-β≠0〕
?、?よりαβ= 1/k　, α＾2 +β＾2 = 1 よってα+β= √(α+β)2 = √(1 + 2/k)　よって
α,βはtの2次方程式t＾2 - √(1 + 2/k) t + 1/k　= 0 （☆）の2解であるから、これが
異なる正の2実数をもつので、（判別式）= (1 + 2/k) - 4/k ＞0であり、
2解の和 = √(1 + 2/k) ＞0 かつ2解の積 = 1/k＞0　　∴k ＞2　
逆にこのとき、（☆）の異なる2実数解として定まるα,βはα≠β, α＞0 ,β＞0であり、
これはαβ= 1/k　, α＾2 +β＾2 = 1をみたすので、?、?をみたし、従って?, ?を
みたすので、題意の条件に適する。　（答）k ＞2　

117 名前：元塾講師：2005/09/05 15:07

別解１の解説：
?、?からα,βの条件を整理していく（α,βを求めていく）ときに、この２式を足したり引いた
りしたほうが、対称性がある式になるので、このようにしてバランスをとって整理していくこと
が大切です。とくに、同じような式が出たときは差をとるというのは、数学ではよくやる式整理
の仕方であることに注意したい。（例えば、2項間漸化式An = p An-1 +qを整理するのに
t = pt+q なるtを出してきて、辺辺引いてAn - t = p (An-1 - t) として定数項を消去、整理
するのも同じである ）
尚、最後の十分性の確認の部分である「?、?をみたし、従って?, ?をみたすので」という
部分について、?かつ?　⇔　?+?　かつ　?-?　に注意しておいて下さい。
あと、2次方程式が2つの正の解を持つ条件（α,βが異なる正の2実数解として定まる条件）は
解の配置問題として判別式の条件、軸の条件、ｆ（0）の条件から出しても構いません。
もっとも軸の条件は、(α+β)/2 ＞0　で、ｆ（0）の条件はｆ（0） =αβ＞0　なので上と全く
同じになります。これはα,βを2解とする2次方程式が
(t - α)(t - β) = 0 ⇔t＾2 -(α+β) t +αβ= 0なので当然です。
ついでに、判別式が2解α,βを使って(α-β)＾2であることも常識にしておきましょう。
例えば問18（１）では、a , b が実数 ⇔ u＾2-4v≧0　と一瞬で頭に浮かぶようになって
欲しいところです。

118 名前：元塾講師：2005/09/05 15:09

別解その２：　〔?、?まで別解１と同じ。?、?の扱い方の別法として〕
?,?よりkを消去すると、β＾2-β＾4 =α＾2-α＾4 ⇔α＾2-β＾2 = (α＾2-β＾2)(α＾2+β＾2)
　　　　　　　　　　　　∴α＾2 +β＾2 = 1　　〔∵α≠β, α＞0 ,β＞0より、α＾2-β＾2≠0〕
このときα= cosθ, β= ｓｉｎθ　〔0＜θ＜π/2 , θ≠π/4 (※)〕と書けるので、これを?又は
?に代入して、k = ｓｉｎθ/(cosθ- (cosθ)＾3) = 1/ｓｉｎθcosθ = 2/ｓｉｎ2θ　 ?　
〔∵1- (cosθ)＾2 = (ｓｉｎθ) ＾2 , ｓｉｎθcosθ= 1/2 ・ｓｉｎ2θ　〕
(※)のとき、0＜ｓｉｎ2θ＜１であるからk ＞2　が必要。
逆にk ＞2　をみたすk を考えると、?をみたすθが(※)の範囲で唯2つとれ、このとき
α= cosθ, β= ｓｉｎθ　は?かつ?をみたし、またα≠β, α＞0 ,β＞0となるので題意に適する。
よって求める条件（必要十分条件）はk ＞2　。　（答）

119 名前：元塾講師：2005/09/05 15:10

別解２の解説：
?、?より式を整理していく時にkを消去して、α,βのみの条件を出しているのも面白い。
このとき、円の方程式が出るから、解答のように置き換えて、さらに??の整理を進める。
θが(※)の範囲で唯2つとれるという、その場合2交点とは勿論交点(cosθ, ｓｉｎθ) と
交点(ｓｉｎθ, cosθ)です。y = x に関して対称な2点なのは当然でしょう。
一般に「条件」という言葉を使う場合、数学では必要十分条件のことを指すのは言うまで
もありません。条件を求めていく問題では、きちっと「同値変形（言い換え）」をするか、
「必要で攻めて、最後に十分で確認するか」数学の答案作りではこのいずれかの態度を
示すことが大切です。

120 名前：元塾講師：2005/09/08 10:34

問21：
An = Σ〔k=1～n〕 1/√k , Bn =Σ〔k=1～n〕 1/√(2k + 1)　とするとき、
ｌｉｍ (n→∞) An , ｌｉｍ (n→∞) Bn / An を求めよ。　（1990　東大）

121 名前：元塾講師：2005/09/08 12:27

解答：
y = 1/√x　のグラフをもとに式の量を図化して考えると（図は略）、
Σ〔k=1～n〕 1/√k　は図の斜線部の面積（縦1/√k　横１の長方形 n 個）を表すから、
An = Σ〔k=1～n〕 1/√k ＞ ∫｛１～n｝1/√x dx = 2√n - 2
ここでn→∞のとき、左辺→∞なのであるから、右辺→∞　∴ｌｉｍ (n→∞) An　= ∞ （答）
1/√2k ＞ 1/√(2k + 1)　＞ 1/√(2k + 2) より各辺でkを1～nまで変えて加えて、
次の評価式を得る。即ち、1/√2 An ＞Bn ＞1/√2 An - 1/√2 + 1/√(2n + 2)
∴1/√2 ＞ Bn / An ＞1/√2- 1/ An√2 + 1/ An√(2n + 2)
ここでn→∞のとき、右辺→1/√2、左辺→1/√2なのであるから、挟みうちの原理より、
中辺→1/√2　　∴ｌｉｍ (n→∞) Bn / An　= 1/√2　　 （答）

122 名前：元塾講師：2005/09/08 12:33

解説：
1 + 1/2 + 1/3 + 1/4… =ｌｉｍ (n→∞)Σ〔k=1～n〕 1/k = ∞　であることは有名で、知識とし
て知っているべきである。
〔証明の1つは、上と同じように∫｛１～∞｝1/x dx 　(= ∞)　より大きいことから得られる。〕
だとすると、更に大きいAn = Σ〔k=1～n〕 1/√k　がn→∞のとき発散するのは明らか。
Σとか∫が入った式は、図形的には面積量として捉えることができ、面積比較から、よりシンプルな
式で大まかに評価していくのはよくやることである。Anを直接求めることは出来なくてもこのよう
に大まかな評価ができれば極限は求まるというのが本問の趣旨である。
もっとも、Σとか∫が入った式に限らず、式の図形的な意味を考えた上で、図だけで解決できる問題
も多い。特にΣとか∫が入った式は面積と結びつく為、いつも片隅に置いておきたい考えである。

123 名前：元塾講師：2005/09/08 12:35

例えば、簡単な例であるが、∫｛0～1｝√(1-x＾2) dxを求めるのに計算だけでやろうと思うと
置換して被積分を簡単なものにしていかなくてはいけないが、これが原点中心の半径１の円
の第1象限の部分の面積を表すことが分かれば、π/4とすぐ求まるわけである。
もっと普遍化して言えば、抽象的な情報を視覚化、具体化して捉えるという数学の大テーマ
の範疇になる。代数幾何分野に限ったことでもないのである。
後半のBn / Anを考えるにあたり、やはりAn ,Bn を直接求めることが出来ない以上何らか
の評価をすることになるが、Bn がAnに関連付けて評価できるのは気がついて欲しい。
分母の√2を無視すればBn はAnに極めて似通った式なのだから。

124 名前：元塾講師：2005/09/08 12:36

別解：
An = Σ〔k=1～n〕 1/√k = 1/√n ・Σ〔k=1～n〕 1/√(k/n)
　　　　　　　　　　　　　　　　= √n ・1/nΣ〔k=1～n〕 1/√(k/n)
ここでｌｉｍ (n→∞) 1/nΣ〔k=1～n〕 1/√(k/n) = ∫｛0～1｝1/√x dx = 2 ,
ｌｉｍ (n→∞) √n = ∞であるからｌｉｍ (n→∞) An　= ∞　（答）
後半は本解と同じ

125 名前：元塾講師：2005/09/08 12:36

別解の解説：
ｌｉｍ (n→∞) An　を考えるにあたって、
区分求積の公式：ｌｉｍ (n→∞) 1/nΣ〔k=1～n〕 f (k/n) = ∫｛0～1｝f (x) dxに結びつけてもよいでしょう。
Anの式から、この公式が使えるように無理やり変形してみることは難しくありません。
1/nΣ f (k/n)　という形を無理に作り出せば、極限が分かります。

126 名前：元塾講師：2005/09/09 13:08

問22：
0≦t≦2の範囲にあるtに対し、方程式x＾4 - 2x＾2 - 1 + t= 0 の実数解のうち最大のものを
g1(t),最小のものをg2(t)とおく。∫｛0～2｝　（g1(t) - g2(t)） dtを求めよ。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（1993　東大文系）

127 名前：元塾講師：2005/09/09 13:10

解答：
x＾4- 2x＾2 - 1 + t = 0　⇔ - x＾4+ 2x＾2 + 1 = t の実数解xは
y = - x＾4+ 2x＾2 + 1のグラフ? , y = tのグラフの交点のx座標を示し、
g1(t) - g2(t) は、図の太線の長さを表す。
また、?と軸の交点は±αである。（α=√(1+√2) とおいた）
S =∫｛0～2｝(g1(t) - g2(t)) dt は図の斜線部の図形の面積を表すので（図略）、これは次のように表現してもよい。即ち、図形がy軸に関して対称であることにも注意して、
S = 2｛2×1 + ∫｛1～α｝(- x＾4+ 2x＾2 + 1) dx ｝ = 16/15 + 2(-α＾5/5 + 2α＾3/3 +α)
ここに、α＾4 --= 2α＾2 + 1 ,α＾5 --= 2α＾3 +α であるから
(-α＾5/5 + 2α＾3/3 +α) = 4/15α＾3 + 4/5α = ｛4/15(1+√2) + 4/5｝√(1+√2)
よってS = 8/15｛2 + 4√(1+√2) + √(2+√2)｝　（答）

128 名前：元塾講師：2005/09/09 13:11

解説：
代数幾何以外の分野でも、『式は図形を表し、図形は式で表現されるという視点』で数式を
捉えることは大切である。即ち、式の量は、図形的にどんな意味をもつのか。図形の状態を
どのように式表現できるのかということを考えていくのが数学の大切な視点である。
そもそも唐突に『∫｛0～2｝　（g1(t) - g2(t)） dtを求めよ。』といわれたら、この式
の被積分関数は何を表しているのか、積分区間が0からはいいとして2までの2とはどんな
意味か？0≦t≦2というtの範囲と関係あるのだろか…などと自然に考えたくなるのが大切
であり、積分量は面積を示唆するので図形的考えてみようという発想に自然になって欲しい。

129 名前：元塾講師：2005/09/09 13:14

別解：
x＾4- 2x＾2 - 1 + t = 0よりx＾2 = 1±√(2 - t) これは
1- √(2 - t)＜0　のときは2実数解を持つにすぎないし、1- √(2 - t) = 0　のときはx = 0と他の2実数解を持つし、1- √(2 - t)＞0のときは4実数解を持つが、いづれの場合でも最大のものと、最小のものは　±√{1+√(2 - t)}でありこれがg1(t) , g2(t)である。
よってS =∫｛0～2｝(g1(t) - g2(t)) dt　= 2∫｛0～2｝√{1+√(2 - t)}dt
u = 1 + √(2 - t)　とおくと被積分関数= u＾1/2 であり、t = 2 - (u -1)＾2よりdt/du = -2u +2
∴dt = (-2u + 2)・du　　　　またt : 0→2のときu : 1+√2→1と単調に変化するので
S =2∫｛1+√2～1｝u＾1/2 (-2u + 2)・du = 4∫｛1～1+√2｝ (u＾3/2 - u＾1/2)du
= 8/15｛2 + 4√(1+√2) + √(2+√2)｝　（答）

130 名前：元塾講師：2005/09/09 13:15

解説：
地道に計算しても大したことは無いし、これぐらいの計算が出来ないようでは困る。
とくに最近の東大では置換しながら、積分計算をやり遂げさせるという単純計算問題
がよく出されているようである。
計算上のコツは置換（置き換え）しながら、被積分関数を整理（見やすく）していく
ことに尽きる。但し、置き換えによって、もともとのパラメータとの間で定義域等が
変化するので、同じ量をすべて新パラメーターでの評価に書きかえることに注意する
点は、一般的な置き換えのときと同じなのは当然である。被積分関数が積の形になっ
たときは部分積分の公式なども使って計算すること。

131 名前：元塾講師：2005/09/10 10:40

しかし最近、別解の提示どころか質問、疑問も全く無いけど・・・
このスレ死んでるのかな。
受験数学はより美しい解答を求める格闘技であるはずなのに。
また、素晴らしい題材をもとに、より美しく解こうと研究する中で、
計算力、論理力が磨かれるのに。

132 名前：通りすがのり受験生：2005/09/10 15:26

なんか８割ぐらいは一度は解いた問題ですねけど
別解がのってるのが非常に嬉しいです。

133 名前：名無しさん：2005/09/11 02:52

おお！素晴らしい良スレ発見！
過去ログ全て読みつつ定期的にお邪魔します。

134 名前：元塾講師：2005/09/11 12:40

問23：
（１）0≦α＜β≦π/2 であるとき、次の不等式を示せ。
∫｛α～β｝ｓｉｎx dx + ∫｛(π-β) ～(π-α)｝ｓｉｎx dx ＞ (β-α)(ｓｉｎα+ ｓｉｎ(π-β))

（2）Σ｛k=1～7｝ｓｉｎｋπ/8＜16/π
　　　　　　　　　　　　　　　　　　（1997　京大）

135 名前：元塾講師：2005/09/11 12:43

解答：
（１）y =ｓｉｎx 〔0≦x≦π/2〕のグラフを用いて図化して考える。
まず、図（略）より∫｛α～β｝ｓｉｎx dx ＝ ∫｛(π-β) ～(π-α)｝ｓｉｎx dx …?。
（両辺はお互いがx=/2 に関して線対称な図形の面積を表す。）
また、1/2(β-α)(ｓｉｎα+ ｓｉｎ(π-β))は、高さβ-αの台形の面積を表し、
これと∫｛α～β｝ｓｉｎx dxで表される図形の面積を比較すると、y =ｓｉｎx 〔0≦x≦π/2〕
のグラフが上に凸であることに注意すれば
∫｛α～β｝ｓｉｎx dx ＞ 1/2(β-α)(ｓｉｎα+ ｓｉｎ(π-β))　…?
両辺を2倍してを?用いれば、問題の不等式の成立が示された。

136 名前：名無しさん：2005/09/11 12:44

（2）
?で、α=0 , β= π/8とすると　π/16（ｓｉｎ0 + ｓｉｎ7π/8）＜∫｛0～π/8｝ｓｉｎx dx
α=π/8 , β= 2π/8とすると　π/16（ｓｉｎπ/8 + ｓｉｎ6π/8）＜∫｛π/8～2π/8｝ｓｉｎx dx
α=2π/8 , β= 3π/8とすると　π/16（ｓｉｎ2π/8 + ｓｉｎ5π/8）＜∫｛2π/8～3π/8｝ｓｉｎx dx
α=3π/8 , β= 4π/8とすると　π/16（ｓｉｎ3π/8 + ｓｉｎ4π/8）＜∫｛3π/8～4π/8｝ｓｉｎx dx
以上の4式の辺々を加えてｓｉｎ0 = 0に注意すれば、
π/16Σ｛k=1～7｝ｓｉｎｋπ/8＜∫｛0～π/2｝ｓｉｎx dx = 1　∴Σ｛k=1～7｝ｓｉｎｋπ/8＜16/π

137 名前：名無しさん：2005/09/11 12:45

解説：
（１）式の意味を考えて解こうという発想を持っていれば、y =ｓｉｎxのグラフをもとに考えるだけ
なので、誰でもとける。このような考えを頭に入れているかだけの問題である。
（２）（１）がヒントなのは明らかだろうから、あとはα, βにどんな具体的な値を入れていくかだけ
になるが、(β-α)(ｓｉｎα+ ｓｉｎ(π-β))　から、Σ｛k=1～7｝ｓｉｎｋπという式の評価を出そう
としたときに、(β-α)という係数を一定にする必要があることを考慮して考えましょう。

138 名前：名無しさん：2005/09/11 12:46

別解：
等比数列の和の公式より、λ≠１のとき、
1 + λ+ λ＾2 +……　+λ＾(n-1) = (1-λ＾n)/1-λ
ここでλ= cosθ+ ｉ ｓｉｎθ （cosθ≠１）とおくと、
右辺 = Σ｛k = 0～(n-1)｝cos kθ + ｉ Σ｛k = 0～(n-1)｝ｓｉｎkθ
左辺 = ｛(1- cos nθ) - ｉ ｓｉｎ nθ｝/｛(1- cos θ) - ｉ ｓｉｎ θ｝
= 2ｓｉｎ (nθ/2)・｛ｓｉｎ (nθ/2)- ｉ cos (nθ/2)｝ /2ｓｉｎ (θ/2)・｛ｓｉｎ (θ/2)- ｉ cos (θ/2)｝
= ｓｉｎ (nθ/2) ・｛cos ((n -1)θ/2) + ｉ ｓｉｎ((n -1)θ/2)｝ / ｓｉｎ (θ/2)
= ｓｉｎ (nθ/2) ・｛cos ((n -1)θ/2) ｝/ ｓｉｎ (θ/2)+
　　　　　　　　　　　　　　　　　　　　　　　　　 ｉ　ｓｉｎ (nθ/2) ・｛ｓｉｎ((n -1)θ/2)｝ / ｓｉｎ (θ/2)
よって両辺の虚部を比較して
Σ｛k = 0～(n-1)｝ｓｉｎkθ＝　ｓｉｎ (nθ/2) ・｛ｓｉｎ((n -1)θ/2)｝ / ｓｉｎ (θ/2)
ここで、θ= π/8, n = 8 とおけば、
Σ｛k=0～7｝ｓｉｎｋπ/8　=ｓｉｎ(7π/16) / ｓｉｎ(π/16) = cos(π/16) / ｓｉｎ(π/16)
= 1/tan(π/16)
ここで一般にtanθ＞θ　〔0＜θ＜π/2〕であるから、tan(π/16) ＞π/16
よってΣ｛k=0～7｝ｓｉｎｋπ/8 = 1/tan(π/16) ＜16/π
またｓｉｎ0 = 0に注意すれば、これはΣ｛k=1～7｝ｓｉｎｋπ/8 ＜16/π ∴示された。

139 名前：名無しさん：2005/09/11 12:48

別解の解説：
Σ｛k = １～n｝ｓｉｎkθ, Σ｛k = １～n｝coskθの求め方は例えば上のようであるが、
これくらいは知識として覚えておいて欲しい。（計算結果を自力ですぐ導けるように）
尚、上の解答で左辺の計算途中に、
1- cos θ = 2{ｓｉｎ(θ/2)} ＾2 , ｓｉｎθ = 2ｓｉｎ(θ/2) cos(θ/2)
を使ったが、この３角関数の公式は大変重要なので、使いこなして欲しい。
逆に、（ｓｉｎθ）＾2やｓｉｎθcosθ　がｓｉｎ2θ , cos2θの一次式で表せることも重要で、
積分計算や、三角関数の最大、最小問題（ｓｉｎ2θ , cos2θの一次式の形になれば、合成の
公式によりさらに１つの変数までまとめられる。）などでとても大切である。

140 名前：元塾講師：2005/09/13 12:22

>>138
別解のところの右辺と左辺が逆に書いてますので訂正しといて下さい。

141 名前：元塾講師：2005/09/13 12:24

では、多数の文字が入った式（多変数関数）の扱いについて、しばらく見ていくことにします。
有名不等式も出てくるので、それらも使いこなせるように訓練してみて下さい。
なお、私が考える３大（受験数学用）有名不等式は、相加平均≧相乗平均　と ,
Cauchy - Schwartz の不等式　と もう１つ何か分かりますか？

142 名前：元塾講師：2005/09/13 12:25

問24：
a , b ,c を正の数とするとき、不等式2｛(a + b )/2 - (ab)＾1/2｝≦3｛(a + b +c)/3 - (abc)＾1/3｝
を証明せよ。また等号が成立するのはどんな場合か。
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（１９７８　京大）　　　　　　　　　　　　　　　　　　　　　

尚、問題の原本が見たい人はここにアクセスして下さい。
http://hw001.gate01.com/akiyoshi/index.html

143 名前：元塾講師：2005/09/13 12:26

解答：
右辺 - 左辺 = ｛a + b +c - 3 (abc)＾1/3｝ - ｛a + b - 2 (ab)＾1/2｝
= c + 2 (ab)＾1/2 - 3 (abc)＾1/3
= Y＾3 - 3X＾2・Y + 2X＾3　　〔X = (ab)＾1/6 , Y = c＾1/3 とおいた〕
= (Y-X)＾2・(Y+2X)
ここで、a , b ,c を正の数とするときX ＞０ , Y ＞０　であるからこれは０以上。∴示された。
また、右辺＝左辺となるのは、Y = X　⇔c＾2 = ab　のとき　　（答）

144 名前：元塾講師：2005/09/13 12:27

解説：
引いて０以上を示すという単純な解法だが、その変形にはとても大切な数学の考え方が含ま
れているので、じっくり研究しなければならない解答である。
注目すべきは、式を見やすくするためにどのように置き換えているかという点と、
多変数関数を扱う時に、一文字について整理して（因数分解して）いる点である。
一文字について整理することは、後に述べる独立多変数関数の扱いに関する文字固定法
（予選決勝法）に通じる考えになる。

145 名前：元塾講師：2005/09/13 12:28

別解：
右辺 - 左辺 = ｛a + b +c - 3 (abc)＾1/3｝ - ｛a + b - 2 (ab)＾1/2｝
= c + 2 (ab)＾1/2 - 3 (abc)＾1/3　
ここで、相加平均≧相乗平均なので、
c + 2 (ab)＾1/2 = c + (ab)＾1/2 + (ab)＾1/2≧3 (c・(ab)＾1/2・(ab)＾1/2)＾1/3 = 3 (abc)＾1/3　?
よって右辺≧左辺。等号は?の等号が成立する条件を考えて、
c = (ab)＾1/2 = (ab)＾1/2 ⇔ c＾2 = ab　のとき　　（答）

146 名前：元塾講師：2005/09/13 12:30

別解の解説：
本問が相加平均と相乗平均に関する問題だなということは明らかであるが、証明についても
c + 2 (ab)＾1/2 - 3 (abc)＾1/3　の段階で相加平均≧相乗平均が使えることに気づかなければ
ならない。例えば、簡単な例であるが、
ｍ＞０のとき、ｍ＾２ + 1/mの最小値は？などという問題の場合、微分法一辺倒の解答をするの
ではなく、　ｍ＾２ + 1/m = ｍ＾２ + 1/2m + 1/2m ≧ 3(1/4)＾1/3
としてすっと答えを出すとか、問１で述べたように、分数関数では分子又は分母を
ｒｅｄｕｃｔｉｏｎ（次数下げ）して積＝一定の形を作ってから相加平均≧相乗平均を使うなど、
うまく使いこなせれば、いろいろな分野で計算を減らして要領よく正確な答えを出せるように
なる。

147 名前：元塾講師：2005/09/13 14:33

問２５：
a,b,cが正数のとき、a^4+b^4+c^4≧abc(√bc+√ca+√ab)を示せ。
　　　　　　　　　　　　　　　　　　（出典：奥田猛？）－スレ「奥田猛」より引用

148 名前：名無しさん：2005/09/13 14:34

解答：
a^4+b^4≧2a^2b^2, b^4+c^4≧2b^2c^2, c^4+ a^4≧2c^2a^2 　(∵相加平均≧相乗平均)
　辺々加えて2で割って　a^4+b^4+c^4≧a^2b^2+b^2c^2+c^2a^2 ?
また、a^2b^2+b^2c^2≧2acb^2, b^2c^2+c^2a^2≧2bac^2, c^2a^2+a^2b^2≧2cba^2　　より、
　辺々加えて2で割って　a^2b^2+b^2c^2+c^2a^2≧acb^2+bac^2+cba^2　?
更に、acb^2+bac^2≧2abc√bc, bac^2+cba^2≧2abc√ac, cba^2+acb^2≧2abc√abより、
　辺々加えて2で割って　acb^2+bac^2+cba^2≧abc(√bc+√ca+√ab)　?
?、?、?より　a^4+b^4+c^4≧abc(√bc+√ca+√ab)　.
（尚、等号は???のすべてにおいて等号が同時に成立するa = b = c のとき。 ）

149 名前：元塾講師：2005/09/13 14:35

解説：
ポイントはバランスの取れた数式の扱い 。
大学受験には出にくいタイプの問題ではあるが、相加平均≧相乗平均に対する認識を確認する
意味では目を通しておくと有益な問題と考える。式の形から相加平均≧相乗平均を使うことに
ピンと来て欲しいし、バランスをいかにとって行くかを考えなくては正解に至らないであろう。

150 名前：通りすがり：2005/09/13 16:22

現塾講師です。全く頭が下がります。月並みですが応援していますよ。

おせっかいですが、年内完結を目指されてはいかがでしょう。