比的基本性质正式