在平面几何中,若四边形ABCD有对角线AC垂直BD,则有AB2+CD2=AD2+BC2,扩展到空间,在四棱锥P-ABCD