比例的基本性质 (3)