Community

Try our innovative online adaptive learning system, Alcumus.
Over 1100 problems and 60+ video lessons. FREE!
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Mon Nov 23, 2009 7:57 pm
All times are UTC - 8
View posts since last visit
View unanswered posts
divisor of a^2+b^2
Moderators: High School Olympiad Moderators, amfulger, Arne, darij grinberg, freemind, harazi, Megus, N.T.TUAN, orl, pbornsztein, ZetaX
Post new topic   Reply to topic View previous topicView next topic
5 Posts • Page 1 of 1
Author Message
kimnimalar
P versus NP
P versus NP

Offline
Joined: 23 Apr 2007
Posts: 36

To rate posts you must be logged in
#1
divisor of a^2+b^2

if gcd(a;b)=1 then prove that a^2+b^2 has not divisor of the form 4k+3

PostPosted: Mon Jun 09, 2008 3:03 am  Back to top 
  ProfilePM
aviateurpilot
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 15 Apr 2006
Posts: 681
Location: ben guerir
Morocco

To rate posts you must be logged in
#2
for p prime such that p|a^2+b^2 we have (ab^{-1})^2\equiv -1[p] then p\equiv 1[4]
_________________
\left(\frac{name: \ \mathbb{A}\mathbb{ZIZ}}{loogxyy@hotmail.com}\right)

PostPosted: Mon Jun 09, 2008 10:12 am  Back to top 
  ProfilePMWWWMSN
Armenia
Hodge Conjecture
Hodge Conjecture


Offline
Joined: 12 Jun 2007
Posts: 80
Location: Armenia
Armenia

To rate posts you must be logged in
#3
If a^2+b^2 has a divisor of the form 4k+3
then there is a prime number p=4l+3, that a^2+b^2 \vdots p
From this we can say that a \vdots p and b \vdots p, or (a,b)\neq1.

PostPosted: Tue Jun 10, 2008 3:49 am  Back to top 
  ProfilePMYM
kimnimalar
P versus NP
P versus NP

Offline
Joined: 23 Apr 2007
Posts: 36

To rate posts you must be logged in
#4
aviateurpilot wrote:
for p prime such that p|a^2 + b^2 we have (ab^{ - 1})^2\equiv - 1[p] then p\equiv 1[4]



what this mean (ab^(-1))^2=(-1) [p] ?

I can't understand it?

PostPosted: Sat Jun 14, 2008 5:21 am  Back to top 
  ProfilePM
aviateurpilot
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 15 Apr 2006
Posts: 681
Location: ben guerir
Morocco

To rate posts you must be logged in
#5
kimnimalar wrote:
aviateurpilot wrote:
for p prime such that p|a^2 + b^2 we have (ab^{ - 1})^2\equiv - 1[p] then p\equiv 1[4]



what this mean (ab^(-1))^2=(-1) [p] ?

I can't understand it?

b^{-1} it's just notation,
we now that if p\not|b, \exists u such that ub\equiv 1[mod\ p] (bezout) we note u=b^{-1}.
if p|a^2+b^2 then it's evident that p\not|b and a^{2}\equiv -b^2[mod\ p]
we take x=au : x^{2}\equiv a^2u^{2}\equiv -b^2u^2\equiv -1 (mod\ p) (here u=b^{-1} !! ok)
so if p=4h+3 then x^{p-1}=(x^{2})^{2h+1}\equiv (-1)^{2h+1}\equiv -1[p] (-impossible, by th.ferma)
then p\equiv 1[4]
_________________
\left(\frac{name: \ \mathbb{A}\mathbb{ZIZ}}{loogxyy@hotmail.com}\right)

PostPosted: Sat Jun 14, 2008 9:05 am  Back to top 
  ProfilePMWWWMSN
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