最简真分数 公式的推导