一元一次方程的应用——从天山隧道感受中国基建力量（姚依林）