已知a和两条平行线（b、c）中的b相交,现在假设a与c不相交,则a与c平行,而已知b与c平行,所以推出a与b平行,这与已知相矛盾,所以假设不成立,即a必然与c相交.