A341939 -id:A341939 - cp's OEIS frontend

A341938 Numbers m such that the geometric mean of tau(m) and phi(m) is an integer where phi is the Euler totient function (A000010) and tau is the number of divisors function (A000005).

1, 3, 8, 10, 18, 19, 24, 30, 34, 45, 52, 54, 57, 73, 74, 85, 102, 125, 135, 140, 152, 153, 156, 163, 182, 185, 190, 202, 219, 222, 252, 255, 333, 342, 360, 375, 394, 416, 420, 436, 451, 455, 456, 459, 476, 489, 505, 514, 546, 555, 570, 584, 606, 625, 629, 640, 646, 679, 680, 730

Offset: 1

Bernard Schott, Feb 24 2021

nonn

The first 11 terms of this sequence are also the first 11 terms of A341939: m such that phi(m)/tau(m) is the square of an integer. Indeed, if phi(m)/tau(m) is a perfect square then phi(m)*tau(m) is also a square, but the converse is false. These counterexamples are in A341940, the first one is a(12) = 54.
If k and q are terms and coprimes, then k*q is another term.
Some subsequences (see examples):
-> The seven terms that satisfy tau(m) = phi(m) form the subsequence A020488.
-> Primes p of the form 2*k^2 + 1 (A090698) form another subsequence because tau(p) = 2 and phi(p) = p-1 = 2*k^2, so tau(p)*phi(p) = (2*k)^2.
-> Cubes p^3 where p is a prime of the form k^2+1 (A002496) form another subset with tau(p^3)*phi(p^3) = (2*k*p)^2.

			phi(18) = tau(18) = 6, so phi(18)*tau(18) = 6^2.
phi(19) = 18, tau(19) = 2, so phi(19)*tau(19) = 36 = 6^2.
phi(34) = 16, tau(34) = 4, so phi(34)*tau(34) = 16*4 = 64 = 8^2.
phi(125) = 100, tau(125) = 4, so phi(125)*tau(125) = 400 = 20^2.

Similar for: A011257 (phi*sigma square), A327830 (sigma*tau square).
Subsequences: A020488, A090698.
Cf. A341939, A341940.
Cf. A000005 (tau), A000010 (phi).

with(numtheory): filter:= n -> issqr(phi(n)*tau(n)) : select(filter, [$1..750]);

Select[Range[1000], IntegerQ @ GeometricMean[{DivisorSigma[0, #], EulerPhi[#]}] &] (* Amiram Eldar, Feb 24 2021 *)

isok(m) = issquare(numdiv(m)*eulerphi(m)); \\ Michel Marcus, Feb 24 2021

A341940 Numbers m such that phi(m)*tau(m) is a square but phi(m)/tau(m) is not the square of an integer.

Original entry on oeis.org

54, 1026, 1280, 2187, 2304, 3840, 4352, 6750, 8802, 9072, 9900, 12500, 13056, 13718, 17496, 18700, 21870, 25856, 36900, 37500, 41154, 41553, 47682, 50432, 56100, 57078, 65792, 69700, 77568, 78786, 79200, 84240, 100000, 102656, 103586, 111100, 117666, 125712

Offset: 1

Bernard Schott, Feb 24 2021

nonn

If phi(m)/tau(m) is a square of an integer (m is in A341939) then phi(m)*tau(m) is also a square (m is in A341938), but the converse is false. This sequence consists of these counterexamples (see the Examples section).

			phi(54) = 18, tau(54) = 8, phi(54)*tau(54) = 18*8 = 144 = 12^2 but phi(54)/tau(54) = 9/4 = (3/2)^2 is not the square of an integer, hence 54 is a term.
phi(1026) = 324, tau(1026) = 16, phi(1026)*tau(1026) = 324*16 = 5184 = 72^2 but phi(1026)/tau(1026) = 324/16 = 81/4 = (9/2)^2 is not the square of an integer, hence 1026 is another term.

Similar for: A327624 (phi(n) and sigma(n)), A327831 (sigma(n) and tau(n)).
Equals A341938 \ A341939.
Cf. A000005 (phi), A000010 (tau).

with(numtheory): filter:= r -> phi(r)/tau(r) <> floor(phi(r)/tau(r)) and issqr(phi(r)*tau(r)) : select(filter, [$1..50000]);

Select[Range[10^5], IntegerQ /@ Sqrt[{(e = EulerPhi[#])*(d = DivisorSigma[0, #]), e/d}] == {True, False} &] (* Amiram Eldar, Feb 24 2021 *)

isok(m) = my(x=eulerphi(m), y = numdiv(m)); issquare(x*y) && (denominator(x/y) != 1); \\ Michel Marcus, Feb 24 2021

cp's OEIS Frontend

A341938 Numbers m such that the geometric mean of tau(m) and phi(m) is an integer where phi is the Euler totient function (A000010) and tau is the number of divisors function (A000005).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Mathematica

PARI