两条直线互相垂直的定义及判定（两条直线垂直的三种方法公式）

两条直线互相垂直的定义是：如果这两条直线的夹角为90度，那么我们称这两条直线互相垂直。

关于如何判定两条直线是否互相垂直，有以下几种方法：

直接用定义：也就是证明这两条直线所构成的角中有一个是直角，或者通过计算，证明这两个角的度数等于90度。

利用三角形性质：如果一个三角形中，有两个内角之和等于90度，那么这个三角形是直角三角形，也就意味着这两条边互相垂直。

利用平行线的性质：如果一条直线垂直于平行线中的一条，那么它也必然垂直于另一条。

利用面面垂直的判定定理：在其中一个平面内寻找一条与另一平面垂直的直线，若能找到，则这两个平面互相垂直。

综上，判断两条直线是否垂直，可以从它们的角度、所在的三角形性质、平行线性质以及面面垂直的判定定理等多个角度去考虑和分析。