`TH_1 :` `a<b`
Ta có : `1-a/b=1/b`
`1-(a+1)/(b+1)=1/(b+1)`
Mà `1/b>1/(b+1)` nên `a/b<(a+1)/(b+1)`
`TH_2:` `a>b`
Ta có : `a/b-1=1/b`
`1-(a+1)/(b+1)=1/(b+1)`
Mà `1/b>1/(b+1)` nên `a/b>(a+1)/(b+1)`
`TH_3:` `a=b`
`a/b=1=>(a+1)/(b+1)=1`
Vậy `a/b=(a+1)/(b+1)`