Is het juist dat, indien
en
rationaal zijn, x eveneens rationaal is?

We weten dat de vermenigvuldiging en de delig door een getal, verschillend van 0, inwendige bewerkingen zijn in
. Dus als
en
rationaal zijn, dan is hun quotiënt
dat ook . Maar dan is het quotiënt van
en
, en dat is
, ook een rationaal getal. Als
rationaal is, dan ook
. Tenslotte volgt uit het feit dat
en
allebei rationaal zijn dat hun quotiënt x dat ook is.Het antwoord op de gestelde vraag is dus bevestigend.
We kunnen dit ook anders oplossen: We zoeken eigenlijk twee getallen a en b zodat
, waarbij a en b gehele getallen zijn. Maar dan moet
![Rendered by QuickLaTeX.com \[12a-7b=1\]](https://usercontent.one/wp/www.wiskundemagie.be/wp-content/ql-cache/quicklatex.com-8baf33a08508a86e5e45f66359c9352a_l3.png?media=1678572382)
Dit is een Diophantische vergelijking en omdat de grootste gemene deler van 12 en 7 gelijk is aan 1, heeft deze vergelijking oneindig veel oplossingen. De meest eenvoudige is
en
. Dit geeft ons in één keer ook de mogelijkheid het probleem te veralgemenen. Als we in de opgave werken met bijvoorbeeld
en
, dan klopt het niet meer: de Diophantische vergelijking
heeft immers geen oplossingen omdat de grootste gemene deler van a en b gelijk is aan 3.
