Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (2024)

This page provides proofs for identities involving the totient function Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (1) and the Möbius function Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (2).

Contents

  • 1 Sum of integers relatively prime to and less than or equal to n
  • 2 Proofs of totient identities involving the floor function
  • 3 Average order of the totient
    • 3.1 Average order of φ(n)/n
  • 4 Inequalities
  • 5 External links

Sum of integers relatively prime to and less than or equal to n

[edit | edit source]

The proof of the identity

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (3)

uses the fact that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (4)

becauseif Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (5) and Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (6) thenFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (7) andif Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (8) and Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (9) thenFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (10)

This means that for Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (11) we may group the k that are relatively prime to n into pairs

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (12).

The case Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (13) does not occur because Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (14) is not an integer when n is odd, and when n is even, we have Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (15) because we assumed that Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (16) There are

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (17)

such pairs, and the constituents of each pair sum to

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (18)

hence

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (19)

The case Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (20) is verified by direct substitution and may be included in the formula.

Proofs of totient identities involving the floor function

[edit | edit source]

The proof of the identity

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (21)

is by mathematical induction on Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (22). The base case is Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (23) and we see that the claim holds:

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (24)

For the induction step we need to prove that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (25)

The key observation is that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (26)

so that the sum is

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (27)

Now the fact that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (28)

is a basic totient identity. To see that it holds, let Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (29)be the prime factorization of n+1. Then

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (30)

by definition of Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (31) This concludes the proof.

An alternate proof proceeds by substitutingFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (32)directly into the left side of the identity, givingFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (33)

Now we ask how often the term Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (34) occurs in the double sum. The answer is that it occurs for every multiple Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (35) of Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (36), but there are precisely Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (37) such multiples, which means that the sum is

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (38)

as claimed.

The trick where zero values of Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (39) are filtered out may also be used to prove the identity

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (40)

The base case is Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (41) and we have

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (42)

and it holds. The induction step requires us to show that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (43)

Next observe that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (44)

This gives the following for the sum

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (45)

Treating the two inner terms separately, we get

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (46)

The first of these two is precisely Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (47) as we saw earlier, and the second is zero, by a basic property of the Möbius function (using the same factorization of Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (48) as above, we have Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (49).) This concludes the proof.

This result may also be proved by inclusion-exclusion. Rewrite the identity as

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (50)

Now we see that the left side counts the number of lattice points (a, b) in [1,n]×[1,n] where a and b are relatively prime to each other. Using the sets Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (51) where p is a prime less than or equal to n to denote the set of points where both coordinates are divisible by p we have

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (52)

This formula counts the number of pairs where a and b are not relatively prime to each other.The cardinalities are as follows:

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (53)

and the signs are Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (54), hence the number of points with relatively prime coordinates is

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (55)

but this is precisely Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (56) and we have the claim.

Average order of the totient

[edit | edit source]

We will use the last formula of the preceding section to prove the following result:

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (57)

Using Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (58) we have the upper bound

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (59)

and the lower bound

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (60)

which is

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (61)

Working with the last two terms and using the asymptotic expansion of the nth harmonic number we have

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (62)

and

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (63)

Now we check the order of the terms in the upper and lower bound. The termFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (64) isFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (65) by comparison with Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (66), whereFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (67) is the Riemann zeta function. The next largest term is the logarithmic term from the lower bound.

So far we have shown that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (68)

It remains to evaluate Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (69)asymptotically, which we have seen converges. The Euler product for the Riemann zeta function is

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (70)

Now it follows immediately from the definition of the Möbius function that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (71)

This means that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (72)

where the integralFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (73)was used to estimateFamous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (74)But Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (75)and we have established the claim.

Average order of φ(n)/n

[edit | edit source]

The material of the preceding section, together with the identity

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (76)

also yields a proof that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (77)

Reasoning as before, we have the upper bound

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (78)

and the lower bound

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (79)

Now apply the estimates from the preceding section to obtain the result.

Inequalities

[edit | edit source]

We first show that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (80)

The latter holds because when n is a power of a prime p, we have

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (81)

which gets arbitrarily close to 1 for p large enough (and we can take p as large as we please since there are infinitely many primes).

To see the former, let nk be the product of the first k primes, call them Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (82). Let

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (83)

Then

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (84)

a harmonic number. Hence, by the well-known bound Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (85), we have

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (86)

Since the logarithm is unbounded, taking k arbitrarily large ensures that rk achieves values arbitrarily close to zero.

We use the same factorization of n as in the first section to prove that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (87).

Note that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (88)

which is

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (89)

The upper bound follows immediately since

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (90)

We come arbitrarily close to this bound when n is prime. For the lower bound, note that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (91)

where the product is over all primes. We have already seen this product, as in

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (92)

so that

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (93)

and we have the claim. The values of n that come closest to this bound are products of the first k primes.

External links

[edit | edit source]

Famous Theorems of Mathematics/Number Theory/Totient Function - Wikibooks, open books for an open world (2024)

FAQs

What are the theorems in elementary number theory? ›

Elementary Number Theory

Several important discoveries of this field are Fermat's little theorem, Euler's theorem, the Chinese remainder theorem and the law of quadratic reciprocity.

What is the function phi? ›

