>>47
多分俺の勘違いだと思いたいから、ちょと質問

> 3*k^2 > (k+1)^2 が成り立つことが証明すれば良い。
> 3*k^2 - (k+1)^2 = 2*k^2 - 2k - 1 = 2[{k - (1/2)}^2 - (3/4)]
この２行の変形って、証明の段階で自由に使えたっけ？
つまり出発点が　"k+1の時点で正しい計算が出来る"=3*k^2-(k+1)^2　に成っている、という部分についてだ

…もうここ一年数学から離れてる脳ミソにはコレでもキツい