Sí, se puede demostrar que existen infinitos números pares que terminan en 7.
La demostración se realiza por reducción al absurdo. Supongamos que solo hay una cantidad finita de números pares que terminan en 7. Podemos listarlos: 7, 17, 27, 37, 47, 57, 67, 77, 87, 97, 107, 117, 127, 137, 147, 157, 167, 177, 187, 197, 207, 217, 227, 237, 247, 257, 267, 277, 287, 297, etc.
Ahora, tomemos el último número de la lista, que es par y termina en 7. A este número le sumamos 10, obteniendo un nuevo número par que también termina en 7. Pero este número no estaba en nuestra lista, lo que contradice nuestra suposición inicial de que solo hay una cantidad finita de números pares que terminan en 7. Por lo tanto, nuestra suposición es falsa y existen infinitos números pares que terminan en 7.
Esta demostración se basa en el hecho de que, al sumar 10 a un número par que termina en 7, obtenemos otro número par que también termina en 7. Como hay infinitos números pares en general, y la suma de un número par y 10 siempre es un número par, entonces hay infinitos números pares que terminan en 7.