用反证法证明已知a垂直b,b垂直c,那么a∥b