应该有前提条件:平面内
1)a1⊥a3 【∵a1⊥a2∴a1与a2相交成直角∵a2∥a3∴a3与a1相交必有一个直角(两直线平行,同位角相等)∴a3⊥a1】
2)a1∥a4
3)由顺次推理可知:所有标号为 1,4,5,8,9,12,13..4m,4m+1,.的直线互相平行;而所有标号为2,3,6,7,10,11.4m+2,4m+3,.(m为非负整数)的直线互相平行,但是这两种直线互相垂直.
∵a1=a(4*0+1)属于第一类直线,a2013=a(4*503+1)也属于第一类直线
∴a1∥a2013