讯息： 10
语言: Esperanto
Seth442 (显示个人资料) 2010年7月15日上午4:47:32
Jen, mi pruvos tion, ke la dua radiko de du estas neracionalo.
Pruvi tion, mi uzos la metodon de kontraŭdiro.
Mi nomos la duan radikon de du x.
Supozu ke x estas racionalo kaj skribu x = n/m en kiu n kaj m estas interprimaj.
Rimarku tion, ke x^2 = (n/m)^2 = n^2/m^2 = 2 do n^2 = 2m^2.
Pro tio, n^2 devas esti para. Do ankaŭ n devas esti para, ĉar se n ne estus para, n^2 estus malpara ĉar la produto de du malparaj nombroj estas malpara.
Pro tio, ke n estas para, skribu n = 2k en kiu k estas entjero.
Rimarku tion, ke (2k)^2 = 2m^2 do 2k^2 = m^2 do m^2 estas para. Per la antaŭa razonado, m estas para.
Sekve ni scias ke n kaj m estas paraj, sed tio kontraŭdiras la fakton ke n kaj m estas interprimaj.
Do, per ĉi tiu kontraŭdiro, la dua radiko de du estas neracionalo.
QED
Sxak (显示个人资料) 2010年7月15日下午3:40:44
Seth442:tio nomiĝas "pruvo per absurdo"
Pruvi tion, mi uzos la metodon de kontraŭdiro.
Kaj kelkajn lokojn en via teksto mi skribus alie.
Sed pruvo de tiu fakto estis konata al la antikvaj grekoj. Vi prefere trovu, kiom da primoj a1 a2 a3... an (ĉiu el kiuj estas pli ol 1) devas esti, por ke
sqrt(a1)+sqrt(a2)+sqrt(a3)+...+sqrt(an) estu racionala
darkweasel (显示个人资料) 2010年7月22日下午10:47:23
Ŝak:sqrt(a1)+sqrt(a2)+sqrt(a3)+...+sqrt(an)Ĉu ne eble en Esperanto kvrd (por kvadratradiko) estus pli taŭga mallongigo?
Cetere:
Pruvi tion, mi uzos la metodon de kontraŭdiro.devas esti: Por pruvi tion .... Pri tio anglalingvanoj eble iom dubas, sed ĉiam, kiam en la angla la senco restus sama, se oni aldonus in order antaŭ to, oni uzu por en Esperanto.
(Mi malmulte scias pri matematiko, do mi ne povas kontroli la fakan ĝustecon de via por mi multe tro komplika teksto.)
Miland (显示个人资料) 2010年7月23日下午4:31:46
Seth442:Mi estas lernanta Esperanton kaj mi studas matematikon, sekve mi skribis ĉi tiun matematikan pruvon en Esperanto, kiun mi nun eldonas..Bone farita! Jen sugestita korektita versio. Efektive ne necesis fari multajn korektojn:
Jen, mi pruvos tion, ke la dua radiko de du estas neracionala.
Por pruvi tion, mi uzos la metodon de kontraŭdiro.
Mi nomos la duan radikon de du x.
Supozu ke x estas racionala kaj skribu x = n/m, en kiu n kaj m ne havas komunan faktoron.
Rimarku tion, ke x^2 = (n/m)^2 = n^2/m^2 = 2, do n^2 = 2m^2.
Pro tio, n^2 devas esti para. Do ankaŭ n devas esti para, ĉar se n ne estus para, n^2 estus malpara ĉar la produto de du malparaj nombroj estas malpara.
Pro tio, ke n estas para, skribu n = 2k en kiu k estas entjero.
Rimarku tion, ke (2k)^2 = 2m^2, do 2k^2 = m^2, do m^2 estas para. Per la antaŭa rezonado, m estas para.
Sekve ni scias ke n kaj m estas paraj, kaj do havas komunan faktoron 2, sed tio kontraŭdiras tion, ke n kaj m ne havas komunan faktoron.
Do nia supozo estas nevera, kaj la dua radiko de du estas neracionala.
QED
superadamuso (显示个人资料) 2010年8月28日下午8:45:36
o
-----------------------------------o------
o
-----------------------------o------------
o
-----------------------o------------------
o
o
o
-----------o------------------------------
o
-----o------------------------------------
o
do na re bo mi fa ge so zi la ve to do
c c+ d d+ e f f+ g g+ a a+ h c
1 2 3 4 5 6 7 8 9 10 11 12 1
Kio vi pensas pri tio ?
Genjix (显示个人资料) 2010年8月29日上午3:59:12
darkweasel:Ne uzu tion! La matematika lingvo estas kaj internacia kaj komprenebla. kvrdŜak:sqrt(a1)+sqrt(a2)+sqrt(a3)+...+sqrt(an)Ĉu ne eble en Esperanto kvrd (por kvadratradiko) estus pli taŭga mallongigo?
n^2/m^2 = 2
Mi ne komprenas ke kial tio estas
http://en.wikipedia.org/wiki/Interprime
Do,
x ∈ ℝ
kiu x estas iu ajn numero, ĉu ne?
ol,
tial x = n/m
kiam kaj n kaj m estas interprima?
maratonisto (显示个人资料) 2010年8月29日上午7:30:20
superadamuso:Bonvolu skribi al mi ĉu vi konas simpla nova muzikskribon ? Jen mia propono:Mi ne komprenas tiun sistemon. Bonvolu klarigi.
o
-----------------------------------o------
o
-----------------------------o------------
o
-----------------------o------------------
o
o
o
-----------o------------------------------
o
-----o------------------------------------
o
do na re bo mi fa ge so zi la ve to do
c c+ d d+ e f f+ g g+ a a+ h c
1 2 3 4 5 6 7 8 9 10 11 12 1
Kio vi pensas pri tio ?
horsto (显示个人资料) 2010年8月29日下午12:04:29
Genjix:Estas tiu speco de pruvo: Oni supozas ion (ke x=sqrt(2) estas racionalo) kaj tiam montras ke tio ne estas ebla. Tiam oni scias ke la supozo (sqrt(2) estas racionalo) estas malĝusta.
n^2/m^2 = 2
Mi ne komprenas ke kial tio estas
Ĉar sqrt(2) estas racionalo (laŭ la supozo) ekzistas naturaj nombroj m,n tiel, ke x=m/n
Ĉar: sqrt(2)=x=m/n sekvas 2=m^2/n^2
(ankoraŭ komencanto).