反证法证明假设过直线外一点a有两条直线与原直线相交,结果两条直线互相重合,与原假设矛盾.