因为Y=logaX在定义域内有单调性
说明X和Y是一一对应的
所以相同的Y,只有相同的X
所以logaM=logaN,则M=N