费马大定理，比尔猜想的成立，或者更进一步地：A^2+B^y=C^z (y,z为≥3整数)也无有互质正整数解，可用以下方法进行证明：

   分析：对所有的互质正整数三元组，我们可将它们划分为两类。
                       
                          (一)

       一类是符合毕达哥拉斯方程的三元组a,b,c有：
        a^2+b^2=c^2，因有(a^2)c^n+(b^2)c^n=c^(2+n)
而c有a与b不具有的数因，
所以(a^2)c^n+(b^2)c^n  不可能为a^x+b^y (x,y为≥2整数,且至少有一为≥3)

所以：a^x+b^y≠c^z  
      (x,y,z为≥2整数,并至少有z与另一数≥3)

                            (二)

   另一类是非符合毕达哥拉斯方程的互质正整数a'b'c'，其a'^2+b'^2≠c'^2 意味着：
              
   其( a'^2+b'^2)/c'^2=r/c'^2 (r≠c'^2)
   
1.  显然:若 r/c'^2=k  
       则 ：( a'^2+b'^2)/k=c'^2
       则 ：a'^x+b'^y≠c'^z  
      (x,y,z为≥2整数,并至少有z与另一数≥3)
  
  2.   若r与c'^2互质，
        则：( a'^2+b'^2)/r=1         
        则：c'^(2+n)( a'^2+b'^2)/r= c'^(2+n)
       考虑到c'与a'和b'也互质，c'有a'和b'不具有的因子，所以：
        c'^(2+n)a'^2/r+c'^(2+n)b'^2/r 不可能为   
        a'^x+b'^y  
        则：a'^x+b'^y≠c'^z   
   
3.  若r与c'^2为通约，r/c'^2=v/u  (v与u互质)
         则：( a'^2+b'^2)/c'^2=v/u   
         则：u(a'^2+b'^2)/v=c'^2
        则: (c'^n)u(a'^2+b'^2)/v=c'^(2+n)
        因v是与c'^2通约后余下的数因，所以c'^n与v互质，又因c'与a'和b'也互质，c'有a'和b'不具有的因子，
所以 ：  (c'^n)ua'^2/v+(c'^n)ub'^2/v 不可能为   
        a'^x+b'^y  
       则：a'^x+b'^y≠c'^z   

即：a'b'c'间无论什么关系状况均有：

          a'^x+b'^y≠c'^z   

     由此：
    费马大定理，比尔猜想的成立，或者更进一步地：A^2+B^y=C^z (y,z为≥3整数)也无有互质正整数解，得到简洁彻底证明！