Angoli in tdn

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Avatar utente
Gerald Lambeau
Messaggi: 335
Iscritto il: 17 mag 2015, 13:32
Località: provincia di Lucca

Angoli in tdn

Messaggio da Gerald Lambeau » 09 ago 2018, 18:54

Sia $p$ un primo dispari tale che esistono $a, b$ interi positivi con $p=a^2+b^2$. Sia $\theta$ tale che $\displaystyle \cos{\theta}=\frac{a^2-b^2}{p}, \sin{\theta}=\frac{2ab}{p}$.
Dimostrare che $\theta$ non è mai un multiplo razionale di $\pi$.
"If only I could be so grossly incandescent!"

Lance
Messaggi: 14
Iscritto il: 04 apr 2018, 18:46

Re: Angoli in tdn

Messaggio da Lance » 10 ago 2018, 09:22

Potrebbe aver senso considerare la successione $ a_n = p\sin(n\theta) $?

Avatar utente
Gerald Lambeau
Messaggi: 335
Iscritto il: 17 mag 2015, 13:32
Località: provincia di Lucca

Re: Angoli in tdn

Messaggio da Gerald Lambeau » 10 ago 2018, 10:00

Non lo so, io l'ho fatto diversamente, ma se ho ben capito qual è il tuo scopo prova, potrebbe funzionare (forse però intendevi $p^n$ invece che solo $p$?).
"If only I could be so grossly incandescent!"

Lance
Messaggi: 14
Iscritto il: 04 apr 2018, 18:46

Re: Angoli in tdn

Messaggio da Lance » 10 ago 2018, 20:43

mi viene $ a_{n+2} = 2(a^2-b^2)a_{n+1}-p^2a_n $ la ricorrenza.. però non so se si riesce a concludere in questo modo..

Avatar utente
Gerald Lambeau
Messaggi: 335
Iscritto il: 17 mag 2015, 13:32
Località: provincia di Lucca

Re: Angoli in tdn

Messaggio da Gerald Lambeau » 11 ago 2018, 09:21

Vediamo che si può dire: il problema da cui ho generalizzato effettivamente prima ti dava la ricorrenza da verificare e solo dopo ti chiedeva di dimostrare questo (attraverso una domanda indiretta); questo mi porterebbe a non dare troppa fiducia alla ricorrenza, se non fosse che quella del testo era con il coseno, forse proprio per deviare l'attenzione dal seno.. effettivamente la mia soluzione non penso proprio sia quella che voleva chi ha proposto il problema, e anzi forse guardare al seno penso sia la cosa migliore.
TL; DR: che condizione deve soddisfare il seno affinché la tesi sia falsa? Provo anch'io perché onestamente non so cosa succede dopo.
"If only I could be so grossly incandescent!"

Avatar utente
Gerald Lambeau
Messaggi: 335
Iscritto il: 17 mag 2015, 13:32
Località: provincia di Lucca

Re: Angoli in tdn

Messaggio da Gerald Lambeau » 11 ago 2018, 10:45

Ok, ho ottenuto un magico $\sin{n\theta}=\pm \sin{2\theta}$ che purtroppo non aiuta.
Il problema è che l'ho ottenuto dopo un po' di conti trigonometrici, quindi ci sta che facendoli in un altro modo si ottenga di meglio.
"If only I could be so grossly incandescent!"

Avatar utente
Drago96
Messaggi: 1136
Iscritto il: 14 mar 2011, 16:57
Località: Provincia di Torino
Contatta:

Re: Angoli in tdn

Messaggio da Drago96 » 13 ago 2018, 13:17

C'è un modo carino per cui il problema è stato costruito, ma anche il truccone
Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world, stimulating progress, giving birth to evolution (A. Einstein)

Avatar utente
Gerald Lambeau
Messaggi: 335
Iscritto il: 17 mag 2015, 13:32
Località: provincia di Lucca

Re: Angoli in tdn

Messaggio da Gerald Lambeau » 13 ago 2018, 16:29

Carino il truccone! :D
Il massimo che sono riuscito a dimostrare con l'altro metodo è che gli unici multipli razionali di $\pi$ con sia il seno che coseno razionali sono i multipli interi di $\dfrac{\pi}{2}$.
"If only I could be so grossly incandescent!"

Avatar utente
Gerald Lambeau
Messaggi: 335
Iscritto il: 17 mag 2015, 13:32
Località: provincia di Lucca

Re: Angoli in tdn

Messaggio da Gerald Lambeau » 16 ago 2018, 18:21

Lance ha scritto:
10 ago 2018, 20:43
mi viene $ a_{n+2} = 2(a^2-b^2)a_{n+1}-p^2a_n $ la ricorrenza.. però non so se si riesce a concludere in questo modo..
Ho trovato un modo per chiudere la tua via: dimostra che $a_n \equiv 0 \pmod{p}$ se e solo se $n=0$ e deducine che $\sin{n \theta}$ non è mai $0$ per $n \ge 1$, quindi...
"If only I could be so grossly incandescent!"

Lance
Messaggi: 14
Iscritto il: 04 apr 2018, 18:46

Re: Angoli in tdn

Messaggio da Lance » 17 ago 2018, 18:42

che a_n non sia mai congruente a 0 mod p si verifica facilmente per induzione (p non divide né 2ab né 2(a^2-b^2)). Detto questo, se fosse $ \theta = \frac{m\pi}{n} $ avremmo $ a_n = p^n sin(m\pi) = 0 $, assurdo. :D

Rispondi