有理数乘法定义