结合图，用符号语言表达定理“同旁内角互补，两直线平行”的推理形式： $\because$　          　， $\therefore a//b$．