How many whole numbers c make x^2 + c a multiple of 2^2007?

  • Context: Graduate 
  • Thread starter Thread starter al-mahed
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the problem of determining how many whole numbers c, within the range of -2007 to 2007, exist such that there is a whole number x for which x^2 + c is a multiple of 2^2007. The scope includes mathematical reasoning, particularly focusing on quadratic residues and their properties modulo powers of two.

Discussion Character

  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant suggests that the problem can be framed as counting how many numbers in the interval [-2007, 2007] are quadratic residues modulo 2^2007.
  • Another participant mentions a specific count of 670 residues using a computational approach, indicating a potential method for verification.
  • A different viewpoint is presented regarding the form of quadratic residues, referencing a Wikipedia definition and counting 336 integers in the positive range, leading to a discrepancy in the total count.
  • Questions arise about the application of quadratic reciprocity, particularly its relevance to the problem and its limitations regarding odd primes.
  • One participant proposes a different counting method for residues in the negative range, arriving at a total of 670 when including zero as a residue.

Areas of Agreement / Disagreement

Participants express differing methods and counts regarding the number of quadratic residues, indicating that there is no consensus on the exact count or the application of certain mathematical principles.

Contextual Notes

There are unresolved aspects regarding the application of quadratic reciprocity and the specific counting methods used, which may depend on interpretations of quadratic residues modulo powers of two.

al-mahed
Messages
262
Reaction score
0
For how many whole numbers c, − 2007 ≤ c ≤ 2007, exists a whole number x such that x^2 + c is multiple of 2^2007?
 
Physics news on Phys.org
come on guys... this is an olympic problem, from the M.O. from Brazil
 
Since the interval is symmetric about 0, you're just asking for how many numbers in [-2007, 2007] are quadratic residues mod 2^2007.

sum(n=-2007,2007,issquare(Mod(n,2^2007))) = 670 (15ms in Pari)

Now if you actually want to solve it by hand, you'll need to look over quadratic reciprocity more carefully.
 
you need to solve by hand
 
Wikipedia, under "quadratic residue", says that a number is a residue mod 2^m (m any natural number) if and only if it is of the form (4^k)*(8n+1).
I counted 336 integers in [1,2007] that are of that form. I thought an equal number might be in [-2007,-1], but that would give me 672, not 670.
 
Last edited:
Is it at this point that quadratic reciprocity should be applied? But how if it applies to odd primes?
Something else (in my previous post): m any natural number > 2.
 
Last edited:
Using the form -(4^k)*(8n-1), I can count 333 residues in [-2007,-1]. With 0 also a residue, I get 670.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 5 ·
Replies
5
Views
13K
  • · Replies 9 ·
Replies
9
Views
3K