Let ϕ ( n ) denote Euler's Totient Function . If the greatest common divisor of the positive integers m and n is 7, and ϕ ( m n ) = 5 5 4 4 , find the least possible value of ∣ ϕ ( m ) − ϕ ( n ) ∣ .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
5 5 4 4 = 2 3 × 3 2 × 1 1 × 7
So 7 appears in m and n only once.
m = 7 k
n = 7 j
ϕ ( m ) = 6 ϕ ( k ) , ϕ ( n ) = 6 ϕ ( j )
m n = 4 9 k j ⇒ ϕ ( m n ) = 4 2 ϕ ( k ) ϕ ( j ) = 5 5 4 4
ϕ ( k ) ϕ ( j ) = 1 3 2
ϕ ( k ) and ϕ ( j ) are both even/or at least one of them is even.
1 3 2 = 6 × 2 2 is the arrangement which gives us least value.
So answer is 9 6
Problem Loading...
Note Loading...
Set Loading...
First, 5 5 4 4 = 2 3 ⋅ 3 2 ⋅ 7 ⋅ 1 1 . Now if m n is divisible by 7 3 then ϕ ( m n ) is divisible by 7 2 , which is impossible, so the multiplicity of 7 in m and n must be exactly 1 . So we can write m = 7 a , n = 7 b , where 7 ∤ a b , and a and b are coprime.
By the multiplicativity of ϕ , we get ϕ ( m n ) = ϕ ( 4 9 a b ) = ϕ ( 4 9 ) ϕ ( a ) ϕ ( b ) = 4 2 ϕ ( a ) ϕ ( b ) . So ϕ ( a ) ϕ ( b ) = 1 3 2 . Note that ϕ ( m ) = 6 ϕ ( a ) and ϕ ( n ) = 6 ϕ ( b ) .
So we need to choose two factors of 1 3 2 that are closest together, subject to the constraint that the factors are either even or 1 . Clearly the right choice is 2 2 and 6 . So ϕ ( m ) and ϕ ( n ) are 1 3 2 and 3 6 in some order, so the answer is 9 6 .
(I guess we should show that these values are attainable--take m = 1 6 1 and n = 6 3 .)