首先,掉了两句 a,b,c在同一平面内 则a平行于b.假设a不平行b 那么a与b相交与c外一点P 则过一点P 可作两条直线与已知直线c垂直.这与公理 过直线外一点,有且只有一条直线与已知直线垂直相矛盾.由此知 a平行于b