$x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
$x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
[Esercizio strano]
Mostrare che esistono due irrazionali x,y tali che $x^y$ è razionale.
Mostrare che esistono due irrazionali x,y tali che $x^y$ è razionale.
The only goal of science is the honor of the human spirit.
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Una mia curiosità e ignoranza, ma come si calcola $x^y$ se y è irrazionale?
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Puoi ragionare in questo modo: consideri due successioni $\{a_n\}$ e $\{b_n\}$ con $a_n$ e $b_n$ razionali, la prima limitata superiormente da $y$ e crescente, la seconda limitata inferiormente da $y$ e decrescente (cioè due successioni che approssimano razionalmente $y$ per difetto e per eccesso); vale dunque che $x^{a_n}<x^y<x^{b_n}$ (se $x>1$) o $x^{b_n}<x^y<x^{a_n}$ (se $0<x<1$) e in questo modo hai una coppia di classi contigue di reali (quelle formate dalle $x^{a_n}$ e dalle $x^{b_n}$, che sai calcolare) il cui elemento separatore è $x^y$.matpro98 ha scritto: come si calcola $x^y$ se y è irrazionale?
[math]
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Una mia curiosità è invece: come si dimostra che $ 2^{\sqrt{2}} $ è irrazionale?
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
In effetti forse per scrupolo si può prendere $\left(\sqrt{2}^{\sqrt{2}}\right)^{\sqrt{2}}$, così pure se non dovesse esserlo...
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Come dimostri che $\sqrt{2}^{\sqrt{2}}$ è irrazionale?xXStephXx ha scritto:In effetti forse per scrupolo si può prendere $\left(\sqrt{2}^{\sqrt{2}}\right)^{\sqrt{2}}$, così pure se non dovesse esserlo...
Mi pare che esista un teorema che dica che ${2}^{\sqrt{2}}$ e $\sqrt{2}^{\sqrt{2}}$ sono trascendenti...
[math]
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
http://en.wikipedia.org/wiki/Gelfond%E2 ... er_theorem
http://en.wikipedia.org/wiki/Gelfond%E2 ... r_constant
https://www.youtube.com/watch?v=Die_IuRjviA
Teorema famoso collegato ai 23 problemi di Hilbert
http://en.wikipedia.org/wiki/Gelfond%E2 ... r_constant
https://www.youtube.com/watch?v=Die_IuRjviA
Teorema famoso collegato ai 23 problemi di Hilbert
Ultima modifica di gpzes il 23 apr 2015, 20:51, modificato 1 volta in totale.
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Non lo dimostroNemo ha scritto:Come dimostri che $\sqrt{2}^{\sqrt{2}}$ è irrazionale?
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Ci ha pensato già Gelfond a questo per fortunaxXStephXx ha scritto:Non lo dimostroNemo ha scritto:Come dimostri che $\sqrt{2}^{\sqrt{2}}$ è irrazionale?
In geometria tutto con Pitagora, in Algebra tutto con Tartaglia
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
xXStephXx ha scritto:Non lo dimostroNemo ha scritto:Come dimostri che $\sqrt{2}^{\sqrt{2}}$ è irrazionale?
- Troleito br00tal
- Messaggi: 683
- Iscritto il: 16 mag 2012, 22:25
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Una dimostrazione diversa: dimostriamo che esistono due numeri irrazionali tali che $x^y=2$. Consideriamo la funzione $y=\log_2 x$, e supponiamo che per ogni $x$ irrazionale $y$ sia razionale. Questa funzione è evidentemente invertibile, perciò la cardinalità del codominio è al più la cardinalità del dominio (proprio per definizione). Ma questo è assurdo perché la cardinalità di $\mathbb{R} / \mathbb{Q}$ è proprio $|\mathbb{R}|$, che è più di $|\mathbb{Q}|$ (questo fatto non è banale se non lo si è mai visto, comunque non ho voglia di dimostrarlo).
(Con cardinalità di più o di meno intendo: se la cardinalità di $A$ è minore della cardinalità di $B$ allora esiste una funzione da $B$ ad $A$.).
(Con cardinalità di più o di meno intendo: se la cardinalità di $A$ è minore della cardinalità di $B$ allora esiste una funzione da $B$ ad $A$.).
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
Sono l'unico che legge da giorni [math]
The only goal of science is the honor of the human spirit.
Re: $x,y \notin \mathbf{Q}$ e $x^y \in \mathbf{Q}$
gpzes ha scritto:https://www.youtube.com/watch?v=Die_IuRjviA
Esattamente: almeno uno tra $\sqrt{2}^{\sqrt{2}}$ e $\left({\sqrt{2}}^{\sqrt{2}}\right)^{\sqrt{2}}$ deve essere razionale
The only goal of science is the honor of the human spirit.