Community

Visit the AoPS Book Store.
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Fri Dec 04, 2009 6:54 pm
All times are UTC - 8
View posts since last visit
View unanswered posts
10.14
Moderators: Altheman, harazi
Post new topic   Reply to topic View previous topicView next topic
5 Posts • Page 1 of 1
Author Message
Altheman
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 28 Jun 2005
Posts: 6121
Location: Illinois
United States

To rate posts you must be logged in
#1
10.14
St. Petersburg Olympiad

Find all quadratic polynomials f\in \mathbb{Z}[X] with
the property that for any relatively prime integers m,n, the
numbers f(m),f(n) are also relatively prime.
_________________
-Alex
Altheman's Problem Column

PostPosted: Tue Jul 21, 2009 9:36 pm  Back to top 
  ProfilePMAIMBlog
azjps
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 29 Jan 2007
Posts: 951
Location: NJ
United States

To rate posts you must be logged in
#2
Suppose f(a) = b with |\text{gcd}\,(a,b)| = 1, then b|f(a + b) - f(a) \Longrightarrow 1 = |\text{gcd}\,(f(a + b),f(a))| \ge |b|, so b \in \{ - 1,1\} (certainly b \neq 0). It follows that f( - 1),f(1) = \pm 1 and f(p) = \pm p^k for any prime p. Then f(p) = c_2p^2 + c_1p + f(0) = \pm p^k implies that f(0) \equiv \{ - 1,0,1\} \pmod{p} for all p. Clearly then f(0) \in \{ - 1,0,1\}. We quickly get the possible solutions f(x) = \pm \{x^2, 2x^2 - 1, x^2 - x - 1, x^2 + x - 1, x, 1\} of which only f(x) = x^2 satisfies the conditions.

PostPosted: Wed Jul 29, 2009 7:18 am  Back to top 
  ProfilePMAIMBlog
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5495
Location: Paris
RomaniaFrance

To rate posts you must be logged in
#3
The same argument actually gives all polynomials, not only quadratic ones: the main point is that for n large enough we cannot have (n,f(n))=1, otherwise by picking k large such that (n,n+kf(n))=1 we get a contradiction. But (n,f(n))\ne 1 for all large n implies f(0)=0 and now repeat the argument with f(X)/X.

PostPosted: Wed Jul 29, 2009 5:41 pm  Back to top 
  ProfilePM
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5495
Location: Paris
RomaniaFrance

To rate posts you must be logged in
#4
Here is a (very difficult for me) problem: find all f: \{1,2,...\}\to \{1,2,...\} such that m-n divides f(m)-f(n) for all m,n and such that for all gcd(m,n)=1 we also have gcd(f(m),f(n))=1. I thought I solved it quite a long time, but then realized I was wrong. Someone has the courage to trivalize it? Mr. Green

PostPosted: Wed Nov 04, 2009 8:50 am  Back to top 
  ProfilePM
fedja
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 04 Feb 2005
Posts: 4280
Russian FederationUnited States

To rate posts you must be logged in
#5
harazi wrote:
Someone has the courage to trivalize it? Mr. Green

Your wish is my command Razz.

Trivial step 1: If a prime p divides f(k) but not k, then it divides f(k + p) as well but \text{gcd\,}(k,k + p) = 1, so we get a contradiction. Thus f(k) consists of the same prime divisors as k. In particular, f(p) = p^{d(p)} for all prime p with some integer d(p).

Trivial step 2:. Let p,q be odd primes. Take any m\ge 1 and let u = \frac 12(p^{2^m} + 1). Note that u is odd. Now consider all n\ge m and the numbers v_n = \frac 12(q^{2^n} + 1). They are pairwise relatively prime, so one of them is relatively prime with u. Call it v. Then the order of p modulo u is 2^{m + 1} and the order of q modulo v is 2^{n + 1}. Now, choose a prime r such that r\equiv p\mod u, r\equiv q\mod v. (this uses the trivial Chinese remainder theorem and the highly non-trivial Dirichlet theorem). Now, u|r - p|r^{d(r)} - p^{d(p)} by the first property of f and, trivially, u|r - p|r^{d(r)} - p^{d(r)}, whence u|p^{d(r)} - p^{d(p)} and 2^{m + 1}|d(r) - d(p). Similarly, 2^{m + 1}|2^{n + 1}|d(r) - d(q) and, finally, 2^{m + 1}|d(p) - d(q). Since m is arbitrary, we conclude that d(p) = d(q). Thus f(p) = p^d for some fixed d for all odd primes p.

Trivial step 3: For each k and each prime p, we have p - k|f(p) - f(k) = p^d - f(k). Also, p - k|p^d - k^d whence p - k|f(k) - k^d. Since p is arbitrarily large here, we get f(k) = k^d.

The end.

PostPosted: Wed Nov 04, 2009 5:01 pm  Back to top 
  ProfilePM
Display posts from previous:   Sort by:   
5 Posts • Page 1 of 1
Post new topic   Reply to topic View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us