I succeeded in the solution of the Fermat expectation. It might be a point in the process of proof without the passing stopping Shimura and the Taniyama expectation if there is a point to have to pay attention to my proof. The knowledge of an oval curve theory and the algebraic geometry is considerably necessary to understand my proof. However, 2 or 30 people think even only Japan will as for talent who has the knowledge only of it. I want to expect it so. At least, it is concise far of Mr. Wiles's proof. I want to write all proofs here for several days. Then, I will show proof.
x^n+y^n=z^n・・・?@ ?It is shown that the class of x that fills @, y, z, n∈N, and n≧3 doesn't exist. It returns in the case with n=4 at n=1728p^r (p is a prime number, and r∈N). Therefore, it is assumed n≠1728p^r. Factor (f), 0 that zero and the pole of rational function f∈k(x) that 0 on non-peculiar projection curve X define, and (f) ∞(f)0:=Σordp(f)>0 ordp(f)P (f)It is provided 0 ∞:=Σord(f) <ordp(f) P.
At this timeDeg(r(f)∞) ?l(r(f)∞) concerns r∈Z and is a having field up against (f) div(f) = 0?(f) ∞ f∈k(x) ×. Therefore, because an invariable amount of j of E cannot be divided when the oval curve defined on solution partial body k0 with) of invariable Σ(ω) is assumed to be E by 1728, it is pseudoand oval curve Y^2Z+X^3+Y+2jE/γ0^ 2(jE?1728) YZ^2+Z^3 and k0? this ..(.. types of caused C.
On the other hand, to non-peculiar curve C projection of number g of seeds1+p^r?It is known to become 2g√(p^r) ≦♯C(kr) ≦1+p^r+2g√(p^r). Projection plane curve from this fact at k1=Fp(p:prime,p≧5) C:=V?(X^(p?1)+Y^(p?1))⊆P^2 is non-peculiar.
Well, well. An oval curve of ..k0? this type..) is half ..(above.. steadier than these facts. Therefore, p. |It is either 0 rank of Mordel Veiyu group Ep(Q) or larger to prime number p that fills n than max(x^γ0,y^γ0,z).
The solution of GCD1 can be infinitely composed if existing by one even in case of n≧3 in case of rankEp(Q) =0. (In a classic technique of the example. ) Whether n≧3Because the number of seeds of oval curves concerning @ is two or more, this contradicts the theorem of Faltings.
RankEp(Q) > max(x^γ0,y^γ0,z) ?One of the solutions of @ is assumed to be (a,b,c), and oval and curve y^2=x(x?a^p) (x+a^p) is composed. Early..go out..curve..oval..curve..do..at this time..do.. projection..curve..peculiar..become.
It is a last act more and more. Therefore, the distinction type of GHp・G^?1Hp^2. (what divided with 16)Δ: =(ab^2?bc^2)(a^3b?bc)^2 ?4(a?bc) ^3b^2?4γ0(a^p+b^p) is not 0. Therefore, to curve GHp・G^?1Hp^2 oval (number 1 of seeds) on kp♯GHp・G^?1Hp^2(kp)≧1+p^p+2(|Δ|+1)√p^p +|Δ|This contradicts the theorem of Hasse though ^p>1+p^p+2√p^p consists. Therefore, n≧3 doesn't have the natural number solution. Proof end