单道系统中有三个作业A，B，C在等待执行，他们各自所需的执行时间分别是a，b，c，且满足a< b< c。假定作业调度采用最短作业优先调度算法，试证明采用该调度算法可使作业的平均周转时间最短（忽略调度所需的时间）。