Với `AA x in D; x_1 ne x_2` ta được:
`f(x_1) - f(x_2)`
`= 4/(x_1^2) - 4/(x_2^2)`
`= (4(x_2^2 - x_1^2))/(x_1^{2}.x_2^{2})`
`= (4(x_2 - x_1)(x_2 + x_1))/((x_{1}.x_{2})^2)`
`=> (f(x_1) - f(x_2))/(x_1 - x_2) = (-4(x_1 + x_2))/((x_{1}.x_{2})^2)`
Vì:
`(x_{1}.x_{2})^2 >= 0` với `AA x_1; x_2 in D`
`x_1 + x_2 < 0` với `AA x_1; x_2 in D`
`=> -4(x_1 + x_2) > 0` với `AA x_1; x_2 in D`
`=> (-4(x_1 + x_2))/((x_{1}.x_{2})^2) > 0` với `AA x_1; x_2 in D`
`=>` Hàm số đồng biến trên `D`
