垂线,已知直线AB和AB外一点O,则点O到直线AB的距离是——