二つの直線の傾きの積が-1になること。
1つの直線の傾きがm、直交(垂直)するもう1つの直線の傾きをm’とすると、m❌m’=-1になります。
証明は中学だと三平方を使うのかな。
高校だとベクトルや行列を使うのかな。
mm’=-1は垂直条件。覚えておくと良いです。
以下参照
https://w3e.kanazawa-it.ac.jp/math/category/kika/zutohouteisiki/henkan-tex.cgi?target=/math/category/kika/zutohouteisiki/suityokuni-majiwaru-jyouken.html