Menu Close

Determine-all-the-perfect-squares-on-form-p-n-1-where-p-is-a-prime-number-and-n-a-positive-integer-

Tinku Tara 0 Comments
Pin




Question Number 154012 by mathdanisur last updated on 13/Sep/21
Determine all the perfect squares on form p^n + 1 where p is a prime number and n a positive integer.
$$\mathrm{Determine}\:\mathrm{all}\:\mathrm{the}\:\mathrm{perfect}\:\mathrm{squares}\:\mathrm{on} \\ $$$$\mathrm{form}\:\:\boldsymbol{\mathrm{p}}^{\boldsymbol{\mathrm{n}}} \:+\:\mathrm{1}\:\:\mathrm{where}\:\:\boldsymbol{\mathrm{p}}\:\:\mathrm{is}\:\mathrm{a}\:\mathrm{prime}\:\mathrm{number} \\ $$$$\mathrm{and}\:\:\boldsymbol{\mathrm{n}}\:\:\mathrm{a}\:\mathrm{positive}\:\mathrm{integer}. \\ $$
Commented by Rasheed.Sindhi last updated on 13/Sep/21
For some cases p^n + 1=q^2 ⇒q^2 −1=p^n (q−1)(q+1)=p^n n=1: (q−1)(q+1)=p q−1=1∧ q+1=p q=2 ∧ p=3 q^2 =4 n=2:(q−1)(q+1)=p^2 case1: q−1=1∧ q+1=p^2 q=2 ∧ p^2 =3 (false) case2: q−1=q+1=p(false) For n=2 no p n=3:q^2 −1=p^3 p^3 +1=q^2 (p+1)(p^2 −p+1)=q^2 p+1=p^2 −p+1 p^2 −2p=0 p(p−2)=0 p=0(false) ∨ p=2 (true) p=2⇒q^2 =p^3 +1=2^3 +1=9 q^2 =9
$$\mathrm{For}\:\mathrm{some}\:\mathrm{cases} \\ $$$$\boldsymbol{\mathrm{p}}^{\boldsymbol{\mathrm{n}}} \:+\:\mathrm{1}=\mathrm{q}^{\mathrm{2}} \Rightarrow\mathrm{q}^{\mathrm{2}} −\mathrm{1}=\mathrm{p}^{\mathrm{n}} \\ $$$$\left(\mathrm{q}−\mathrm{1}\right)\left(\mathrm{q}+\mathrm{1}\right)=\mathrm{p}^{\mathrm{n}} \\ $$$$\mathrm{n}=\mathrm{1}:\:\left(\mathrm{q}−\mathrm{1}\right)\left(\mathrm{q}+\mathrm{1}\right)=\mathrm{p} \\ $$$$\:\:\:\:\:\:\:\:\:\mathrm{q}−\mathrm{1}=\mathrm{1}\wedge\:\mathrm{q}+\mathrm{1}=\mathrm{p} \\ $$$$\:\:\:\:\:\:\:\:\:\:\mathrm{q}=\mathrm{2}\:\wedge\:\mathrm{p}=\mathrm{3} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\mathrm{q}^{\mathrm{2}} =\mathrm{4} \\ $$$$\mathrm{n}=\mathrm{2}:\left(\mathrm{q}−\mathrm{1}\right)\left(\mathrm{q}+\mathrm{1}\right)=\mathrm{p}^{\mathrm{2}} \\ $$$$\:\:\:\:\mathrm{case1}:\:\mathrm{q}−\mathrm{1}=\mathrm{1}\wedge\:\mathrm{q}+\mathrm{1}=\mathrm{p}^{\mathrm{2}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{q}=\mathrm{2}\:\:\wedge\:\mathrm{p}^{\mathrm{2}} =\mathrm{3}\:\left(\mathrm{false}\right) \\ $$$$\:\:\:\:\mathrm{case2}:\:\mathrm{q}−\mathrm{1}=\mathrm{q}+\mathrm{1}=\mathrm{p}\left(\mathrm{false}\right) \\ $$$$\:\:\:\:\mathrm{For}\:\mathrm{n}=\mathrm{2}\:\mathrm{no}\:\mathrm{p} \\ $$$$\mathrm{n}=\mathrm{3}:\mathrm{q}^{\mathrm{2}} −\mathrm{1}=\mathrm{p}^{\mathrm{3}} \\ $$$$\:\:\:\:\mathrm{p}^{\mathrm{3}} +\mathrm{1}=\mathrm{q}^{\mathrm{2}} \\ $$$$\:\:\:\left(\mathrm{p}+\mathrm{1}\right)\left(\mathrm{p}^{\mathrm{2}} −\mathrm{p}+\mathrm{1}\right)=\mathrm{q}^{\mathrm{2}} \\ $$$$\:\:\:\:\:\mathrm{p}+\mathrm{1}=\mathrm{p}^{\mathrm{2}} −\mathrm{p}+\mathrm{1} \\ $$$$\:\:\:\:\:\mathrm{p}^{\mathrm{2}} −\mathrm{2p}=\mathrm{0} \\ $$$$\:\:\:\:\:\mathrm{p}\left(\mathrm{p}−\mathrm{2}\right)=\mathrm{0} \\ $$$$\:\:\:\:\mathrm{p}=\mathrm{0}\left(\mathrm{false}\right)\:\vee\:\mathrm{p}=\mathrm{2}\:\left(\mathrm{true}\right) \\ $$$$\:\:\:\:\mathrm{p}=\mathrm{2}\Rightarrow\mathrm{q}^{\mathrm{2}} =\mathrm{p}^{\mathrm{3}} +\mathrm{1}=\mathrm{2}^{\mathrm{3}} +\mathrm{1}=\mathrm{9} \\ $$$$\:\:\:\:\:\:\:\:\:\:\mathrm{q}^{\mathrm{2}} =\mathrm{9} \\ $$
Commented by mathdanisur last updated on 13/Sep/21
Very nice Ser, thank you
$$\mathrm{Very}\:\mathrm{nice}\:\mathrm{Ser},\:\mathrm{thank}\:\mathrm{you} \\ $$
Answered by Rasheed.Sindhi last updated on 14/Sep/21
p^n + 1=q^2 p^n =(q−1)(q+1) q−1=p^m ⇒q+1=p^(n−m) p^(n−m) −p^m =(q+1)−(q−1)=2 p^(n−m) −p^m =2 (Two powers of a prime having difference 2) 2^2 −2^1 =2⇒q−1=2 ∧ q+1=4 ⇒q^2 −1=8⇒q^2 =9 (Only these two powers of 2 have difference 2)^★ 3^1 −3^0 =2⇒q−1=3^0 ∧ q+1=3^1 ⇒q^2 −1=3⇒q^2 =4 (Only these two powers of 3 have difference 2)^(★★) p>3:p^m −p^n >2 for any m,n
$$\boldsymbol{\mathrm{p}}^{\boldsymbol{\mathrm{n}}} \:+\:\mathrm{1}=\mathrm{q}^{\mathrm{2}} \\ $$$$\boldsymbol{\mathrm{p}}^{\boldsymbol{\mathrm{n}}} \:=\left(\mathrm{q}−\mathrm{1}\right)\left(\mathrm{q}+\mathrm{1}\right) \\ $$$$\mathrm{q}−\mathrm{1}=\mathrm{p}^{\mathrm{m}} \Rightarrow\mathrm{q}+\mathrm{1}=\mathrm{p}^{\mathrm{n}−\mathrm{m}} \\ $$$$\mathrm{p}^{\mathrm{n}−\mathrm{m}} −\mathrm{p}^{\mathrm{m}} =\left(\mathrm{q}+\mathrm{1}\right)−\left(\mathrm{q}−\mathrm{1}\right)=\mathrm{2} \\ $$$$\mathrm{p}^{\mathrm{n}−\mathrm{m}} −\mathrm{p}^{\mathrm{m}} =\mathrm{2} \\ $$$$\left(\mathcal{T}{wo}\:{powers}\:{of}\:{a}\:{prime}\:{having}\:\right. \\ $$$$\left.{difference}\:\mathrm{2}\right) \\ $$$$\:\:\:\:\mathrm{2}^{\mathrm{2}} −\mathrm{2}^{\mathrm{1}} =\mathrm{2}\Rightarrow\mathrm{q}−\mathrm{1}=\mathrm{2}\:\wedge\:\mathrm{q}+\mathrm{1}=\mathrm{4} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\Rightarrow\mathrm{q}^{\mathrm{2}} −\mathrm{1}=\mathrm{8}\Rightarrow\mathrm{q}^{\mathrm{2}} =\mathrm{9} \\ $$$$\left({Only}\:{these}\:{two}\:{powers}\:{of}\:\mathrm{2}\:{have}\:\right. \\ $$$$\left.{difference}\:\mathrm{2}\right)^{\bigstar} \\ $$$$\:\:\:\:\mathrm{3}^{\mathrm{1}} −\mathrm{3}^{\mathrm{0}} =\mathrm{2}\Rightarrow\mathrm{q}−\mathrm{1}=\mathrm{3}^{\mathrm{0}} \:\wedge\:\mathrm{q}+\mathrm{1}=\mathrm{3}^{\mathrm{1}} \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\Rightarrow\mathrm{q}^{\mathrm{2}} −\mathrm{1}=\mathrm{3}\Rightarrow\mathrm{q}^{\mathrm{2}} =\mathrm{4} \\ $$$$\left({Only}\:{these}\:{two}\:{powers}\:{of}\:\mathrm{3}\:{have}\:\right. \\ $$$$\left.{difference}\:\mathrm{2}\right)^{\bigstar\bigstar} \\ $$$$\:\:\mathrm{p}>\mathrm{3}:\mathrm{p}^{\mathrm{m}} −\mathrm{p}^{\mathrm{n}} >\mathrm{2}\:{for}\:{any}\:{m},{n} \\ $$
Commented by Rasheed.Sindhi last updated on 14/Sep/21
^★ 2^1 −2^0 =1(×) 2^2 −2^1 =2(✓) 2^m −2^n >2(×) for m,n>2 ∧ m≠n ^(★★) 3^1 −3^0 =2(✓) 3^m −3^n >2(×) for m,n>1∧ m≠n
$$\:^{\bigstar} \mathrm{2}^{\mathrm{1}} −\mathrm{2}^{\mathrm{0}} =\mathrm{1}\left(×\right) \\ $$$$\mathrm{2}^{\mathrm{2}} −\mathrm{2}^{\mathrm{1}} =\mathrm{2}\left(\checkmark\right) \\ $$$$\mathrm{2}^{{m}} −\mathrm{2}^{{n}} >\mathrm{2}\left(×\right)\:\:{for}\:{m},{n}>\mathrm{2}\:\wedge\:{m}\neq{n} \\ $$$$ \\ $$$$\:^{\bigstar\bigstar} \mathrm{3}^{\mathrm{1}} −\mathrm{3}^{\mathrm{0}} =\mathrm{2}\left(\checkmark\right) \\ $$$$\mathrm{3}^{{m}} −\mathrm{3}^{{n}} >\mathrm{2}\left(×\right)\:{for}\:{m},{n}>\mathrm{1}\wedge\:{m}\neq{n} \\ $$
Commented by mathdanisur last updated on 14/Sep/21
very nice Ser thanks
$$\mathrm{very}\:\mathrm{nice}\:\boldsymbol{\mathrm{S}}\mathrm{er}\:\mathrm{thanks} \\ $$

Pin

Leave a Reply

Your email address will not be published. Required fields are marked *