展开 比的基本性质是类推还是转化