Punti razionali - SNS 1987

[elios]

"Un punto $(x,y)$ del piano cartesiano si dirà razionale se $x$ e $y$ sono numeri razionali.
Data una qualunque circonferenza del piano cartesiano avente centro razionale, si provi che se essa contiene un punto razionale, allora contiene infiniti punti razionali."

L'equazione trigonometrica della circonferenza è
$x=rcosalpha+x_0$
$y=rsenalpha+y_0$
dove $r$ è il raggio e $C(x_0;y_0)$ è il centro della circonferenza. Quindi per ipotesi $x_0$ e $y_0$ sono razionali. Sempre per ipotesi esiste almeno un $alpha$ per cui $x$ e $y$ è razionale.
Credo che la soluzione sia nel dimostrare che esistono infiniti $theta$ che hanno la stessa proprietà di $alpha$. Mi è venuto da pensare che abbiano il seno e il coseno multipli (con costante razionale) di $alpha$..
Grazie dell'aiuto.

[giammaria]

L'idea è buona, ma se per esempio fosse $alpha=45^o$ e $r=sqrt 2$, già l'angolo doppio non va bene ; inoltre non trovi infiniti punti. Suggerirei di modificarla prendendo gli infiniti punti del tipo $alpha+k beta$, dove $beta$ è un angolo con seno e coseno razionale, ad esempio l'$arcsin (3/5)$. Non ho provato a scrivere i calcoli, ma pensando al loro tipo dovrebbe andar bene.

[elios]

Sì dovrebbe andare. Ho provato a usare l'angolo senza moltiplicarlo per la costante $k$ poiché complica il calcolo del seno e coseno. Cioè, sia $alpha$ un angolo tale che $x=rcosalpha$ e $y=rsenalpha$ siano razionali. Prendendo
$theta=alpha+beta$, e $beta=arcsin(p/q)$ con $p$ e $q$ interi tali che $-1<=p/q<=1$, si ha che
$x=rcostheta=rcos(alpha+beta)=r(cosalphacosbeta-senalphasenbeta)=(rcosalpha)*cosbeta-(rsenalpha)*senbeta$
$y=rsentheta=rsen(alpha+beta)=r(senalphacosbeta+cosalphasenbeta)=(rsenalpha)*cosbeta+(rcosalpha)*senbeta$
dove ciò che ho messo fra parentesi è razionale per ipotesi e moltiplica due fattori razionali per la scelta di $beta$.
Angoli così definiti sono infiniti, al variare di $p$ e $q$.

Che ne dici?

[giammaria]

Nel complesso sono d'accordo, però se l'unica limitazione su p, q è quella che hai scritto il coseno potrebbe essere irrazionale. Per questo suggerivo di prendere i multipli di $beta$, che hanno tutti seno e coseno razionale (si pensi alle formule di moltiplicazione); un'altra possibilità è pensare ai "numeri pitagorici" $x=u^2-v^2$; $y=2uv$ ; $z=u^2+v^2$ e poi prendere q=z e p=x oppure p=y.

[elios]

Al fine della dimostrazione, perché comunque non mi è richiesto di trovare gli angoli $beta$, quale strada è meglio percorrere?

[giammaria]

Mi sembra abbastanza indifferente: personalmente preferisco i multipli di perchè si elencano in modo ordinato ma, come giustamente dici, l'elenco non è richiesto. Inoltre la mia scelta non origina tutte le soluzioni possibili, che invece mi pare ci siano pensando alle terne pitagoriche.

[elios]

Una cosa: quali sono le formule di moltiplicazione del seno e del coseno? (con fattore $k$ generico)

[giammaria]

Non ci sono formule generali, tranne $sen(n+1) x=sen(nx+ x)=sen nx cos x+ cos nx sen x$ e analoga per il coseno: questa formula mostra però che partendo da seni e coseni razionali, lo sono anche tutti i risultati. Naturalmente nulla vieta di aiutarsi con altre formule: ad esempio, sapendo le formule di duplicazione e triplicazione e volendo il seno di 5x, posso pensare che è 5x=2x+3x e usare le formule citate.

[Steven]

Restando in tema, se ti va, prova ad affrontare questo quesito (che uscì fuori ad un orale della SNS, se non erro, e in parte a quello mio della Superiore di Ct):

Verifica che l'esistenza di infinite terne pitagoriche implica l'esistenza di infiniti punti razionali sulla circonferenza goniometrica.
Viceversa, l'esistenza di infiniti punti razionali sulla circ- goniometrica usala per provare l'infinità delle terne pitagoriche.

Se poi vuoi trovare altri modi per provare l'infinità della terne pitagoriche, meglio.

[elios]

Penso si utilizzi il fatto che un punto sulla circonferenza goniometrica può essere descritto dalle funzioni goniometriche usando il triangolo rettangolo che si crea dalle proiezioni. Le terne pitagoriche sono i lati di questo triangolo rettangolo, e sono numeri interi. Esse sono le coordinate dei punti sulla circonferenza.
Non riesco a collegare però la circonferenza "goniometrica" e quindi di raggio 1, con le terne pitagoriche i cui valori sono invece maggiori di 1..