Riktig.
Jeg går for den. Hvis det finnes en geometrisk delfølge så kan vi se på tre etterfølgende ledd av den geometriske delfølgen.
Disse leddene kaller vi [tex]y_q_, y_r, y_s[/tex], der [tex]q<r<s[/tex] og [tex]q,r,s \in {\mathbb N}[/tex].
Siden det er snakk om en geometrisk delfølge, så må det finnes en konstant slik at
(1) [tex]\frac{y_r}{y_q} = \frac{y_s}{y_r}[/tex].
Siden [tex]y_n = x+n[/tex] så blir (1) det samme som
[tex]\frac{x+r}{x+q} = \frac{x+s}{x+r}[/tex]
Dette kan løses med hensyn på x.
[tex](x+r)^2 = (x+q)(x+s)[/tex]
[tex]x^2 + 2rx + r^2 = x^2 + (q+s)x + qs[/tex]
[tex](2r - q - s)x = qs - r^2[/tex]
Så var det problemstillingen, dersom [tex]2r - q - s = 0[/tex]. Får ikke helt løst den, men vi antar at det ikke er lik 0.
[tex]x = \frac{qs-r^2}{2r - q - s}[/tex].
Vi ser at høyresiden er et rasjonalt tall, siden [tex]q,r,s \in {\mathbb N}[/tex]. Da må x også være et rasjonalt tall.
Alternativ definisjon
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
-
- Guru
- Innlegg: 1995
- Registrert: 10/10-2006 20:58
Nå er jeg enig i det hele med en gang. Bra!
2r-q-s=0 vil medføre at r=q=s om du løser mot (x+r)^2=(x+q)(x+s), så det blir ikke et problem.
Definisjonen kan også skrives om til at det fins 3 ledd i ei geometrisk følge i {x+n} hvis og bare hvis x er rasjonal.
Ny alternativ definisjon-oppgave som jeg bare har klart å vise den ene veien: Vis at partalla større enn 5 er nøyaktig de talla som kan skrives som en sum av to odde primtall.
2r-q-s=0 vil medføre at r=q=s om du løser mot (x+r)^2=(x+q)(x+s), så det blir ikke et problem.
Definisjonen kan også skrives om til at det fins 3 ledd i ei geometrisk følge i {x+n} hvis og bare hvis x er rasjonal.
Ny alternativ definisjon-oppgave som jeg bare har klart å vise den ene veien: Vis at partalla større enn 5 er nøyaktig de talla som kan skrives som en sum av to odde primtall.