(ITA - 2007 - 2 fase - Questão 23)
Seja k um número inteiro positivo e
\(A_{k}=\left \{ j\in\mathbb{N}:j\leq k e mdc(j,k)=1 \right \}\)
Verifique se \(n(A_3)\), \(n(A_9)\), \(n(A_{27})\) e \(n(A_{81})\), estão ou não, nesta ordem, numa progressão aritmética ou geométrica. Se for o caso, especifique a razão.