$p \neq 2^x-3^y$

[jordan]

a) Mostrare che esistono infiniti primi $p$ tali che $p \neq 2^x-3^y$ per qualunque scelta di interi $x,y \ge 0$. Se necessario, potete dare per buono il Teorema di Dirichlet..

b) Mostrare con metodi elementari che esistono infiniti primi $p$ tali che $p \neq 3^x-2^y$ per qualunque scelta di interi $x,y$.

[Gulliver]

A parte 4-1=3, quei numeri sono sempre -3 o -1 modulo 8( per x>2, $2^x \equiv 0 \pmod 8$ e $3^y \equiv 1 \pmod 8$ o $3^y \equiv 3 \pmod 8$). Quindi se fossero definitivamente coincidenti con l'insieme dei primi, ciò sarebbe in contrasto col teorema di Dirichlet applicato sia ad 1 che a 3(anzi basta applicarlo ad 1, così la soluzione è elementare, in quanto serve solo l'argomento con i polinomi ciclotomici).

[<enigma>]

A proposito di cannoni: è una facile conseguenza di questo. Anzi, il teorema di Baker dimostra la tesi non solo per i numeri primi ma per qualsiasi sequenza con densità $\gg x^{1-\tau}$ per qualche costante assoluta $\tau>0$ fornita dal teorema (che non saprei ricavare, qualcuno esperto in teoria computazionale della trascendenza ha voglia?).

[jordan]

A parte 4-1=3, quei numeri sono sempre -3 o -1 modulo 8

No, non c'è il vincolo $x \ge 3$..

@enigma: sì, esatto.

[<enigma>]

In effetti è talmente buono che si può prendere $\tau=1-(5,87 \cdot 10^8)^{-1}$... helluva good shit bro

[Gulliver]

A parte 4-1=3, quei numeri sono sempre -3 o -1 modulo 8

No, non c'è il vincolo $x \ge 3$..

Non ho capito. Per x=2, x=1, x=0, c'è un numero finito di primi positivi che è di quella forma. Da lì in poi vale quello che ho detto. Non ho mai detto che c'è quel vincolo e dimmi più esplicitamente cosa secondo te non va.

[jordan]

Hai ragione, scusa. Aggiungo la seconda parte dell'esercizio.