本文在证明性质中用到了直线方程的三种设法：设斜率法，设斜率倒数法和参数法，有些证明还用到几何法和代数法．