                                                                
                                  
   6x-y-x-20             ①
                       x2+y2+z2=1979     ②      
                                                    
      ① ② y x       ②  x2∨0  y2+x2∧1979   
2yz=∧y2+x2  y+x 2=∧2  y2+x2∧3958∧632  y+x=∧62   y z  61      
       ①  6x=20+y+z=∧82  x=∧13   x 13      
       x=∧13  ②   y2+z2=1979-x2=∨1979-132=1810   y z    31      ①  6x=20+y+x=∨51  x=∨9     x 9 10 11 13    
         x         ①  x   y z        y z              1979      y z                     
  x    11 13       y z  
                         

                                                                              
                                                                                   
  abc                                               
                               a+b c+d    ABCD        

EF=         CE=      =        CF=      =         

ΔCEF       ΔCEF  SΔCEF=SABCD-  SΔCDF+SΔFAE+SΔCBE
  = a+b  c+d - 1/2d a+b  +1/2bc +1/2a c+d 
  =1/2ac+bc+bd 