在平面几何里有射影定理:设三角形ABC的两边AB垂直与AC.D是A点在BC边上的射影,则AB的平方=BD乘BC,扩展到空