seja

tal q. f admite uma inversa

...seja

,logo por ser inversa teremos...

...mostraremos q. os pontos P,Q tem a mesma distancia a reta y=x...de fato,
o ponto

e ponto medio do seg.PQ,logo PM=QM e

,pois M=(a+b/2,b+a/2)=(a+b/2,a+b/2),ou seja qquer ponto de

tem seu simetrico em

em relaçao a reta y=x