偶然對消

偶然對消或異常對消（Anomalous cancellation）是指算術上不正確的處理，但其結果恰好是正確的。例如在化簡分數時直接將分子和分母各位數中相同的數字刪除，這不是正確的約分方法，大部份情形下得到的答案是錯的，但偶爾這樣的運算會出現正確的結果^[1]。

${\displaystyle {\begin{array}{l}\;\;\;{\dfrac {d}{dx}}{\dfrac {1}{x}}\\={\dfrac {d}{d}}{\dfrac {1}{x^{2}}}\\={\dfrac {d\!\!\!\backslash }{d\!\!\!\backslash }}{\dfrac {1}{x^{2}}}\\=-{\dfrac {1}{x^{2}}}\end{array}}}$

微積分中偶然對消的例子

以下是一些偶然對消的例子，十進制下分子及分母都是二位數，分子及分母不相等，且皆非11的倍數，可以偶然對消的分數只有以下這些以及其倒數：

${\displaystyle {\frac {64}{16}}={\frac {\not 64}{1\not 6}}={\frac {4}{1}}=4}$

${\displaystyle {\frac {26}{65}}={\frac {2\not 6}{\not 65}}={\frac {2}{5}}}$

${\displaystyle {\frac {19}{95}}={\frac {1\not 9}{\not 95}}={\frac {1}{5}}}$

${\displaystyle {\frac {98}{49}}={\frac {\not 98}{4\not 9}}={\frac {8}{4}}=2}$^[2]

博厄斯（Ralph P. Boas, Jr）分析了其他進制下的偶然對消，例如4進制下，分子及分母不相等的二位數分數，偶然對消的例子只有32/13 = 2/1及其倒數^[2]。

二位以上的分數也會有偶然對消，例如165/462 = 15/42。

基本性質

若採用以素數${\displaystyle p}$進位的數位表示法（也即p-進制數），則這種對消沒有分子分母在兩位數及以下的解。證明如下：反證假設存在這樣的對消，不失一般性的，設這樣的對消滿足以下等式：

${\displaystyle {\frac {a||b}{c||a}}={\frac {b}{c}}}$

其中用雙豎線表示兩個數在數位上的拼接。這可以推出

${\displaystyle {\frac {ap+b}{cp+a}}={\frac {b}{c}}\implies (a-b)cp=b(a-c)}$

注意到 ${\displaystyle a,b,c}$都應該是${\displaystyle p}$-進制下的一位整數，故必然有${\displaystyle p|b(a-c)}$。而由${\displaystyle b}$無法為0（否則對消後將原先非零的數變成了0），故唯一解滿足${\displaystyle a=c}$，同時這也將導出${\displaystyle a=b}$。該情況下化簡成立，但並非化到最簡的情形。

相關條目

• 數學笑話
• 無效證明