values of for which
Within this entry, we use the following notation:
-
•
denotes the natural numbers (positive integers)
-
•
-
•
denotes a prime
-
•
-
•
denotes the Euler phi function
-
•
denotes the divisor function
-
•
denotes divides
-
•
denotes exactly divides
Within this entry, we will determine all values of for which .
Define by
Note that is a multiplicative function since both and are. Thus, we will initially focus on the values of at prime powers. We will need specific values of . These are calculated below.
We investigate the derivative (http://planetmath.org/Derivative) of for :
Thus, for fixed and , is a strictly decreasing function of .
On the other hand, from the equation
it is clear that, if is fixed, is a strictly decreasing function of .
Thus, we have proven the following:
Lemma 1.
This lemma has an immediate consequence:
Lemma 2.
Let be an odd natural number. Then
Moreover, if and only if or .
Now we will examine the general case. Let . Then .
Suppose that . Let be an odd natural number with . Thus,
Therefore,
which contradicts the second lemma. Hence, .
Suppose that . Let be an odd natural number with . Then . Thus,
Therefore,
which contradicts the second lemma. Hence, .
Now we deal with the cases that can actually occur.
-
•
Case I: is odd
The second lemma immediately applies, yielding or .
-
•
Case II: and
Let be an odd natural number with . Then and
Thus,
By the first lemma, for all with ,
with equality holding if and only if . Therefore, . Hence .
-
•
Case III: and
Let be an odd natural number with . Then and
Thus,
By the first lemma, for all with ,
with equality holding if and only if . Therefore, . Hence .
-
•
Case IV: and
Let be an odd natural number with such that . Then and
Since , the second lemma yields that . Thus,
Therefore,
By the first lemma, . Hence, .
-
•
Case V:
Recall that . Thus, there exists an odd natural number with . Then
The second lemma yields that or . Hence, or .
It follows that
This list of numbers appears in the OEIS as sequence http://www.research.att.com/ njas/sequences/A020488A020488.
Title | values of for which |
---|---|
Canonical name | ValuesOfNForWhichvarphintaun |
Date of creation | 2013-03-22 18:03:48 |
Last modified on | 2013-03-22 18:03:48 |
Owner | Wkbj79 (1863) |
Last modified by | Wkbj79 (1863) |
Numerical id | 12 |
Author | Wkbj79 (1863) |
Entry type | Feature |
Classification | msc 11A25 |
Related topic | EulerPhifunction |
Related topic | TauFunction |