假设a相交b于M,则两个垂足和M构成个三角形,这显然是错误的（三角形不能有两个直角）.所以ab不相交.所以ab平行.