正确或错误地缩短

关于分数的基础知识:允许化简同类因数,但不允许化简同类数字。然而,有些分数似乎可以进行这种被禁止的化简。值得仔细研究一类特别简单的分数:分子末尾和分母开头的数字相同的分数。


分子现在应该由数字\(a\)和附加的数字\(x\)组成,分母由相同的数字\(x\)和附加的数字\(c\)组成。:

$$\frac{\overline{a\,x}}{\overline{x\,c}}$$

设分子和分母的位数之和为\(n \ge 2\)

那么\(a\)\(c\)各有\(k=n-1\)位小数。此外,令\(x \in \{1,\dots,9\}\)

用标准的十进制表示法来说,这意味着:

$$\overline{a\,x}\,=10a+x$$

$$\overline{x\,c}\,=x10^k+c.$$

因此,这里正在讨论的禁止删除操作将是::

$$\frac{\overline{a\,x}}{\overline{x\,c}} \longmapsto \frac{a}{c}$$

我们正在寻找数值保持不变的那些情况。:

$$\frac{10a+x}{x10^k+c}=\frac{a}{c}$$

现在可以通过简单的变换推导出整个结构。交叉相乘得到……:

$$c(10a+x)=a(x10^k+c)$$

乘以之后,:

$$10ac+cx=ax10^k+ac$$

如果将这些术语恰当地结合起来,可以得出以下结论::

$$9ac=x(a10^k-c)$$

由于\(a\)\(c\) \(k\) k 位正整数,因此\(a10^kc>0\) 。这是因为\(a10^k\)始终大于任何\(k\)位数\(c\) 。因此,我们可以进行除法运算,从而得到中心条件。:

$$\boxed{x=\frac{9ac}{a10^k-c}}$$

这个公式精确地描述了在这种特殊形式下,表面简化何时有效。它不仅是必要条件,也是充分条件:如果这个等式成立,那么所有变换都可以逆转,并最终得到原始结果。:

$$\frac{10a+x}{x10^k+c}=\frac{a}{c}$$

关键在于表达式\(\frac{9ac}{a10^kc}\)最终必须得到\(\{1,\dots,9\}\)中的一位小数。只有这样,这样的分数才会出现。对于真分数\(a<c\) 。此时\(\frac{a}{c}<1\)也成立,并且由于数值相等,原分数也是真分数。

公式\(\displaystyle x=\frac{9ac}{a10^kc}\)非常便于证明。然而,稍作变形后的形式更便于实际寻找此类例子。从等式\(\frac{10a+x}{x10^k+c}=\frac{a}{c}\)我们已经得到\(\displaystyle 9ac=x(a10^kc)\) 。等价地,我们有\(\displaystyle c(9a+x)=xa10^k\)

现在我们分解\(a\)\(x\)的公因数。令\(\displaystyle g=\gcd(a,x)\) 。那么存在数\(b\)\(y\) ,使得\(\displaystyle a=gb\)\(\displaystyle x=gy\) ,且\(\displaystyle \gcd(b,y)=1\) 。将此代入\(\displaystyle c(9a+x)=xa10^k\)得到\(\displaystyle c(9b+y)=x b10^k\) 。由于\(\displaystyle \gcd(9b+y,b)=\gcd(y,b)=1\) ,因子\(9b+y\)必须整除表达式\(\displaystyle x10^k\) 。如果我们令\(\displaystyle d=9b+y\) ,则\(\displaystyle d\mid x10^k\)\(\displaystyle d\equiv y \pmod 9\) 。反之,我们可以直接从这些除子中获得

$$\displaystyle a=g\frac{d-y}{9}$$

$$\displaystyle c=\frac{x10^k(d-y)}{9d}.$$

这意味着你不再需要失明了。 \(a\)\(c\) 试试看。每个数字都试试。 \(x\in\{1,\dots,9\}\), 每个分隔线 \(g\mid x\) 以及所有合适的隔板 \(d\mid x10^k\) 收到候选人后,剩下的就是核实他们是否符合要求。 \(a\)\(c\) 真的 \(k\)是位数,如果你想要实分数,那么是否 \(a\)\(c\) 真的 \(k\)是位数,如果你想要实分数,那么是否 \(a<c\) 适用。 速度快得多,因为 \(\displaystyle 10^k=2^k5^k\) 与所有可能的 1 的数量相比,约数非常少。 \(k\)拥有位数。

两个例子:

$$\frac{16}{64}=\frac{1}{4}$$

这里,数字\(6\)被删除了。

一个更长的例子,每个数字都保留\(42\)小数,并且使用了递归约分::

$$\frac{166666666666666666666666666666666666666666}{666666666666666666666666666666666666666664}=\frac{1}{4}$$

这里也去掉了同一个数字:分子去掉了最后一个\(6\) ,分母去掉了第一个\(6\)

背部