Para todo x, x diferente de x2 do domínio da função, tal que [math]\frac{x+x2,}{2}[/math] =x, teremos f(x1)=f(x2). Então, f(x1)=f(x2).