Euler's Totient Function Proving

  • Context: Graduate 
  • Thread starter Thread starter lil_luc
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion centers on proving the relationship φ(mn) = mφ(n) for positive integers m and n where m divides n. This conclusion derives directly from Euler's formula, φ(n) = n(1 - 1/p1)(1 - 1/p2)...(1 - 1/pk), highlighting that the prime factorization of m shares the same factors as n. Additionally, an alternative proof involves counting coprime integers within the sets {1, ..., mn} and {1, ..., n} to establish equivalence.

PREREQUISITES
  • Understanding of Euler's Totient Function (φ)
  • Familiarity with prime factorization
  • Basic knowledge of number theory
  • Experience with mathematical proofs
NEXT STEPS
  • Study Euler's Totient Function in depth
  • Explore properties of divisors and multiples in number theory
  • Learn about coprime integers and their significance
  • Investigate advanced proof techniques in mathematics
USEFUL FOR

Mathematicians, students of number theory, and anyone interested in understanding the properties of Euler's Totient Function and its applications in proofs.

lil_luc
Messages
5
Reaction score
0
I need some help/hints on how to prove this statement. I don't know where to start!


Prove that if m and n are positive integers such that m|n, then φ(mn) = mφ(n).

Thanks
 
Mathematics news on Phys.org
It's a direct consequence of Euler's formula:
[tex] \phi\left(n\right)=n(1-\frac{1}{p_1})(1-\frac{1}{p_2}) \cdots (1-\frac{1}{p_k})[/tex]
Because the hypothesis implies that the prime factorization of m has the same factors as n.

Or you can count the numbers that are coprime with nm in [tex]\left\{1,\ldots,mn\right\}[/tex] and prove that there are as many as the ones that are coprime with n in [tex]\left\{1,\ldots,n\right\}[/tex].
 

Similar threads

Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
6
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 105 ·
4
Replies
105
Views
11K
  • · Replies 35 ·
2
Replies
35
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 28 ·
Replies
28
Views
5K
Replies
7
Views
2K