一条直线与另一条直线垂直的公式

解，①直线AB，y=kX十b，

直线CD，y=K1x十b1当Kk1=一1时，AB丄CD

②AB是⊙0的直经，C是⊙0上异于A，B外的任何一点，则AC丄BC

③直线AB切⊙0于A，则0A丄AB

④菱形ABCD中，对角线AC丄BD。