由此, h3:=x4x1-x342=0 (3) h4:=x4(l2-14)-(x3-1)3=0(4) 至此,定理的条件化为(1)--(4)。 由AN=NDBN=NC,定理的结论化为 81:=x1-2x1x3-2x2x4+x2=0 (5) g2=2x3(l4-l2)-2x4l2-2+2+3=0(6)2 1 3 3 1 4 u u u x u x − = − 由此， : ( ) ( ) 0 (4) : 0 (3) 4 4 2 1 3 1 3 3 4 1 3 3 = − − − = = − = h x u u x u u h x x x u 至此，定理的条件化为（1）--（4）。 由AN=ND,BN=NC,定理的结论化为 : 2 ( ) 2 0 (6) : 2 2 0 (5) 2 3 2 2 2 2 3 1 2 4 3 1 2 1 3 2 4 2 2 1 1 = − − − + + = = − − + = g x u u x u u u u g x x x x x x