11/02/13 21:58:06
>>153
ちっともエレガントぢゃねぇが････
6 > 6 - 2/(9^2) = (22/9)^2,
∴ √6 > 22/9,
∴ (√2 + √3)^2 = 5 + 2√6 > 89/9,
ところで、
(1/6)π^2 = ζ(2) < 5/3 - 1/48 < 5/3 - 1/54 = (1/6)(89/9) < (1/6)(√2 + √3)^2,
∴ √2 + √3 > π,
ｽﾚﾘﾝｸ(math板:187番) , 199
東大入試作問者スレ１９
11/02/13 21:58:06
>>153
ちっともエレガントぢゃねぇが････
6 > 6 - 2/(9^2) = (22/9)^2,
∴ √6 > 22/9,
∴ (√2 + √3)^2 = 5 + 2√6 > 89/9,
ところで、
(1/6)π^2 = ζ(2) < 5/3 - 1/48 < 5/3 - 1/54 = (1/6)(89/9) < (1/6)(√2 + √3)^2,
∴ √2 + √3 > π,
ｽﾚﾘﾝｸ(math板:187番) , 199
東大入試作問者スレ１９