08/08/04 06:53:19
>>541
（>>442の続き）
補足： i は i > 0 で整数でなければなりません。
分母を払ってみる。
j^(i^2) > q^(4ki + 8i - 12 + 4ki^2 + 4i^2)
j > q^(4k+4) からある程度大きい値の i で上記の式を導き出せれば成功。
不等式の左側を上記の式に近づけてみる。
j > q^(4k+4)
j^(i^2) > q^(4ki^2+4i^2)
4ki + 8i - 12 + 4ki^2 + 4i^2 < 4ki^2+4i^2
が示せれば成功。でも。。。。
4ki^2+4i^2 - (4ki + 8i - 12 + 4ki^2 + 4i^2)
= -4ki - 8i + 12
k はゼロより大きな任意の整数だし、i もゼロより大きな整数。どうみても無理。