过已知直线AB上的一点P，作一直线垂直于直线AB。