OA=2X(BA+AO)+3Y(CA+AO)+4Z(DA+AO)
(1+2X+3Y+4Z)OA=2X*BA+3Y*CA+4Z*DA
O必不在ABCD面内,不然所证式子不定
这样OA向量系数必为0
1+2X+3Y+4Z=0
-2X-3Y-4Z=1