Mathematics Asked by Soham Chatterjee on November 15, 2020

**Lemma :** If a number which can be written as a sum of two squares is divisible by a number which is not a sum of two squares, then the quotient has a factor which is not a sum of two squares. (This is Euler’s second Proposition).

Let $a,b $ be two relatively prime numbers. Let $q $ is a proper factor of $a^2+b^2$ and $q $ can not be represented as sum of $2$ squares. Hence $q>2$.

Let $m,n $ be 2 numbers for which $mq,nq $ are the closest multiples of $q $ to $a,b $ respectively. Let $c=a-mq,d=b-nq $. Hence $|c|,|d|<frac{q}{2}$ and

$$a^2+b^2=(c+mq)^2+(d+nq)^2=m^2q^2+n^2q^2+2mqc+2nqc+c^2+d^2.$$ Hence $q$ divides $c^2+d^2$. Let $c^2+d^2=qr $. Let $g=gcd (c,d ) $. Now Let $m=gcd (g,q) $. Hence $m $ divides $q,c,d $. Hence $m $ divides $a,b $. As $a,b $ are relatively prime hence $m=1$.

Hence $g^2$ divides $r $. Let $e=frac{c}{g} ,f=frac{d}{g},s=frac{r}{g^2}$. Therefore $e^2+f^2=qs.$ Now, $$qs=e^2+f^2leq c^2+d^2 <frac{q^2}{4}+frac{q^2}{4}=frac{q^2}{2}.$$ Therefore $s <frac{q}{2}.$

Now finally, the descent step: if $q$ is not the sum of two squares, then by **Lemma** there must be a factor $q_{1}$ say of $s$ which is not the sum of two squares. But $q_{1} leq s<frac{q}{2} <q$ and so repeating these steps we shall be able to find a strictly decreasing infinite sequence $q, q_{1}, q_{2}, cdots$ of positive integers which are not

themselves the sums of two squares but which divide into a sum of two relatively prime squares. since such an infinite descent is impossible, we conclude that $q$ must be expressible as a sum of

**Now my question is:** How in the last paragraph

Now finally, the descent step: if $q$ is not the sum of two squares, then by

Lemmathere must be a factor $q_{1}$ say of $s$ which is not the sum of two squares. But $q_{1} leq s<frac{q}{2} <q$ and so repeating these steps we shall be able to find a strictly decreasing infinite sequence $q, q_{1}, q_{2}, cdots$ of positive integers which are not

themselves the sums of two squares but which divide into a sum of two relatively prime squares. since such an infinite descent is impossible, we conclude that $q$ must be expressible as a sum of

How we are getting an infinite sequesnce of numbers?

1 Asked on January 7, 2022 by lww

1 Asked on January 7, 2022 by ruby-cho

3 Asked on January 7, 2022 by lucas-g

numerical linear algebra ordinary differential equations proof explanation robotics

1 Asked on January 7, 2022 by kaba

1 Asked on January 5, 2022

3 Asked on January 5, 2022

algebra precalculus egyptian fractions elementary number theory factoring quadratics

4 Asked on January 5, 2022 by truth-seek

3 Asked on January 5, 2022

1 Asked on January 5, 2022

1 Asked on January 5, 2022

1 Asked on January 5, 2022 by confuse_d

2 Asked on January 5, 2022 by unreal-engine-5-coming-soon

1 Asked on January 5, 2022

0 Asked on January 5, 2022 by medo

fourier analysis fourier transform harmonic analysis real analysis

0 Asked on January 5, 2022 by bachamohamed

1 Asked on January 5, 2022 by jonathan-x

definite integrals improper integrals integration laplace transform

Get help from others!

Recent Answers

- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir