比例的基本性质是谁发现的