定理 6
3直線 a, b, l と点 C があるとき,
al を通って l に直交する直線と C から b への垂線の交点を D,
bl を通って l に直交する直線と C から a への垂線の交点を E,
C から l への垂線の足を F とするとき,
ab と F を通る直線は DE に直交する。