展开 比的基本性质是根据什么类推出来的