Evolton

大阪大学 2014年度 前期日程 第2次学力試験文系数学 第2問

次の問いに答えよ.

(1) cosx+cosy0を満たすすべての実数x,yに対して等式tanx+y2=sinx+sinycosx+cosyが成り立つことを証明せよ.

(2) cosx+cosy+cosz0を満たすすべての実数x,y,zに対して等式tanx+y+z3=sinx+siny+sinzcosx+cosy+coszは成り立つか.
成り立つときは証明し,成り立たないときは反例を挙げよ.

難易度4/ 10計算量3/ 10目安10

三角関数論証・証明 式変形、三角比の利用、反例構成

方針

(1) は和積公式で sinx+sinycosx+cosy をそれぞれ (x+y)/2(xy)/2 の式に直す。分母が0でないという仮定から、共通因子だけでなく cos((x+y)/2) も0でないことが分かるので、正接として割り算できる。(2) は3つの角について同じ形の恒等式は一般には成立しないため、分母が0でない簡単な値を代入して反例を示す。

解答

(1)

和積公式より sinx+siny=2sinx+y2cosxy2 であり、また cosx+cosy=2cosx+y2cosxy2 である。仮定より cosx+cosy0 だから 2cosx+y2cosxy20 である。したがって cosx+y20,cosxy20 である。

よって分母を0でない量として割ることができ、sinx+sinycosx+cosy=2sinx+y2cosxy22cosx+y2cosxy2=sinx+y2cosx+y2=tanx+y2となる。したがって示すべき等式は成り立つ。

(2)

一般には成り立たない。反例として x=0,y=0,z=π を取る。このとき cosx+cosy+cosz=1+11=10 であり、問題の分母は0でない。

一方、左辺は tanx+y+z3=tanπ3=3 である。右辺はsinx+siny+sinzcosx+cosy+cosz=0+0+01=0である。したがって左辺と右辺は一致しない。よって、(2) の等式はすべての実数 x,y,z に対して成り立つわけではない。

総評

難度4、計算量3。目安時間は10分。(1) は二角の和積公式を使う基本問題だが、cosx+cosy0 から割ってよい因子を確認する一文が必要である。(2) は「(1) と似ているから成り立ちそう」と考えず、3つの角では平均角の正接にまとまらないことを反例で示す。反例では分母が0でないこと、左辺と右辺の値が実際に異なることを両方書くのが採点上の要点である。

冊子PDFで見る阪大の三角関数の問題で問題集を作る

出典: 大阪大学 2014年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。