u slucaju
, imamo
, pa je
ok par.
(1.)
pretp. da su
neparni. Tada je
paran.
![p^{q+1}=(a-q^{\frac{p+1}{2}})(a+q^{\frac{p+1}{2}})](/media/m/6/5/5/655915b126f512ddc1a11dcf5aefa864.png)
![M(a-q^{\frac{p+1}{2}},a+q^{\frac{p+1}{2}})=d](/media/m/5/a/6/5a657f9f826056a7098eb7d1b1329c18.png)
.
nije
jer bi tada
bio paran. ako je
imamo:
![2\cdot q^{\frac{p+1}{2}}+1=p^{q+1}](/media/m/6/0/c/60cf4d316f78a6b1b16faeb9b79feab6.png)
, no ovo nema rjesenja zato jer su oba dva faktora na lijevoj strani djeljivi sa
, pa je lijeva strana dijelijva sa
, sto bi znacilo da
sto je prema pretpostavci nemoguce.
ako je
, ![q|p\Rightarrow q=p](/media/m/3/4/b/34be2270dac1331bd01d569cc15bfd73.png)
, ako
, tada
, pa onda
, sto je nemoguce prema pretpostavci. Dakle,
nemogu istovremeno biti neparni.
(2.)
Pretp. da je barem jedan broj paran. WLOG
.
,
je neparan pa je ![p+1=2m](/media/m/7/6/0/7600901b954a55dc02d017b05958348c.png)
.
,
, ako
,
sto je nemoguce. Preostaje
.
![(p-1)(p^2+p+1)=2^{m+1}](/media/m/9/1/6/9167065775d624d9f6c52577cf4f9258.png)
, ![d|2p+1,d|2p+1-2(p-1)=3](/media/m/5/0/5/505dd328a8c6f82564b93866b9337ba6.png)
Ocito
, mora biti
, sto nam kaze da je
, odnosno
, sto nemoze biti zbog pretpostavke.
Dakle jedino rjesenje je
u slucaju $p=q=2$, imamo$2^3+2^3=16=4^2$, pa je $(2,2)$ ok par.
(1.)
pretp. da su $p,q$ neparni. Tada je $p+1$ paran.
$p^{q+1}+q^{p+1}=a^2$
$$p^{q+1}=(a-q^{\frac{p+1}{2}})(a+q^{\frac{p+1}{2}})$$
$M(a-q^{\frac{p+1}{2}},a+q^{\frac{p+1}{2}})=d$
$d|2\cdot q^\frac{p+1}{2}$. $d$ nije $2$ jer bi tada $p$ bio paran. ako je $d=1$ imamo:
$$a-q^{\frac{p+1}{2}}=1$$
$$a+q^{\frac{p+1}{2}}=p^{q+1}$$
$2\cdot q^{\frac{p+1}{2}}+1=p^{q+1}$
$(p^{\frac{q+1}{2}}-1)(p^{\frac{q+1}{2}}+1)=2\cdot q^{\frac{p+1}{2}}$, no ovo nema rjesenja zato jer su oba dva faktora na lijevoj strani djeljivi sa $2$, pa je lijeva strana dijelijva sa $4$, sto bi znacilo da $2|q$ sto je prema pretpostavci nemoguce.
ako je $d=q^x$, $q|p\Rightarrow q=p$
$p^{p+1}+p^{p+1}=2\cdot p^{p+1}=a^2$, ako $2|a^2$, tada $4|a^2$, pa onda $2|p$, sto je nemoguce prema pretpostavci. Dakle, $p,q$ nemogu istovremeno biti neparni.
(2.)
Pretp. da je barem jedan broj paran. WLOG $q=2$.
$p^3+2^{p+1}=a^2$, $p$ je neparan pa je $p+1=2m$
$(a-2^m)(a+2^m)=p^3$.
$M(a-2^m,a+2^m)=d$, $d|2^{m+1}$, ako $d=2^k$, $2|p^3$ sto je nemoguce. Preostaje $d=1$.
$$a+2^m=p^3$$
$$a-2^m=1$$
$(p-1)(p^2+p+1)=2^{m+1}$
$M(p-1,p^2+p+1)=d$, $d|2p+1,d|2p+1-2(p-1)=3$
Ocito $d\neq 3$, mora biti $d=1$, sto nam kaze da je $p-1=1$, odnosno $p=2$, sto nemoze biti zbog pretpostavke.
Dakle jedino rjesenje je $(2,2)$