已知Rt△ABC,AC⊥BC,又CO⊥AB,O为垂点,则有AC的平方=ABxAO,类比空间四面体,推测一个类似的结论,并