Mavzu: Irratsional va trassendent sonlar. Reja: Irratsional sonlar tarixi

Haqiqiy sonning butun va kasr qismi. a sonining butun qismi deb, a dan katta bo'lmagan butun sonlarning eng kattasiga aytiladi va [a] yoki E (a) orqali belgilanadi.
O'qilishi: «a ning butun qismi2» yoki 2 «antye α» (fransuzcha entiere — butun).

Sonning butun qismi quyidagi xossalarga ega:
1-xossa. a, b є Z bo'lganda, [a + b] = [a] + [b] bo'ladi.
2- x o s s a. a, b є R bo'lganda, [a + b] ≥ [a] + [b] bo'­ladi. [9+ 10]-[9]+ [10]-19; [9,8]+ [9,9] = 9 + 9 = 18. [9,8 + 9,9] = [19,7] - 19. 18 < 19.
a - [a] ayirma a sonining kasr qismi deyiladi va {a} orqali belgilanadi: {a}=a-[a]>0, 0<{a}a=[a]+{a}.
2- m iso 1.
3-misol. Agar [a] = [b] bo'lsa, -1bo'lishini isbot qilamiz.
I sbot. α = [α] + {α} va b = [b] + {b} bo'lganidan a-b = ([a] + {a})-([b] + {b}) = ([a]-[b]} + ({a} - {b}) = = {α}-{b}. Lekin 0≤{α}≤{b}Shunga ko'ra (va qarama-qarshi ma'nodagi tengsizlik-larni hadlab ayirish mumkinligiga asoslansak):
0≤{α}{b}≥O, -1≤{a}-{b}<1.
4- m i s o 1. Agar a soni butun va nomanfiy bo'lsa, [na]≥ n[a] bo'lishini isbotlang.
Isbot. [na] = [n([a] + {a})] = n[a] + n{a}, bunda n{a}≥0.
Demak, [na]≥ n[a].
Irratsional sonlarning tasnifi
Irratsional sonlar ikki guruhga bo'linadi:
-Algebraik
-Transandantal yoki transandantal
Algebraik sonlar
Irratsional bo'lishi mumkin yoki bo'lmasligi mumkin bo'lgan algebraik sonlar umumiy shakli quyidagicha bo'lgan polinom tenglamalarining echimlari:
ga_n xⁿ + a_n-1x^n-1 + a_n-2x^n-2 +…. + a₁x + a_yoki = 0
Polinom tenglamasining misoli quyidagicha kvadrat tenglama:
x³ - 2x = 0
√2 irratsional soni bu tenglamaning echimlaridan biri ekanligini ko'rsatish oson.