The sum of the Cantor set with itself (Q1313399)

Using ternary representation of the classical Cantor set \(C\subset[0,1]\), the author proves that \(C+C=[0,2]\) and derives a formula for the number of pairs \((x,y)\in C\times C\) for which \(x+y=k\in[0,2]\). The latter result is formulated in terms of the coefficients in the ternary expansion of \(k\).