Funkcja jest różnowartościowa, jeżeli dla każdych [tex]x_1,x_2\in D_f[/tex], takich, że [tex]x_1\not=x_2[/tex], również [tex]f(x_1)\not=f(x_2)[/tex].
[tex]-3\sqrt{x_1+6}+4\not=-3\sqrt{x_2+6}+4\\-3\sqrt{x_1+6}\not=-3\sqrt{x_2+6}\\\sqrt{x_1+6}\not=\sqrt{x_2+6}\\x_1+6\not=x_2+6\\x_1\not=x_2[/tex]
W wyniku otrzymaliśmy nasz wcześniejsze założenie, że [tex]x_1\not=x_2[/tex], c.k.d.
