Quiero señalar una perspectiva diferente. Este es un típico problema de que no uso riguroso del lenguaje conduce a la confusión. Solemos tratar a los objetos que son equivalentes (en virtud de una posible tácita relación de equivalencia) como si son iguales.
Los números enteros y los números racionales no son fracciones, en el más estricto sentido de la palabra "son". Por ejemplo, las fracciones $1/1$, $4/4$, y $8/8$ son todos diferentes fracciones, pero todos ellos representan el mismo número entero. (En realidad, debería decir "las fracciones representadas por las expresiones $1/1$, $4/4$, y $8/8$.") Ninguna de las fracciones $1/1$, $4/4$, y $8/8$, literalmente, es el entero 1. Si todos fueran el mismo que el entero $1$, todos serían iguales como cualquier otro, pero no lo son, porque son diferentes fracciones. Lo que es cierto es que tienen el mismo valor que cada uno de los otros.
Del mismo modo, las fracciones $1/2$ $2/4$ no son ambos el mismo que el número racional $1/2$, debido a que no son lo mismo como los demás, porque tienen diferentes numeradores. Quién diría que un número racional tiene un numerador?
Cuando escribimos
$$
1 = 4/4 = 8/8
$$
el "equivale a" no sólo significa que las fracciones que representan el mismo número (que tienen el mismo valor), que no son la misma fracción. En otras palabras, el $=$ escribimos en realidad es una relación de equivalencia en un conjunto de fracciones - la equivalencia de la relación de ser "tiene el mismo valor". Nosotros no tenemos ningún símbolo que normalmente utilizamos para denotar "real" de la igualdad de fracciones. Este punto es a menudo ignorado completamente en el bajo nivel de los textos.
El primer lugar de que la gente empieza a pensar en estas cosas en detalle en álgebra abstracta. En ese contexto, nos encontramos con muchos interesantes distinciones que no serían visibles en la escuela primaria de matemáticas. Por ejemplo, en virtud de las definiciones que en la mayoría de los libros de álgebra, $\mathbb{Z}$ es una extensión de la semigroup $\mathbb{N}$ a un grupo; $\mathbb{Q}$ es el campo de fracciones de $\mathbb{Z}$; y $\mathbb{R}$ es el Dedekind finalización de $\mathbb{Q}$. Se desprende de estas definiciones que el número natural 1 no es el mismo que el entero 1, ambos son diferentes de los números racionales 1, y todos los tres son diferentes desde el número real 1.