11/02/14 00:58:05
〔補題〕
3 + 1/8 < 31^(1/3) < π < 355/113 < 22/7 < √2 + √3 < √10,
ｽﾚﾘﾝｸ(math板:220-222番)
東大入試作問者スレ１９
・3 + 1/8 < 31^(1/3) は
(3 + 1/8)^3 = 27 +27/8 +9/64 +(1/8)^3 = 31 -(5 -9/8 -1/64)/8 < 31,
・355/113 = 3 + 16/113 < 3 + 16/112 = 3 + 1/7 = 22/7,
・22/7 < √2 + √3 は >>186
・√2 + √3 < √10 は
y = √x は上に凸: √a + √b < 2√{(a+b)/2} = √{2(a+b)},
あるいは √a + √b = √{2(a+b) - (√a -√b)^2} ≦ √{2(a+b)},