假设有两条平行直线L1,L2,同位角a,b 不相等.

因为a,b 不相等,假设,b=a+c,根据假设作出图形,可得

所以得到L1和L2相交,且夹角为c,这与假设的条件L1,L2平行矛盾,所以,假设不成立,所以两条平行直线,同位角相等.