login
Numbers n such that phi(n)/phi(phi(n)) = 3.
4

%I #28 Sep 08 2022 08:44:59

%S 7,9,13,14,18,19,21,26,27,28,35,36,37,38,39,42,45,52,54,56,57,63,65,

%T 70,72,73,74,76,78,81,84,90,91,95,97,104,105,108,109,111,112,114,117,

%U 119,126,130,133,135,140,144,146,148,152,153,156,162,163,168,171,180,182

%N Numbers n such that phi(n)/phi(phi(n)) = 3.

%C Also numbers n such that phi(n) = 2^a*3^b with a, b > 0.

%C Also numbers n such that a regular n-gon can be constructed using conics but not with merely a compass and straightedge.

%C "Constructed using conics" means that one can draw any conic, once its focus, its vertex and a point on its directrix are constructed. Points at intersections are thereby constructed. (Videla's definition is slightly more complicated, but equivalent.) One can use parabolas to take cube roots; hyperbolas yield trisected angles. - _Don Reble_, Apr 23 2007

%D George E. Martin, Geometric Constructions, Springer, 1997, p. 140.

%H T. D. Noe, <a href="/A051913/b051913.txt">Table of n, a(n) for n=1..1000</a>

%H C. R. Videla, <a href="http://dx.doi.org/10.1007/BF03024434">On points constructible from conics</a>, Mathematical Intelligencer, 19, No. 2, pp. 53-57 (1997).

%F Numbers n of the form 2^a*3^b*p*q*r*..., where p, q, r, ... are distinct primes of the form 2^x*3^y + 1 (i.e., belong to A005109) and phi(n) is not a power of 2 [Videla]. - _Robert G. Wilson v_, Apr 05 2005

%e Phi(999) = Phi(3*3*3*37) = 648 = 8*81.

%t lf[x_] := Length[FactorInteger[x]] eu[x_] := EulerPhi[x] Do[s=lf[eu[n]]; If[Equal[s, 2]&&Equal[Mod[eu[n], 6], 0], Print[n]], {n, 1, 1000}] (* _Labos Elemer_, Dec 28 2001 *)

%t f[n_] := Block[{m = n}, If[m > 0, While[ IntegerQ[m/2], m /= 2]; While[ IntegerQ[m/3], m /= 3]]; m == 1]; fQ[n_] := Block[{pff = Select[ FactorInteger[n], #[[1]] > 3 &]}, pf = Flatten[{2, Table[ #[[1]], {1}] & /@ pff}]; pfe = Union[ Flatten[{1, Table[ #[[2]], {1}] & /@ pff}]]; If[ Union[f /@ (pf - 1)] == {True} && pfe == {1} && !IntegerQ[ Log[2, EulerPhi[ n]]], True, False]]; Select[ Range[184], fQ[ # ] &] (* _Robert G. Wilson v_, Apr 05 2005 *)

%o (Magma) [n: n in [1..200] | EulerPhi(n)/EulerPhi(EulerPhi(n)) eq 3]; // _Vincenzo Librandi_, Apr 17 2015

%Y Cf. A000010, A003401, A003586, A058383.

%K nonn,easy

%O 1,1

%A _J. H. Conway_ and Antreas P. Hatzipolakis (xpolakis(AT)otenet.gr), Dec 17 1999

%E Additional comments from _Labos Elemer_, Dec 28 2001

%E Additional comments from _Benoit Cloitre_, Jan 26 2002

%E Edited by _N. J. A. Sloane_, Apr 21 2007

%E Entries checked by _Don Reble_, Apr 23 2007