傾き\lの直線U上の点と 傾き\l'の直線U'上の点とを 結ぶ線分の中点の軌跡
の方向ベクトルは、上でちょっと出てるけど、
{((\l' \l^T)^2 - (\l \l'^T)^2) / (\l^T \l \l'^T \l' - (\l^T \l')^2)} \t と言えるだろうか？

なぜ、\l と \l' の角の二等分線の方向と一致しないのだろうか？

なぜ、双正射影行列 \W'=(\l \l'^T - \l' \l^T) (\l' \l^T - \l \l'^T) / (\l^T \l \l'^T \l' - (\l^T \l')^2)
が示す方向と違うのだろうか？

という三点ぐらいが疑問として残りました。\l と \l' とそれらに直交する距離ベクトルの
実質3次元分しか出てこないけど、存外難しいではないか、あはははあばばー