已知a⊥b,c⊥b
求证:a‖c
证明:假设a与c不平行
那么a与c相交,设交点为O
那么过点O有两条直线a和c都与b垂直
这与公理:平面内过一点有且只有一条只线与已知直线垂直相矛盾
∴假设不成立
∴a‖c