PR 3つの正の数<。 6が 51 を満たすとき。決の式の大小
32 GE 2だ日の2人 のの 1 /が
iHINT >0、6>0, 寺51 を満たす数 =二. ぁ=よ を代入すると
2
V2 +75 =ニY2 から、gのくの"上がくg十のく7 75 と見当がっく.。 5王]1 は
条件式は文字を減らす方針 > 〉 を消去する。
6>0 から 山大>0 9なわら2で
g>0 から 0くく1 …… ①
また ML三2"ー2/-F1
06三c(1o) =寺り2の /288ー2 に條三2
山] (g寺6一g5ニ(2g*一2Z二1)一(一?十6)
ー3g"ー3g1=3(g-す) オン0
[2| ① から (g十の一(22十5)=1一(2g2一2Z二1)
2gZ(1一の)>0
Ii] ①から (o+上5 )*ー(2二の?三(/2 +カーg )*ー1*
ーo十2/2 ユーg 十(1一の)ー1=27Z ユーZ >0
/忌+/5 >0, g+5>0 であるから 7g+7ヵ>o+6
したがって 。 oc6<g二のくg十6くYo 寺7ら
人抽(MのNe
hi] (〆+69-の=のーgg+(す) ー(信)+が
4
[2] (2g+の(2 の)=ニ1ー{((?+の“一2g5)三29の>0
[3 (/+/ヵ7ー(Z二の"=(Z二6和27g5 )-ザー2yg65 >0
/Z +/ぢ>0, 2二5>0 であるから /Z +75 >g+6
しシー アラ2イムスマんたメルリ
=(z-+ 3jz>0
を比較せよ。
で
のSeの 2ニー,
条件式。 :
| 品消去する5の条件をo
| に残す。
[31 4>0,.ぢ>0ならば
オッ>ア <っ 42> ぢ*
品[2], [3] では, 文字を
減らさずに g+6テ1 を
そのまま使って証明する、
回1一(<キー2e8)
=1一(やー32g90)
=2gひ6
