比例的意义和基本性质(正式)