最简分数的定义