初二数学比例的基本性质证明过程.