login
Numerators of smallest denominator of a proper fraction that has a nontrivial anomalous cancellation in base b.
3

%I #12 Sep 18 2017 17:27:26

%S 3,4,7,6,11,8,15,13,16,12,23,14,27,22,21,18,35,20,39,29,34,24,47,31,

%T 67,40,37,30,59,32,63,45,52,87,43,38,75,58,53,42,83,44,87,56,70,48,95,

%U 57,71,122,69,54,107,67,71,77,88,60,119,62,123,94,73,81,79

%N Numerators of smallest denominator of a proper fraction that has a nontrivial anomalous cancellation in base b.

%C See comments at A291093.

%C For prime base p, (p + 1)/(p^2 + p) simplifies to 1/p by cancelling digit k = 1 in the numerator and denominator. This fraction is written "11/110" in base p and simplifies to "1/10" = 1/p.

%C Smallest bases b for which n/d, simplified, has a numerator greater than 1 are 51, 77, 92, ...

%C See link "Base-b proper fractions ..." below for more information. - _Michael De Vlieger_, Sep 18 2017

%H Michael De Vlieger, <a href="/A292288/b292288.txt">Table of n, a(n) for n = 2..120</a>

%H Michael De Vlieger, <a href="/A292289/a292289.txt">Base-b proper fractions n/d having nontrivial anomalous cancellation, with 2 <= b <= 120 and d <= b^2 + b.</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/AnomalousCancellation.html">Anomalous Cancellation</a>

%F a(p) = (p + 1), for prime p.

%e a(5) = 6, the corresponding denominator is 30; these are written "11/110" in quinary, cancelling a 1 in both numerator and denominator yields "1/10" which is 1/5. 6/30 = 1/5.

%e Table of smallest values correlated with least numerators:

%e b = base and index.

%e n = smallest numerator that pertains to d (this sequence).

%e d = smallest denominator that has a nontrivial anomalous cancellation in base b.

%e n/d = simplified ratio of numerator n and denominator d.

%e k = base-b digit cancelled in the numerator and denominator to arrive at n/d.

%e b-n+1 = difference between base and numerator plus one.

%e b^2-d = difference between the square of the base and denominator.

%e .

%e b n d n/d k b-n+1 b^2-d

%e -----------------------------------------

%e 2 3 6 1/2 1 0 -2

%e 3 4 12 1/3 1 0 -3

%e 4 7 14 1/2 3 2 2

%e 5 6 30 1/5 1 0 -5

%e 6 11 33 1/3 5 4 3

%e 7 8 56 1/7 1 0 -7

%e 8 15 60 1/4 7 6 4

%e 9 13 39 1/3 4 3 42

%e 10 16 64 1/4 6 5 36

%e 11 12 132 1/11 1 0 -11

%e 12 23 138 1/6 11 10 6

%e 13 14 182 1/13 1 0 -13

%e 14 27 189 1/7 13 12 7

%e 15 22 110 1/5 7 6 115

%e 16 21 84 1/4 5 4 172

%t Table[Flatten@ Catch@ Do[If[Length@ # > 0, Throw[#], #] &@ Map[{#, m} &, #] &@ Select[Range[b + 1, m - 1], Function[k, Function[{r, w, n, d}, AnyTrue[Flatten@ Map[Apply[Outer[Divide, #1, #2] &, #] &, Transpose@ MapAt[# /. 0 -> Nothing &, Map[Function[x, Map[Map[FromDigits[#, b] &@Delete[x, #] &, Position[x, #]] &, Intersection @@ {n, d}]], {n, d}], -1]], # == Divide @@ {k, m} &]] @@ {k/m, #, First@ #, Last@ #} &@ Map[IntegerDigits[#, b] &, {k, m}] - Boole[Mod[{k, m}, b] == {0, 0}]] ], {m, b, b^2 + b}], {b, 2, 30}][[All, 1]] (* _Michael De Vlieger_, Sep 15 2017 *)

%Y Cf. A291093/A291094, A292289 (denominators), A292393 (digit that is canceled).

%K nonn,frac,base

%O 2,1

%A _Michael De Vlieger_, Sep 15 2017