假设过直线外一点有两条直线和已知直线垂直,如图
由于l1和l2同时垂直于直线l,则l1∥l2,这与l1和l2相交于点P矛盾
∴过该点有且只有一条直线与已知直线垂直.
当该点在直线上时,有无数条直线与已知直线垂直.