拖动直线观察夹角变化，当角度为90°时自动标注垂直关系
定义：如果两条直线相交成直角，就说这两条直线互相垂直。
术语：其中一条直线叫做另一条直线的垂线，它们的交点叫做垂足。
符号表示：
a ⊥ b
读作："a 垂直于 b"