解決済み

この解答の最初では証明する不等式をabで割っています。これは同値変形ではないですよね。証明する式を変形する時は同値変形もしくは同値変形でなくても逆の確認みたいなのが必要なのは知っていますがそれもありません。それとも自分の理解が浅かったら詳しいルールを教えてください!

ベストアンサー

ベストアンサー

ff が狭義単調増加関数なら,X<YX < Y,f(X)<f(Y)f(X) < f(Y) は同値です


f(X)=(ab)−1Xf(X) = (ab)^{-1}X は狭義単調増加なので

bsin⁡(a/2)>asin⁡(b/2)b\sin(a/2) > a\sin(b/2)

  ⟺  f(bsin⁡(a/2))>f(asin⁡(b/2))\iff f(b\sin(a/2)) > f(a\sin(b/2))

  ⟺  a−1sin⁡(a/2)>b−1sin⁡(b/2)\iff a^{-1}\sin(a/2) > b^{-1}\sin(b/2)

で同値になります

質問者からのお礼コメント

質問者からのお礼コメント

同値変形だったんですね。ありがとうございます!

そのほかの回答(0件)

関連する質問

もっとみる