设a^x=b^y=c^z=p
x=loga(p)
y=logb(p)
z=logc(p)
xy+xz+yz=0
两边同除xyz
1/x+1/y+1/z=0
logp(a)+logp(b)+logp(c)=0
logp(abc)=0
所以abc=1