- 192 名前：１３２人目の素数さん mailto:sage [2011/02/14(月) 00:58:05 ]
- 〔補題〕
3 + 1/8 < 31^(1/3) < π < 355/113 < 22/7 < √2 + √3 < √10,
kamome.2ch.net/test/read.cgi/math/1287119136/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)},
