两条直线一般式方程垂直关系的推导

两条直线一般式方程垂直关系的判断，学生经常用，但是不会严谨的推导，实际上每一种数学推导渗透的数学思想，恰恰是最重要的。比如分类的标准是什么，如何理解数学的化归思想，都是特别重要的。