Euler's totient function (also called the Phi function) counts the number of positive integers less than n that are coprime to n.

What is the Euler totient function in cryptography? ›

Euler's totient function is a multiplicative function, meaning that if two numbers m and n are relatively prime, then φ(mn) = φ(m)φ(n). This function gives the order of the multiplicative group of integers modulo n (the group of units of the ring. ). It is also used for defining the RSA encryption system.

How to calculate totient function? ›

The formula basically says that the value of Φ(n) is equal to n multiplied by-product of (1 – 1/p) for all prime factors p of n. For example value of Φ(6) = 6 * (1-1/2) * (1 – 1/3) = 2.

What is the most beautiful theorem in math? ›

Euler's identity is considered to be an exemplar of mathematical beauty as it shows a profound connection between the most fundamental numbers in mathematics.

What is the hardest theorem in math? ›

In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2.

What is Euler's theorem in mathematics? ›

It states that the remainder of ap−1 when divided by a prime p that doesn't divide a is 1. We then state Euler's theorem which states that the remainder of aϕ(m) when divided by a positive integer m that is relatively prime to a is 1.

What is the Tau function? ›

THE TAU FUNCTION

The function τ(n) counts how many divisors n has. This count includes 1 and n. (τ is a Greek letter and is called “tau.”) The first few values are τ(1) = 1, τ(2) = 2, τ(3) = 2, τ(4) = 3, τ(5) = 2, τ(6) = 4, τ(7) = 2, τ(8) = 4, τ(9) = 3, and τ(10) = 4.

What is the Euler's function? ›

The Euler's Totient Function counts the numbers lesser than a number say n that do not share any common positive factor other than 1 with n or in other words are co-prime with n. Hence, there are 4 numbers(1,3,5 and 7) that are lesser than 8 and are co-prime with it.

What is the theorem of Fermat and Wilson? ›

Wilson's theorem states that any prime p divides (p − 1)! + 1, with n! being the factorial notation for 1 × 2 × 3 × 4 × ⋯ × n. Fermat's little theorem states that if p is a prime number, then for any integer a, the number a p – a is an integer multiple of p.

Why is 51 not a prime number? ›

Is 51 a prime number? 51 is not a prime number because it has 3 and 17 as divisors, as well as itself and 1. In other words, 51 has four factors.

What is the symbol for totient? ›

Properties of Euler's Totient Function

Φ is the symbol used to denote the function. The function deals with the prime numbers theory. The function is applicable only in the case of positive integers. For ϕ (n), one can find two multiplicative prime numbers to calculate the function.

How do you find ϕ? ›

There are several ways: Limit of ratio between consecutive fibonacci numbers: ϕ=Fn+1Fn as n→∞ Continued square root: φ=√1+√1+√1+⋯ Continued fraction: φ=1+11+11+11+⋯

What is the phi of 7? ›

THE PHI FUNCTION

The first few values of this important function, called the Euler ϕ function, are given by ϕ(1) = 1, ϕ(2) = 1, ϕ(3) = 2, ϕ(4) = 2, ϕ(5) = 4, ϕ(6) = 2 (since only 1 and 5 are relatively prime to 6), ϕ(7) = 6, ϕ(8) = 4, ϕ(9) = 6, and ϕ(10) = 4.

Why is it called totient function? ›

It comes from the Latin tot--"that many, so many" (as in "total"). If totient has a similar origin, than it would mean "that many times" or "all the times". It probably refers to "all the numbers" coprime with n.

What are the contents of elementary number theory? ›

Elementary number theory then assures us that there are integers s and k satisfying u = sv + kpn; translating s by a suitable multiple of pn, we may suppose that 0 ≤ s < pn. This implies that r − s = uv1 − s = kv1 pn, whence (11) holds.

What are the elementary theorems of probability? ›

Theorem 1: The sum of probability of happening and not happening of any given event is always unity, i.e., equals 1. Theorem 2: The probability of an impossible event is always equal to 0. Theorem 3: The sure events always have 1 as a probability. Theorem 4: The probability of any event is always between 0 to 1.

What is the number theory theorem? ›

Beginning with any finite collection of primes—say, a, b, c, …, n—Euclid considered the number formed by adding one to their product: N = (abc⋯n) + 1. He then examined the two alternatives: (1) If N is prime, then it is a new prime not among a, b, c, …, n because it is larger than all of these.

Top Articles
Latest Posts
Article information

Author: Rev. Porsche Oberbrunner

Last Updated:

Views: 5862

Rating: 4.2 / 5 (53 voted)

Reviews: 84% of readers found this page helpful

Author information

Name: Rev. Porsche Oberbrunner

Birthday: 1994-06-25

Address: Suite 153 582 Lubowitz Walks, Port Alfredoborough, IN 72879-2838

Phone: +128413562823324

Job: IT Strategist

Hobby: Video gaming, Basketball, Web surfing, Book restoration, Jogging, Shooting, Fishing

Introduction: My name is Rev. Porsche Oberbrunner, I am a zany, graceful, talented, witty, determined, shiny, enchanting person who loves writing and wants to share my knowledge and understanding with you.