Giả sử (m + n)/n không là phân số tối giản. Đặt Ư CLN(m + n;n) = d (d ≠ 1). Khi đó (m + n) ⋮ d, n ⋮ d => (a + b) - b ⋮ d => a ⋮ d mà n ⋮ d => m/n không tối giản (vô lý) => với mọi d khác 1 m/n không tối giản => d = 1 => (m + n)/n cũng là phân số tối giản. Vậy ta có đpcm.