geheeltallige oplossingen

Dit forum is voor het voortgezetonderwijs (of 2de/3de graad ASO), als je in de bovenbouw zit. We gaan er vanuit dat je een Grafische Rekenmachine hebt.
Plaats reactie
wisist
Nieuw lid
Nieuw lid
Berichten: 5
Lid geworden op: 16 nov 2018, 22:54

geheeltallige oplossingen

Bericht door wisist » 16 nov 2018, 23:03

Ik kom er niet uit :( Kan iemand mij helpen?

Afbeelding

https://imgur.com/a/aRCdX4s

Alvast bedankt!

Steinbach
Vergevorderde
Vergevorderde
Berichten: 152
Lid geworden op: 22 okt 2017, 22:52

Re: geheeltallige oplossingen

Bericht door Steinbach » 16 nov 2018, 23:55



We kunnen bovenstaande formule omvormen tot de volgende vergelijking :



en

De eerste formule is de bovenste tak en de tweede tak , de gespiegelde naar onder in de X-as.
We zien nu als we voor x want in de vergelijking
wordt gedeeld door en daardoor kan nooit een geheel getal zijn want
is een irrationaal getal.

Nu moeten we ook nog bewijzen als y



is altijd een even getal en doe daar +1 en dan bekom je altijd een oneven getal.
En als je dit oneven getal in de teller deelt door 2 bekom je nooit een geheel getal.

Dus x en y van deze grafiek zal nooit door roosterpunten gaan waarvan x en y een geheel getal zijn.

Kinu
Moderator
Moderator
Berichten: 1144
Lid geworden op: 22 okt 2010, 15:38

Re: geheeltallige oplossingen

Bericht door Kinu » 17 nov 2018, 02:32

Het antwoord van steinbach is volledig. Je kan je argument wiskundig "mooier" formuleren door het bijvoorbeeld expliciet op te schrijven als een bewijs uit het ongerijmde:

Te bewijzen: \(V \cap N = \emptyset \)
Bewijs: Veronderstel dat \(V \cap N \neq \emptyset \), i.e dan bestaat er een \(x \in N\) en \(y \in N\) zodanig dat \(2x - 1 = 2y^2\) etc... (gebruik dan het argument van steinbach wat duidelijk to een contradictie leidt).

arie
Moderator
Moderator
Berichten: 3911
Lid geworden op: 09 mei 2008, 09:19

Re: geheeltallige oplossingen

Bericht door arie » 17 nov 2018, 04:13

Een nog korter bewijs:

Voor alle \(x \in \mathbb{Z}\) is \(2x-1\) oneven
Voor alle \(y \in \mathbb{Z}\) is \(2y^2\) even
En een oneven getal kan nooit gelijk zijn aan een even getal.


PS: TIP: als je op dit forum een plaatje wilt tonen, gebruik dan de link naar het .jpg bestand van dat plaatje.
(en niet de link naar de website; ik heb je oorspronkelijke post hierop aangepast).

PPS: De opgave kan ook nog wat netter:
\(V \cap \; \mathbb{Z} \times \mathbb{Z} = \emptyset\)
Immers: V is een verzameling geordende paren \((x,y) \in \mathbb{R} \times \mathbb{R}\) die voldoen aan \(2x-1=2y^2\);
als x en y bovendien geheel moeten zijn, dan moet \((x,y) \in \mathbb{Z} \times \mathbb{Z}\).

wisist
Nieuw lid
Nieuw lid
Berichten: 5
Lid geworden op: 16 nov 2018, 22:54

Re: geheeltallige oplossingen

Bericht door wisist » 17 nov 2018, 12:51

Dank voor alle reacties!

Plaats reactie