Gỉa sử phân số \(\frac{b-a}{b}\)chưa tối giản. Như vậy b - a và b có ước chung là d > 1
Ta có b - a = dq1 (1) và b = dq2 (2) , trong đó q1 , q2 thuộc N và q2 > q1.
Từ (1) ; (2) suy ra a = d(q2 - q1 ) nghĩa là a cũng có ước là d.
Như vậy a và b có ước chung là d > 1 trái với giả thiết \(\frac{a}{b}\) là phân số tôi giản
Vậy nếu \(\frac{a}{b}\) tối giản thì \(\frac{b-a}{b}\) cũng tối giản