比例的性质9个公式及证明是什么