Se trata de un patrón que incluso los niños de la escuela podrían descubrir (cuando se les señala suavemente). Yo nunca lo hice conscientemente, y no recuerdo que me lo hayan señalado explícitamente, ni en la escuela ni después:
$$\color{red}{\mathbf{2}}\cdot 9 = 1\color{red}{\mathbf{8}}$$ $$\color{red}{\mathbf{8}}\cdot 9 = 7\color{red}{\mathbf{2}}$$
$$\color{blue}{\mathbf{3}}\cdot 9 = 2\color{blue}{\mathbf{7}}$$ $$\color{blue}{\mathbf{7}}\cdot 9 = 6\color{blue}{\mathbf{3}}$$
$$\color{green}{\mathbf{4}}\cdot 9 = 3\color{green}{\mathbf{6}}$$ $$\color{green}{\mathbf{6}}\cdot 9 = 5\color{green}{\mathbf{4}}$$
lo que puede resultar una especie de milagro al descubrirlo por primera vez.
En términos matemáticos
$$\boxed{a\cdot (10-1) \equiv b \mod 10\ \ \ \ \Leftrightarrow\ \ \ \ \ b\cdot (10-1) \equiv a \mod 10 \\ a\cdot (10-1) \equiv b \mod 10\ \ \ \ \Leftrightarrow\ \ \ \ \ a + b = 10 \equiv 0 \mod 10}$$
Esto es válido no sólo para $10$ pero para cada $p \in \mathbb{N}$ es decir, en todo "sistema numérico":
$$\boxed{a\cdot (p-1) \equiv b \mod p\ \ \ \ \Leftrightarrow\ \ \ \ \ b\cdot (p-1) \equiv a \mod p \\ a\cdot (p-1) \equiv b \mod p\ \ \ \ \Leftrightarrow\ \ \ \ \ a + b = p \equiv 0 \mod p}$$
y es responsable de que el tablas de multiplicar gráficas de $\mathbb{Z}/p\mathbb{Z}$ siempre tiene el mismo aspecto para $p-1$ :
Me pregunto si hay intentos (en la investigación y la literatura educativa) de aprovechar la simple observabilidad del patrón anterior para explicar a los escolares (inteligentes) que la regularidad observada no es por pura coincidencia, por qué es así y qué "significa".