垂直公式是數學公式中的一種，可以表示兩條直線相互垂直的關系
兩條解析式垂直的公式必須滿足斜率的乘積為-也就是說，如果兩條直線的解析式分別為y=a+by=a+b則必須滿足aa- 垂直公式在數學中有著廣泛的應用，比如在求解兩條直線的交點、判斷線段是否相互垂直等問題中都會用到

兩條線垂直公式：k1×k2=-1。垂直，是指一條線與另一條線成直角，這兩條直線互相垂直。通常用符號“⊥”表示。設有兩個向量a和b，a⊥b的充要條件是a·b=0，即(x1x2+y1y2)=0 。

解：我覺得直線間不存在平分，都是無限延長的。垂直的話，就是2直線的斜率k1*k2=-1.

則上式中另一直線就是y=x/2+b

你想要證明的話也可以(k1*k2=-1)，

證明，設k1=tanα，因為2直線垂直，則β=α+90°（αβ分別為2直線與x軸夾角）

k2=tanβ=tan(α+90°)=-tan(90°-α）

k1*k2=-tanα*tan(90°-α）=-1