Side 1 av 1

Tallteori og bevis for abelfinalen

Lagt inn: 04/03-2021 04:57
av ABEL1
Bevis eller motbevis følgende påstand

Gitt [tex]a\neq b\neq c[/tex] og [tex](a,b,c)>0[/tex]

må det finnes [tex]k\geq 2[/tex] løsninger/ tripler [tex](a,b,c)[/tex] som tilfredstiller

[tex]a^b*b^c*c^a[/tex][tex]=a*b*c+2(a+b+c)+p[/tex]

der [tex]p[/tex] er et primtall

Re: Tallteori og bevis for abelfinalen

Lagt inn: 05/03-2021 17:10
av Solar Plexsus
Vi har gitt den diofantiske likningen

$(1) \;\; a^b \cdot b^c \cdot c^a = abc + 2(a + b + c) + p$,

der a,b,c er distinkte naturlige tall og p er et primtall.

Hvis abc er odde, er a,b,c alle odde, som betyr at venstre side av likning (1) er odde, hvilket igjen impliserer at p er like. Likeledes, hvis abc er like, er venstre side av likning (1) like, som igjen innebærer at p er like. Herav følger at p=2, som innsatt i likning (1) gir

$(2) \;\; a^b \cdot b^c \cdot c^a = abc + 2(a + b + c) + 2$.

Vi kan uten tap av generalitet anta at a er det minste av tallene a,b,c.

Anta at a>1. Da er a,b,c>1 som i kombinasjon med likning (2) medfører at

$(3) \;\; (abc)^2 < a^b \cdot b^c \cdot c^a = abc + 2(a + b + c) + 2 < 3abc$

siden

$a + b + c + 1 < abc$

er ekvivalent med

${\textstyle \frac{1}{ab} + \frac{1}{ac} + \frac{1}{bc} + \frac{1}{abc} < 1}$

som åpenbart er sant fordi a,b,c>1.

Av serien av ulikheter (3) får vi at abc<3, som er mulig ettersom a,b,c>1. Denne motsigelsen betyr at a=1, som innsatt i likning (2) resulterer i

$(4) \;\; b^c \cdot c = (b + 2)(c + 2)$.

Ved å dele begge sider av likning (4) med bc, får vi

${\textstyle b^{c-1} = (1 + \frac{2}{b})(1 + \frac{2}{c}) < (1 + \frac{2}{2})^2 = (1 + 1)^2 = 2^2}$

fordi b og c er to distinkte heltall større enn 1. Så vi har at

$b^{c-1} < 4$,

en ulikhet hvis eneste løsning er (b,c) = (3,2), som ikke er en løsning av likning (4).

Konklusjon: Likning (1) har ingen løsning.

Re: Tallteori og bevis for abelfinalen

Lagt inn: 05/03-2021 21:17
av jos
Takk for en skarpsindig analyse. Stusset bare over setningen nedenfor. Der skal det vel stå umulig i stedet for mulig?


Av serien av ulikheter (3) får vi at abc<3, som er mulig ettersom a,b,c>1.

Re: Tallteori og bevis for abelfinalen

Lagt inn: 05/03-2021 22:02
av Gustav
jos skrev:Takk for en skarpsindig analyse. Stusset bare over setningen nedenfor. Der skal det vel stå umulig i stedet for mulig?


Av serien av ulikheter (3) får vi at abc<3, som er mulig ettersom a,b,c>1.
Selvsagt riktig påpekt.