Teorema de Punto Fijo

Sea el espacio M = [Raíz Cuadrada de (a/2), Infinito) con la métrica d(x,y) = |y - x|. Pruebe que la función

f(x) = 1/2(x + (a/x)) es una contracción y encuentre el punto fijo.