Il popolo degli uneF, per motivi apparentemente sconosciuti, ragiona spesso in base $3$. Durante una giornata di pioggia, il vecchio del villaggio (il cui nome rimarrà sconosciuto per almeno un'altra settimane), si rese conto che:
Detto $K$ il sottoinsieme di $[0, 1]$ contenente tutti i reali aventi espansione ternaria del tipo $\sum\limits_{n=1}^\infty \frac{a_n}{3^n}$ dove la successione $(a_n)$ è tale che $a_n \in \{0, 2\}$, allora $K$ è il complementare di $[0, 1]$ rispetto all'unione di insiemi disgiunti $I_n$, la cui somma degli intervalli è $1$.
Il vecchio era noto per le sue numerose congetture rivelatesi false: questa però era differente, era corretta.
Sapresti fornire una dimostrazione?
Bonus:
Testo nascosto: