直線の傾きとその法線の傾きを掛けると常に
-1
になる

これって余弦定理?