23.1.2比例的基本性质