Número total de fracções canceláveis

A tabela anterior parece indicar que, dada uma base \(\require{cancel} \beta,\) o número total de fracções canceláveis nessa base (não contando com as correspondentes recíprocas) é par1, a menos que \(\beta\) seja um quadrado perfeito par (tal número é \(1\) se \(\beta=4;\) é \(7\) se \(\beta = 16;\) é \(21\) se \(\beta = 36;\) é \(21\) se \(\beta=64;\) e é \(37\) se \(\beta = 100\)). A razão desta propriedade está no facto de, em geral, as fracções canceláveis ocorrerem aos pares. Mais precisamente, se a fracção \[\frac{\cancel{c} \,\,\, c-t}{b \,\,\, \cancel{c}}\] é cancelável na base \(\beta,\) então a fracção \[\frac{\cancel{c} \,\,\, c-b}{t \,\,\, \cancel{c}}\] também o é. Efectivamente, a equação que descreve que o cancelamento é válido na primeira fracção \[ (\beta c + c-t)b = (\beta b + c)(c-t)\] é equivalente a \[(\beta c + c-b)t = (\beta t + c)(c-b),\] que traduz o cancelamento na segunda fracção.

Por exemplo, se \(\beta = 6,\) as duas fracções associadas são \(\frac{54}{25}\) e \(\frac{53}{15},\) correspondentes a \(t = 1\) e \(b = 2\); quando \(\beta = 10,\) os pares são \(\frac{98}{49}, \, \frac{95}{19}\) (com \(t = 1\) e \(b = 4\)) e \(\frac{64}{16},\, \frac{65}{26}\) (com \(t = 2\) e \(b = 1\)).

Observe-se contudo que, se \(\beta = 4,\) a fracção \(\frac{32}{13},\) que corresponde a \(t=1\) e \(b=1,\) é igual ao seu par. E, em geral, as duas fracções canceláveis \(\frac{c \,\,\, c-t}{b \,\,\, c}\) e \(\frac{c \,\,\, c-b}{t \,\,\, c}\) são distintas se e só se \(t\neq b\). Ora, \(t=b\) e a fracção \(\frac{c \,\,\, c-t}{b \,\,\, c}\) é cancelável e e só se \[(\beta c + c-b)b=(\beta b + c)(c-b)\] ou seja, \(\beta b^2 = (c-b)^2,\) e portanto \(b\) divide \(c-b\) (logo divide \(c\) ) e \(\beta\) é o quadrado \((\frac{c-b}{b})^2\).

Por exemplo, se \(\beta = 4,\) a fracção \(\frac{32}{13},\) que corresponde a \(t=1=b,\) é cancelável, é a única cancelável nesta base (não contando com a fracção recíproca e as triviais) e tem-se \((\frac{c-b}{b})^2=(\frac{2}{1})^2=\beta\). Porém, se \(\beta = 9,\) que é um quadrado ímpar, a fracção \(\frac{86}{28},\) que se obtém pelo procedimento anterior para \(t=1=b\) (logo \(\frac{86}{28}\) coincide com o seu par), tem os algarismos todos pares e, portanto, \(\frac{43}{14}\) também é fracção cancelável na base \(9\).

É imediato verificar que, se \(\beta\) é um quadrado, para cada natural \(k \in \{1, \ldots, \sqrt{\beta} - 1\},\) as fracções \[\frac{\cancel{k(\sqrt{\beta} + 1)} \,\,\,\,\, k\sqrt{\beta}}{k \,\,\,\,\,\cancel{k(\sqrt{\beta} + 1)}}\] são canceláveis na base \(\beta\) e todas elas são da forma \(\frac{c \,\,\, c-t}{b \,\,\, c}\) com \(t=k=b,\) logo sem fracção distinta que emparelhe com ela. Por exemplo, quando \(\beta = 9,\) esta lista de fracções é a seguinte \[\frac{4 3}{1 4}, \quad \frac{8 6}{2 8}.\] Analogamente, se \(\beta = 25,\) este processo produz as fracções \[\frac{6 5}{1 5}, \quad \frac{12 \,\,10}{2 \,\,10}, \quad \frac{18 \,\,15}{3 \,\,18}, \quad \frac{24 \,\,20}{4 \,\,24}\] e nenhuma delas tem uma fracção par.

Em geral, se \(\beta\) é um quadrado2, então o procedimento anterior produz \(\sqrt{\beta} -1\) fracções não emparelháveis e, quando \(\beta\) é um quadrado par, \(\sqrt{\beta} -1\) é ímpar. Isso justifica que, neste caso, o valor total de fracções não triviais canceláveis seja ímpar.


1 Os primeiros termos da sucessão \(\left(\mathcal{N}(\beta)\right)_\beta\) são \(0,\) \(0,\) \(2,\) \(0,\) \(4,\) \(0,\) \(4,\) \(4,\) \(8,\) \(0,\) \(8,\) \(0,\) \(4,\) \(12,\) \(14,\) \(0,\) \(8,\) \(0,\) \(8,\) \(20,\) \(12,\) \(0,\) \(12,\) \(12,\) \(8,\) \(12,\) \(20,\) \(0,\) \(12,\) \(0,\) \(8,\) \(16,\) \(12,\) \(12,\) \(42,\) \(0,\) \(4,\) \(12,\) \(36,\) \(0,\) \(12,\) \(0,\) \(8,\) \(36,\) \(20,\) \(0,\) \(16,\) \(20,\) \(20,\) \(24,\) \(24,\) \(0,\) \(12,\) \(32,\) \(44,\) \(28,\) \(12,\) \(0,\) \(20,\) \(0,\) \(4,\) \(24,\) \(42,\) \(24,\) \(40,\) \(0,\) \(8,\) \(20,\) \(44,\) \(0,\) \(20,\) \(0,\) \(4,\) \(24,\) \(40,\) \(28,\) \(48,\) \(0,\) \(16,\) \(48,\) \(16,\) \(0,\) \(20,\) \(56,\) \(12,\) \(12,\) \(36,\) \(0,\) \(20,\) \(\ldots\)

2 Note-se que, se \(\beta > 4\) é um quadrado, então \(\beta - 1\) não é primo uma vez que, sendo \(\beta=D^2\) com \(D>2,\) se tem \(\beta-1=(D-1)(D+1)\) e \(D-1>1\).