login
Numbers for which Midy's theorem does not hold.
2

%I #15 Aug 03 2014 14:01:28

%S 1,2,3,4,5,6,8,9,10,12,15,16,18,20,21,24,25,27,30,31,32,33,36,37,39,

%T 40,41,42,43,45,48,50,51,53,54,57,60,62,63,64,66,67,69,71,72,74,75,78,

%U 79,80,81,82,83,84,86,87,90,93,96,99,100,102,105,106,107,108,111,114,117,119,120,123,124,125,126,128,129,132,134,135,138,141,142,144,147,148,150

%N Numbers for which Midy's theorem does not hold.

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Midy%27s_theorem">Midy's theorem</a>

%p fct1 := proc(an) local i,st: st := 0:

%p for i from 1 to nops(an)/2 do

%p st := op(i,an)*10^(nops(an)/2-i) + st

%p od: RETURN(st): end:

%p fct2 := proc(an) local i,st: st := 0:

%p for i from nops(an)/2+1 to nops(an) do

%p st := op(i,an)*10^(nops(an)/2-i+nops(an)/2) + st

%p od: RETURN(st): end:

%p A187041 := proc(n) local st:

%p st := op(4,numtheory[pdexpand](1/n));

%p if (modp(nops(st),2) <> 0 or nops(st) = 1 or n = 1) then

%p RETURN(n)

%p elif (modp(nops(st),2) = 0) then

%p if not(10^(nops(st)/2)-1 - (fct1(st)+fct2(st)) = 0) then

%p RETURN(n)

%p fi: fi: end: seq(A187041(n), n=1..250);

%t okQ[n_] := Module[{ps = First /@ FactorInteger[n], d, len}, If[n < 2 || Complement[ps, {2, 5}] == {}, False, d = RealDigits[1/n, 10][[1, -1]]; len = Length[d]; EvenQ[len] && Union[Total[Partition[d, len/2]]] == {9}]]; Select[Range[300], ! okQ[#] &] (* _T. D. Noe_, Mar 02 2011 *)

%Y Cf. A028416, A187040.

%K nonn,base

%O 1,2

%A _Jani Melik_, Mar 02 2011

%E Corrected by _T. D. Noe_, Mar 02 2011