El doble de la edad de Juan más 25 años es igual a la edad de su padre, que tiene 51 años. ¿Cuántos años tiene Juan?