20/06/09 21:18:40.87 oCR5MqlE.net
>>378
自然数nに対して
f(x) = x^2 + n^2 + n^2 - (1+n)^2･(1+x),
とおく。
f(x) = (x-1){x-n(n+2)} -4n -1 < (x-1){x-n(n+2)},
f(x)=0 は2つの正根をもつ。
小さい根は0と1の間にあり、大きい根は n(n+2) より大きい。
大きい根を x_n とおくと
(x, y, z) = (x_n, n, n) ∈ D
x+y+z > n(n+4) → ∞ (n→∞)