This site is supported by donations to The OEIS Foundation.



Please make a donation to keep the OEIS running. We are now in our 55th year. In the past year we added 12000 new sequences and reached 8000 citations (which often say "discovered thanks to the OEIS"). We need to raise money to hire someone to manage submissions, which would reduce the load on our editors and speed up editing.
Other ways to donate

(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A262534 Numbers n such that phi(n-2) = phi(n-1) = (n-1) / 2. 1
3, 5, 17, 257, 65537, 4294967297 (list; graph; refs; listen; history; text; internal format)



No more terms below 10^8; 4294967297 is a term of this sequence.

5 first terms are Fermat primes (A019434).

Conjecture: next term is 4294967297.

Subsequence of A232720 and A000051.

Sequence is different from A232720 and A000215; A232720(6) = 83623937 and A000215(7) = 18446744073709551617 are not terms of this sequence.

From Jeppe Stig Nielsen, Nov 19 2016: (Start)

Since n-1 is a solution to phi(x)=x/2, it is clear from the formula for phi that x=n-1 is a nontrivial power of two (in A000079 and even). Then y=n-2 is an odd number such that phi(y) is a power of two, and again recalling the formula for phi, this can only happen when y is a product of distinct Fermat primes (y in A045544).

Question: Is the above comment, together with Euler's demonstration that the Fermat number 2^32 + 1 =  A000215(5) is composite, enough to prove that A262534 has only these six terms?

With the above observations, we need only search next to powers of two (A000051), so it is quick to determine that there are no terms between 65537 and 4294967297. (End)

From Robert Israel, Dec 08 2016: (Start)

The j-th binary digit (i.e. coefficient of 2^j) of the product of a set of distinct Fermat numbers, say y=Product_{k in T} (2^(2^k)+1), is 1 iff j = Sum_{k in S} 2^k for some subset S of T.  In order for x = y+1 to be a power of 2, all of y's binary digits must be 1.  Since 2^(2^5)+1 is composite, T cannot contain 5, so digit 32 is 0, and y < 2^32.  Thus we do have only these 6 terms. (End)


Table of n, a(n) for n=1..6.


17 is in this sequence because phi(15) = phi(16) = 8 = (17 - 1) / 2.


Select[Range@ 100000, EulerPhi[# - 2] == EulerPhi[# - 1] == (# - 1)/2 &] (* Michael De Vlieger, Sep 25 2015 *)


(MAGMA) [n: n in [3..10000000] | n-1 eq 2*EulerPhi(n-1) and n-1 eq 2*EulerPhi(n-2)]

(PARI) for(n=1, 1e8, if(eulerphi(n-2) == eulerphi(n-1) && 2*eulerphi(n-1) == (n-1), print1(n ", "))) \\ Altug Alkan, Oct 11 2015


Cf. A000010, A000215, A232720, A000079, A045544, A000051, A019434.

Sequence in context: A232720 A272061 A247203 * A000215 A263539 A123599

Adjacent sequences:  A262531 A262532 A262533 * A262535 A262536 A262537




Jaroslav Krizek, Sep 24 2015


a(6) from Jeppe Stig Nielsen, Nov 19 2016



Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 10 14:27 EST 2019. Contains 329896 sequences. (Running on oeis4.)