>>43
>原点から直線y=x+6におろした垂線の式はすぐにy=-xとわかる
これは聞いたことがあるんですが、証明なしで使っていいんですか？