22/07/03 22:15:10.54 ufzWvOVH.net
>>669
つづき
These numerically effective versions imply effective diophantine results such as an effective version of the ABC inequality over mono-complex number fields [i.e., the rational number field or an imaginary quadratic field] and effective versions of conjectures of Szpiro. We also obtain an explicit estimate concerning "Fermat's Last Theorem" (FLT)-i.e., to the effect that FLT holds for prime exponents > 1.615 ・ 1014-which is sufficient, in light of a numerical result of Coppersmith, to give an alternative proof of the first case of FLT. In the second case of FLT, if one combines the techniques of the present paper with a recent estimate due to Miha?ilescu and Rassias, then the lower bound "1.615 ・ 1014" can be improved to "257". This estimate, combined with a classical result of Vand