假设这两条直线不平行,则这两条直线相交那么过这个交点垂直于已知直线的直线有两条,与公理矛盾故退出假设不成立.
所以：在同一平面内,如果两条直线都和第三条直线垂直,那么这两条直线一定平行.
如问题已解决,在客户端右上角评价点【满意】即可.