Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2005 IMO Problems/Problem 4"

(→‎Solution)
Line 1: Line 1:
 +
==Problem==
 +
 
Determine all positive integers relatively prime to all the terms of the infinite sequence <cmath> a_n=2^n+3^n+6^n -1,\ n\geq 1. </cmath>
 
Determine all positive integers relatively prime to all the terms of the infinite sequence <cmath> a_n=2^n+3^n+6^n -1,\ n\geq 1. </cmath>
  
Line 4: Line 6:
  
 
For all primes <math>p</math> greater than <math>3</math>, by Fermat's last theorem, <math>n^{p-1} = 1</math> mod <math>p</math> if <math>n</math> and <math>p</math> are relatively prime. This means that <math>n^{p-3} = \frac{1}{n^2}</math> mod <math>p</math>. Plugging <math>n = p-3</math> back into the equation, we see that the value mod <math>p</math> is simply <math>\frac{2}{9} + \frac{3}{4} + \frac{1}{36} - 1 = 0</math>. Thus, the expression is divisible by <math>p</math>. Because the expression is clearly never divisible by <math>2</math> or <math>3</math>, our answer is all numbers of the form <math>2^a3^b</math>.
 
For all primes <math>p</math> greater than <math>3</math>, by Fermat's last theorem, <math>n^{p-1} = 1</math> mod <math>p</math> if <math>n</math> and <math>p</math> are relatively prime. This means that <math>n^{p-3} = \frac{1}{n^2}</math> mod <math>p</math>. Plugging <math>n = p-3</math> back into the equation, we see that the value mod <math>p</math> is simply <math>\frac{2}{9} + \frac{3}{4} + \frac{1}{36} - 1 = 0</math>. Thus, the expression is divisible by <math>p</math>. Because the expression is clearly never divisible by <math>2</math> or <math>3</math>, our answer is all numbers of the form <math>2^a3^b</math>.
 +
 +
==See Also==
 +
 +
{{IMO box|year=2005|num-b=3|num-a=5}}

Revision as of 23:59, 18 November 2023

Problem

Determine all positive integers relatively prime to all the terms of the infinite sequence \[a_n=2^n+3^n+6^n -1,\ n\geq 1.\]

Solution

For all primes $p$ greater than $3$, by Fermat's last theorem, $n^{p-1} = 1$ mod $p$ if $n$ and $p$ are relatively prime. This means that $n^{p-3} = \frac{1}{n^2}$ mod $p$. Plugging $n = p-3$ back into the equation, we see that the value mod $p$ is simply $\frac{2}{9} + \frac{3}{4} + \frac{1}{36} - 1 = 0$. Thus, the expression is divisible by $p$. Because the expression is clearly never divisible by $2$ or $3$, our answer is all numbers of the form $2^a3^b$.

See Also

2005 IMO (Problems) • Resources
Preceded by
Problem 3 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 5
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2005_IMO_Problems/Problem_4&oldid=204518"