Pertvarkome lygybę taip:
[tex]5p^m=n^2-1\iff 5p^m=(n-1)(n+1)\iff p^m=\dfrac{(n-1)(n+1)}{5}[/tex].
Raskime su kuriomis [tex]n∈\mathbb{N}[/tex] reikšmėmis [tex]\dfrac{(n-1)(n+1)}{5}∈\mathbb{N}[/tex].
Taip bus tada ir tik tada, kai [tex]n-1=5k[/tex] arba [tex]n+1=5k[/tex], čia [tex]k∈\mathbb{N}[/tex].
Vadinasi gauname, kad: [tex]n=5k±1,\space k∈\mathbb{N}[/tex].
Kai [tex]n=5k-1,\space k∈\mathbb{N}[/tex], tai: [tex]p^m=\dfrac{(n-1)(n+1)}{5}=\dfrac{(5k-1-1)(5k-1+1)}{5}=(5k-2)\cdot k[/tex]
Kai [tex]n=5k+1,\space k∈\mathbb{N}[/tex], tai: [tex]p^m=\dfrac{(n-1)(n+1)}{5}=\dfrac{(5k+1-1)(5k+1+1)}{5}=k\cdot (5k+2)[/tex]
Taigi turime, rasti su kuriomis [tex]k[/tex] reikšmėmis reiškinių [tex](5k-2)\cdot k[/tex] ir [tex]k\cdot (5k+2)[/tex] reikšmės yra pirminiai skaičiai ar jų laipsniai.
Imkime atvejį, kai [tex]n=5k-1[/tex]:
Kai [tex]k=1[/tex], tai [tex](5\cdot1 -2)\cdot 1=3^1[/tex], o [tex]3[/tex] - pirminis, taigi gauname pirmąjį trejetą [tex](1;4;3)[/tex].
Kai [tex]k=2[/tex], tai [tex](5\cdot2 -2)\cdot 2=2^4[/tex], o [tex]2[/tex] - pirminis, taigi gauname antrąjį trejetą [tex](4;9;2)[/tex].
Galime įsitikinti, jog nėra daugiau tokių [tex]k∈\mathbb{N}[/tex] reikšmių, kad [tex](5k-2)\cdot k[/tex] būtų pirminis skaičius ar jo laipsnis:
Kai [tex]k>2[/tex], tai skaičius [tex](5k-2)\cdot k[/tex] turi bent keturis daliklius: [tex]5k-2[/tex], [tex]k[/tex], [tex]1[/tex] ir [tex](5k-2)\cdot k[/tex], vadinasi tai tikrai negali būti pirminis skaičius. Tam, kad šis skaičius būtų kažkokio pirminio skaičiaus laipsnis, tai abu sandaugos dauginamieji [tex]k[/tex] ir [tex]5k-2[/tex] turi būti pirminio skaičiaus [tex]p[/tex] laipsniai, o tai reiškia, jog [tex]\dfrac{5k-2}{k}[/tex] tikrai turėtų būti natūralusis skaičius, bet [tex]\dfrac{5k-2}{k}=5-\dfrac{2}{k}[/tex], taip yra tik esant reikšmėms [tex]k=1,2[/tex], kurias mes jau patikrinome. Taigi daugiau sprendinių šiuo atveju nėra.
Imame atvėjį, kai [tex]n=5k+1[/tex]:
Kai [tex]k=1[/tex], tai [tex]1\cdot (5\cdot 1+2)=7^1[/tex], o [tex]7[/tex] - pirminis, taigi gauname trejetą [tex](1;6;7)[/tex]
Kai [tex]k=2[/tex], tai [tex]p^m=24=2^3\cdot 3[/tex], taigi netinka.
Lygiai taip pat įsitikiname, jog netinka visos kitos [tex]k>2[/tex] reikšmės, nes turėtų galioti būtina sąlyga, kad: [tex]\dfrac{5k+2}{k}[/tex] yra natūralusis skaičius, bet gauname, kad: [tex]\dfrac{5k+2}{k}=5+\dfrac{2}{k}[/tex] yra natūralusis skaičius tik esant reikšmėms [tex]k=1,2[/tex], kurios jau patikrintos. Taigi viso gavome tris sprendinių trejetus.
Ats.: [tex](1;4;3),(4,9,2), (1,6,7)[/tex]