OliForum Matematico

Scrivo la retta come $y = mx + q$. Chiaramente $q \neq 0$ sennò passa per l'origine e in particolare $q$ deve essere irrazionale sennò avrei un punto a coordinate razionali sull'asse delle ordinate.
Inserendo le coordinate di $P$ nell'equazione viene $y_P = m \cdot x_P + q$ e dunque anche $m$ deve essere irrazionale essendo $q$ irrazionale sennò avrei razionale = razionale * razionale + irrazionale, chiaramente falso con $q \neq 0$.
Ora faccio una cosa brutta, cioé scrivo $m = a_m + b_m$ e $q = a_q + b_q$ con $a_m, a_q$ razionali e $b_m, b_q \neq 0$ irrazionali. L'equazione col punto $P$ diventa: $y_P = (a_m \cdot x_P + a_q) + (b_m \cdot x_P + b_q)$ e dunque la seconda parentesi deve essere razionale e decido di porla uguale a $0$, da cui $b_q = -b_m \cdot x_P$, mentre pongo la prima uguale a $y_P$ da cui una delle tante soluzioni è $a_q = 0$ e $a_m = \frac{y_P}{x_P}$.

Ora la retta iniziale diventa $y = b_m \cdot (x - x_P) + y_P$ e vedo subito da qui che, essendo $b_m \neq 0$ irrazionale e $x - x_P$ e $y_P$ razionali, l'unico punto a coordinate razionali (entrambe) che soddisfa è proprio $P$, quindi esistono infinite rette del genere ad esempio $y = \sqrt{2} \cdot (x - x_P) + y_P$ o $y = \pi \cdot (x - x_P) + y_P$ ecc.

Oppure basta dire si vede che quando $y = A \cdot (x - x_P) + y_P$ con $A$ irrazionale la retta va bene.

Sia $P(x_p,y_p)$, con $x_p$ e $y_p$ razionali, e $m\in\mathbb{R}\setminus\mathbb{Q}$. Consideriamo la retta $r:\,\, (y-y_p)=m(x-x_p)$. Supponiamo per assurdo che esista $A(x_a,y_a)\in r$ a coordinate razionali. Allora deve valere
$$m=\frac{y_a-y_p}{x_a-x_p}\in\mathbb{Q}$$
Ma ciò è assurdo, perché $m$ è per ipotesi irrazionale. Allora non esiste alcun altro punto su $r$ a coordinate razionali, fatta eccezione per $P$.
Dunque per ogni punto a coordinate razionali è possibile tracciare una retta che soddisfi le condizioni poste. Inoltre, $m$ può assumere infiniti valori irrazionali distinti, poiché esistono infiniti numeri irrazionali, perciò per ogni $P$ a coordinate razionali è possibile tracciare infinite rette del tipo voluto.