Io ho cercato di dimostrare che la somma delle cifre di ognuno dei primi 10 multipli di 9 è 9 (perciò lavoro in $\mathbb{N}$ )
Non so se sia corretta, essendo agli inizi, perciò vi chiedo il vostro parere

Allora, innanzitutto pongo $ a \leq 10 $ e $ 9a = 10x + y $, con $x$ cifra delle decine e $y$ cifra delle unità.
Riscrivo l'equazione iniziale come $ 9a = 9x + x + y $, divido per 9 e ottengo $ \displaystyle{a = x + {x+y \over 9}} $.
Dato che lavoro nei naturali e $x,y$ sono delle cifre, $ x+y=9 \ o \ x+y=18 $.
L'unica coppia che soddisfa il secondo caso è $(9,9)$, che però, sostituendo nell'eqauzione iniziale, $ 9a = 99 $, il che va contro la mia ipotesi $a \leq 10$, infatti la soluzione di quell'equazione è $a=11$.
Perciò l'unica soluzione per $a \leq 10$ è $x+y=9$.
Quindi ho dimostrato la tesi. (E anche il fatto che la cifra delle decine è uguale ad $a-1$)
E' tutto giusto?
