三维四面体图,展示从D到面ABC的垂足以及三条高的交点。
令 E=CH∩ABE=CH\cap ABE=CH∩AB。平面 CDE 与 ABC 垂直,且 ABABAB 垂直于它们的交线 CECECE,因此 AB⊥AB\perpAB⊥ 平面 CDECDECDE,特别地 AB⊥EDAB\perp EDAB⊥ED。所以 BD2=DE2+BE2BD^2=DE^2+BE^2BD2=DE2+BE2 且 BC2=CE2+BE2BC^2=CE^2+BE^2BC2=CE2+BE2,从而 BC2−BD2=CE2−DE2BC^2-BD^2=CE^2-DE^2BC2−BD2=CE2−DE2。