parmenides51 έγραψε:4. Έστω

τέτοιο ώστε:
i) Αν

τότε

ii)

και

Να αποδειχτεί ότι :
Kαι εύκολα επαγωγικά, δείχνουμε ότι
![\displaystyle{\sqrt[2^n]{2}\in A} \displaystyle{\sqrt[2^n]{2}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/a8be09758619c620ec461d6fe0d31350.png)
, (ΣΧΕΣΗ *), για κάθε
Επίσης, βλέπουμε ότι αν
![\displaystyle{\sqrt[2^n]{m}\in A \Rightarrow \sqrt{\sqrt[2^n]{m}.\sqrt[2^n]{m}}\in A \Rightarrow \sqrt[2^{n+1}]{m^2}\in A} \displaystyle{\sqrt[2^n]{m}\in A \Rightarrow \sqrt{\sqrt[2^n]{m}.\sqrt[2^n]{m}}\in A \Rightarrow \sqrt[2^{n+1}]{m^2}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/5b025f2bbfa63040a535e37d4af859a0.png)
, (ΣΧΕΣΗ **), όπου
Θέτουμε τώρα στην σχέση (*)

. Tότε έχουμε
![\displaystyle{\sqrt[1437]{2}\in A} \displaystyle{\sqrt[1437]{2}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/baab137137e522771cf3b27c3309a4f5.png)
. Oπότε από την σχέση (**), έχουμε:
![\displaystyle{\sqrt[2^{1438}]{2^2}\in A } \displaystyle{\sqrt[2^{1438}]{2^2}\in A }](/forum/ext/geomar/texintegr/latexrender/pictures/591157845648530acee8ebc4cfd8dd0a.png)
και εκ νέου από την (**) έχουμε
και πάλι από την (**) συνεχίζοντας ομοίως, τελικά έχουμε:
![\displaystyle{\sqrt[2^{1447}]{2^{1024}}\in A} \displaystyle{\sqrt[2^{1447}]{2^{1024}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/b4935965c03f5c0c4b9b90e138c6b4a5.png)
, (1)
Για

, η σχέση (*) δίνει
![\displaystyle{\sqrt[2^{1438}]{2}\in A} \displaystyle{\sqrt[2^{1438}]{2}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/7811b2f5f2237090679399aaf4b21d76.png)
και με βάση την (**), όπως και προηγουμένως, διαδοχικά θα πάρουμε ότι
![\displaystyle{\sqrt[2^{1447}]{2^{512}}\in A} \displaystyle{\sqrt[2^{1447}]{2^{512}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/11d217dfffe5666a1d391e7676426da9.png)
, (2)
Aπό τις (1) και (2) έχουμε ότι:
![\displaystyle{\sqrt{\sqrt[2^{1447}]{2^{1024}}.\sqrt[2^{1447}]{2^{512}}\in A} \displaystyle{\sqrt{\sqrt[2^{1447}]{2^{1024}}.\sqrt[2^{1447}]{2^{512}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/114129b5e5907803dfb4a65922436e67.png)
. Δηλαδή:
![\displaystyle{\sqrt[2^{1448}]{2^{1536}}\in A} \displaystyle{\sqrt[2^{1448}]{2^{1536}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/47a624afff6d770596ee5b3c5f875364.png)
, (3)
Συνεχίζοντας, θέτουμε στην (*),

και εργαζόμενοι με τα ίδια όπως πριν βήματα, βρίσκουμε ότι :
![\displaystyle{\sqrt[2^{1448}]{2^{256}}\in A} \displaystyle{\sqrt[2^{1448}]{2^{256}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/2f0c5f45705b3c1fe4aabb0ee9b90729.png)
, (4)
Από τις σχέσεις (3) , (4) παίρνουμε:
![\displaystyle{\sqrt[2^{1449}]{2^{1792}}\in A} \displaystyle{\sqrt[2^{1449}]{2^{1792}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/aebdfce101e4a5da26cf0742d463c234.png)
, (5)
Θέτουμε στην (*) ,

, οπότε βρίσκουμε ότι
![\displaystyle{\sqrt[2^{1449}]{2^{16}}\in A} \displaystyle{\sqrt[2^{1449}]{2^{16}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/775d4d0ab3d41a49dd69c227ad400292.png)
, (6)
Aπό (5) , (6) έχουμε:
![\displaystyle{\sqrt[2^{1450}]{2^{1808}}\in A} \displaystyle{\sqrt[2^{1450}]{2^{1808}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/f0f58a6a1ffec346afdf6c214571a5a4.png)
, (7)
Θέτουμε στην (*) ,

. Tότε βρίσκουμε
![\displaystyle{\sqrt[2^{1450}]{2^8}\in A} \displaystyle{\sqrt[2^{1450}]{2^8}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/c3477781827affd4dee69d0af5765f21.png)
, (8)
Από (7) , (8) έχουμε:
![\displaystyle{\sqrt[2^{1451}]{2^{1816}}\in A} \displaystyle{\sqrt[2^{1451}]{2^{1816}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/a989c9cf30db5f111c9cd1c9a374f5b5.png)
,(9)
Θέτουμε στην (*) ,

. Τότε βρίσκουμε
![\displaystyle{\sqrt[2^{1451}]{2^4}\in A} \displaystyle{\sqrt[2^{1451}]{2^4}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/a575379886d2f113820338e3b4059abc.png)
, (10)
Από (9),(10) έχουμε:
![\displaystyle{\sqrt[2^{1452}]{2^{1820}}\in A} \displaystyle{\sqrt[2^{1452}]{2^{1820}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/7e3432b625f29c4c612b58b97b688a5d.png)
, (11)
Tέλος, θέτουμε στην (*) ,

. Τότε
![\displaystyle{\sqrt[2^{1452}]{2}\in A} \displaystyle{\sqrt[2^{1452}]{2}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/df66f372e2260c2a5faf6ca21bb475bc.png)
, (12)
Από (11) , (12) βρίσκουμε:
![\displaystyle{\sqrt[2^{1453}]{2^{1821}}\in A} \displaystyle{\sqrt[2^{1453}]{2^{1821}}\in A}](/forum/ext/geomar/texintegr/latexrender/pictures/19d8da97c72bcec1929f03be6abbc7aa.png)
, όπως θέλαμε.
ΣΗΜ: Δεν μπόρεσα να σκεφτώ ευκολώτερη λύση. Αν κάποιος καταφέρει κάτι πιο απλό, ας το δημοσιεύσει