Ichki radikal - Nested radical

Yilda algebra, a ichki radikal a radikal ifoda (kvadrat ildiz belgisi, kub ildiz belgisi va boshqalarni o'z ichiga olgan), boshqa radikal ifodani o'z ichiga olgan (uyalar). Bunga misollar kiradi

${ displaystyle { sqrt {5-2 { sqrt {5}} }},}$

muhokama qilishda paydo bo'lgan muntazam beshburchak va shunga o'xshash yanada murakkab bo'lganlar

${ displaystyle { sqrt [{3}] {2 + { sqrt {3}} + { sqrt [{3}] {4}} }}.}$

Denesting

Ba'zi ichki radikallarni ichki bo'lmagan shaklda qayta yozish mumkin. Masalan,

${ displaystyle { sqrt {3 + 2 { sqrt {2}}}} = 1 + { sqrt {2}} ,,}$

${ displaystyle { sqrt {5 + 2 { sqrt {6}}}} = { sqrt {2}} + { sqrt {3}},}$

${ displaystyle { sqrt [{3}] {{ sqrt [{3}] {2}} - 1}} = { frac {1 - { sqrt [{3}] {2}} + { sqrt [{3}] {4}}} { sqrt [{3}] {9}}} ,.}$

Ichki radikalni shu tarzda qayta yozish deyiladi rad qilish. Bu har doim ham mumkin emas va hatto mumkin bo'lsa ham, ko'pincha qiyin bo'ladi.

Ikkita ichki kvadrat ildiz

Ikkala ichki kvadratga nisbatan quyidagi teorema denestatsiya masalasini to'liq hal qiladi.^[1]

Agar a va v bor ratsional sonlar va v ratsional sonning kvadrati emas, ikkita ratsional son mavjud x va y shu kabi

${ displaystyle { sqrt {a + { sqrt {c}}}} = { sqrt {x}} pm { sqrt {y}}}$

agar va faqat agar ${ displaystyle a ^ {2} -c ~}$ ratsional sonning kvadrati d.

Agar ichki radikal haqiqiy bo'lsa, x va y bu ikkita raqam

${ displaystyle { frac {a + d} {2}} ~}$ va ${ displaystyle ~ { frac {a-d} {2}} ~, ~}$ qayerda ${ displaystyle ~ d = { sqrt {a ^ {2} -c}} ~}$ ratsional son.

Xususan, agar a va v tamsayılar, keyin 2x va 2y butun sonlar.

Ushbu natija shaklning denestatsiyasini o'z ichiga oladi

${ displaystyle { sqrt {a + { sqrt {c}}}} = z pm { sqrt {y}} ~,}$

kabi z har doim yozilishi mumkin ${ displaystyle z = pm { sqrt {z ^ {2}}},}$ va shartlarning kamida bittasi ijobiy bo'lishi kerak (chunki tenglamaning chap tomoni ijobiy).

Denesting umumiy formulasi shaklga ega bo'lishi mumkin

${ displaystyle { sqrt {a + { sqrt {c}}}} = alfa + beta { sqrt {x}} + gamma { sqrt {y}} + delta { sqrt {x}} { sqrt {y}} ~.}$

Biroq, Galua nazariyasi chap tomon ham tegishli ekanligini anglatadi ${ displaystyle mathbb {Q} ({ sqrt {c}}),}$ yoki ikkalasining belgisini o'zgartirish orqali olish kerak ${ displaystyle { sqrt {x}},}$ ${ displaystyle { sqrt {y}},}$ yoki ikkalasi ham. Birinchi holda, bu kishi olishi mumkinligini anglatadi x = v va ${ displaystyle gamma = delta = 0.}$ Ikkinchi holda, ${ displaystyle alpha}$ va boshqa koeffitsient nolga teng bo'lishi kerak. Agar ${ displaystyle beta = 0,}$ nomini o'zgartirishi mumkin xy kabi x olish uchun ${ displaystyle delta = 0.}$ Agar shunday bo'lsa, xuddi shunday davom eting ${ displaystyle alpha = 0,}$ bu taxmin qilish mumkin bo'lgan natijalar ${ displaystyle alpha = delta = 0.}$ Bu shuni ko'rsatadiki, umuman umumiy denestatsiya har doim yuqoridagi holatga keltirilishi mumkin.

Isbot: Tenglama

${ displaystyle { sqrt {a + { sqrt {c}}}} = { sqrt {x}} pm { sqrt {y}}}$

bilan teng

${ displaystyle a + { sqrt {c}} = x + y pm 2 { sqrt {xy}},}$

va o'ng tomonda minus bo'lsa,

|x| ≥ |y|,

(kvadrat ildizlar notatsiya ta'rifi bo'yicha manfiy emas). Tengsizlikni har doim, ehtimol, almashtirish orqali qondirish mumkin x va y, birinchi tenglamani echish x va y echish bilan tengdir

${ displaystyle a + { sqrt {c}} = x + y pm 2 { sqrt {xy}}.}$

Bu tenglik shuni anglatadi ${ displaystyle { sqrt {xy}}}$ ga tegishli kvadratik maydon ${ displaystyle mathbb {Q} ({ sqrt {c}}).}$ Ushbu sohada har bir element noyob tarzda yozilgan bo'lishi mumkin ${ displaystyle alpha + beta { sqrt {c}},}$ bilan ${ displaystyle alpha}$ va ${ displaystyle beta}$ ratsional sonlar bo'lish. Bu shuni anglatadiki ${ displaystyle pm 2 { sqrt {xy}}}$ oqilona emas (aks holda tenglamaning o'ng tomoni oqilona bo'lar edi, lekin chap tomoni mantiqsiz). Sifatida x va y kvadrat oqilona bo'lishi kerak ${ displaystyle pm 2 { sqrt {xy}}}$ oqilona bo'lishi kerak. Bu shuni anglatadiki ${ displaystyle alpha = 0}$ ning ifodasida ${ displaystyle pm 2 { sqrt {xy}}}$ kabi ${ displaystyle alpha + beta { sqrt {c}}.}$ Shunday qilib

${ displaystyle a + { sqrt {c}} = x + y + beta { sqrt {c}}}$

ba'zi bir oqilona raqamlar uchun ${ displaystyle beta.}$Parchalanishning o'ziga xosligi tugadi 1 va ${ displaystyle { sqrt {c}}}$ shuning uchun ko'rib chiqilgan tenglama bilan teng ekanligini anglatadi

${ displaystyle a = x + y quad { text {and}} quad pm 2 { sqrt {xy}} = { sqrt {c}}.}$

Bu quyidagicha Vetnam formulalari bu x va y ning ildizi bo'lishi kerak kvadrat tenglama

${ displaystyle z ^ {2} -az + { frac {c} {4}} = 0 ~;}$

uning ${ displaystyle ~ Delta = a ^ {2} -c = d ^ {2}> 0 ~}$ (≠ 0, aks holda v ning kvadrati bo'lar edi a), shuning uchun x va y bo'lishi kerak

${ displaystyle { frac {a + { sqrt {a ^ {2} -c}}} {2}} ~}$ va ${ displaystyle ~ { frac {a - { sqrt {a ^ {2} -c}}} {2}} ~.}$

Shunday qilib x va y agar shunday bo'lsa va faqat shunday bo'lsa, oqilona ${ displaystyle d = { sqrt {a ^ {2} -c}} ~}$ ratsional son.

Turli xil belgilarni aniq tanlash uchun faqat ijobiy haqiqiy kvadrat ildizlarni hisobga olish va shu bilan faraz qilish kerak v > 0. Tenglama ${ displaystyle a ^ {2} = c + d ^ {2}}$ buni ko'rsatadi |a| > √v. Shunday qilib, agar ichki radikal haqiqiy bo'lsa va agar rad etish mumkin bo'lsa, unda a > 0. Keyin, echim yozadi

${ displaystyle { begin {aligned} { sqrt {a + { sqrt {c}}}} & = { sqrt { tfrac {a + d} {2}}} + { sqrt { tfrac {ad } {2}}}, { sqrt {a - { sqrt {c}}}} & = { sqrt { tfrac {a + d} {2}}} - { sqrt { tfrac { ad} {2}}}. end {hizalangan}}}$

Ramanujanning ba'zi o'ziga xosliklari

Srinivasa Ramanujan ichki radikallarni o'z ichiga olgan bir qator qiziquvchan shaxslarni namoyish etdi. Ular orasida quyidagilar mavjud:^[2]

${ displaystyle { sqrt [{4}] { frac {3 + 2 { sqrt [{4}] {5}}} {3-2 { sqrt [{4}] {5}}}}} = { frac {{ sqrt [{4}] {5}} + 1} {{ sqrt [{4}] {5}} - 1}} = { tfrac {1} {2}} chap (3 + { sqrt [{4}] {5}} + { sqrt {5}} + { sqrt [{4}] {125}} o'ng),}$

${ displaystyle { sqrt {{ sqrt [{3}] {28}} - { sqrt [{3}] {27}}}} = { tfrac {1} {3}} chap ({ sqrt [{3}] {98}} - { sqrt [{3}] {28}} - 1 o'ng),}$

${ displaystyle { sqrt [{3}] {{ sqrt [{5}] { frac {32} {5}}} - { sqrt [{5}] { frac {27} {5}} }}} = { sqrt [{5}] { frac {1} {25}}} + { sqrt [{5}] { frac {3} {25}}} - { sqrt [{5 }] { frac {9} {25}}},}$

${ displaystyle { sqrt [{3}] { { sqrt [{3}] {2}} -1}} = { sqrt [{3}] { frac {1} {9}}} - { sqrt [{3}] { frac {2} {9}}} + { sqrt [{3}] { frac {4} {9}}}.}$ ^[3]

Ramanujan tomonidan ilhomlangan boshqa g'alati radikallarga quyidagilar kiradi:

${ displaystyle { sqrt [{4}] {49 + 20 { sqrt {6}}}} + { sqrt [{4}] {49-20 { sqrt {6}}}} = 2 { sqrt {3}},}$

${ displaystyle { sqrt [{3}] { chap ({ sqrt {2}} + { sqrt {3}} o'ng) chap (5 - { sqrt {6}} o'ng) +3 chap (2 { sqrt {3}} + 3 { sqrt {2}} o'ng)}} = { sqrt {10 - { frac {13-5 { sqrt {6}}} {5+ { sqrt {6}}}}}}.}$

Landau algoritmi

Ushbu bo'lim kengayishga muhtoj. Siz yordam berishingiz mumkin unga qo'shilish. (2015 yil fevral)

1989 yilda Syuzan Landau birinchisini taqdim etdi algoritm qaysi ichki radikallarni rad etish mumkinligi to'g'risida qaror qabul qilish uchun.^[4] Ilgari algoritmlar ba'zi holatlarda ishlagan, ammo boshqalarda emas.

Trigonometriyada

Yilda trigonometriya, sinuslar va kosinuslar ko'plab burchaklarni ichki radikallar bilan ifodalash mumkin. Masalan,

${ displaystyle sin { frac { pi} {60}} = sin 3 ^ { circ} = { frac {1} {16}} chap [2 (1 - { sqrt {3}} ) { sqrt {5 + { sqrt {5}}}} + { sqrt {2}} ({ sqrt {5}} - 1) ({ sqrt {3}} + 1) o'ng]}$

va

${ displaystyle sin { frac { pi} {24}} = sin 7.5 ^ { circ} = { frac {1} {2}} { sqrt {2 - { sqrt {2 + { sqrt {3}}}}}} = { frac {1} {2}} { sqrt {2 - { frac {1 + { sqrt {3}}} { sqrt {2}}}}} .}$

Oxirgi tenglik to'g'ridan-to'g'ri natijalaridan kelib chiqadi § Ikkala ichki kvadrat kvadrat.

Kub tenglamasining echimida

Ichki radikallar paydo bo'ladi algebraik eritma ning kub tenglama. Har qanday kub tenglamani soddalashtirilgan shaklda kvadratik atamasiz yozish mumkin, kabi

${ displaystyle x ^ {3} + px + q = 0,}$

uning ildizlaridan biri uchun umumiy echimi

${ displaystyle x = { sqrt [{3}] {- {q over 2} + { sqrt {{q ^ {2} over 4} + {p ^ {3} over over 27}}}} } + { sqrt [{3}] {- {q 2} dan yuqori - { sqrt {{q ^ {2} 4} gacha + {p ^ {3} 27}}}}}}.}$

Kub faqat bitta haqiqiy ildizga ega bo'lgan holda, haqiqiy ildiz ushbu ifoda bilan radikandlar kub ildizlari haqiqiy va kub ildizlari haqiqiy kub ildizlari. Uchta haqiqiy ildiz holatida kvadrat ildiz ifodasi xayoliy son; bu erda har qanday haqiqiy ildiz birinchi kub ildizni kompleks radikandning har qanday o'ziga xos murakkab kub ildizi deb belgilash va ikkinchi kub ildizni murakkab konjugat birinchisi. Ushbu eritmadagi ichki radikallarni kub tenglamada kamida bittasi bo'lmasa, umuman soddalashtirish mumkin emas oqilona yechim. Darhaqiqat, kubning uchta mantiqsiz, ammo haqiqiy echimi bo'lsa, bizda shunday bo'ladi casus irreducibilis, unda uchta haqiqiy echim ham kompleks sonlarning kub ildizlari bo'yicha yozilgan. Boshqa tomondan, tenglamani ko'rib chiqing

${ displaystyle x ^ {3} -7x + 6 = 0,}$

1, 2 va −3 ning oqilona echimlariga ega. Yuqorida keltirilgan umumiy eritma formulasi echimlarni beradi

${ displaystyle x = { sqrt [{3}] {- 3 + { frac {10 { sqrt {3}} i} {9}}}} + { sqrt [{3}] {- 3- { frac {10 { sqrt {3}} i} {9}}}}.}$

Kub ildizi va uning konjugati uchun har qanday tanlov uchun tarkibida murakkab sonlar ishtirok etgan ichki radikallar mavjud, ammo u 1, 2 yoki -3 echimlaridan biriga kamaytirilishi mumkin (aniq bo'lmasa ham).

Cheksiz ichki radikallar

Kvadrat ildizlar

Kabi ba'zi bir cheksiz kvadratchalar ildizlari ma'lum sharoitlarda

${ displaystyle x = { sqrt {2 + { sqrt {2 + { sqrt {2 + { sqrt {2+ cdots}}}}}}}}}}}$

ratsional sonlarni ifodalaydi. Buni anglash orqali ushbu ratsional sonni topish mumkin x tenglamani beradigan radikal belgisi ostida ham paydo bo'ladi

${ displaystyle x = { sqrt {2 + x}}.}$

Agar biz ushbu tenglamani hal qilsak, buni topamiz x = 2 (ikkinchi yechim x = -1 qo'llanilmaydi, shart bo'yicha musbat kvadrat ildiz nazarda tutilgan). Ushbu yondashuv, odatda, agar ekanligini ko'rsatish uchun ham ishlatilishi mumkin n > 0, keyin

${ displaystyle { sqrt {n + { sqrt {n + { sqrt {n + { sqrt {n + cdots}}}}}}}}} = { tfrac {1} {2}} left (1+ { sqrt {1 + 4n}} o'ng)}$

va tenglamaning musbat ildizi hisoblanadi x² − x − n = 0. Uchun n = 1, bu ildiz oltin nisbat φ, taxminan 1,618 ga teng. Xuddi shu protsedura, shuningdek, agar olish uchun ishlaydi n > 1,

${ displaystyle { sqrt {n - { sqrt {n - { sqrt {n - { sqrt {n- cdots}}}}}}}}} = { tfrac {1} {2}} chap (-1 + { sqrt {1 + 4n}} o'ng),}$

bu tenglamaning ijobiy ildizi x² + x − n = 0.

Ramanujanning cheksiz radikallari

Ramanujan quyidagi muammolarni keltirib chiqardi Hind matematik jamiyati jurnali:

${ displaystyle? = { sqrt {1 + 2 { sqrt {1 + 3 { sqrt {1+ cdots}}}}}}}.}$

Buni umumiy formulani qayd etish orqali hal qilish mumkin:

${ displaystyle? = { sqrt {ax + (n + a) ^ {2} + x { sqrt {a (x + n) + (n + a) ^ {2} + (x + n) { sqrt { mathrm { cdots}}}}}}}.}$

Buni sozlash F(x) va ikkala tomonni kvadratga solish bizga beradi

${ displaystyle F (x) ^ {2} = ax + (n + a) ^ {2} + x { sqrt {a (x + n) + (n + a) ^ {2} + (x + n) { sqrt { mathrm { cdots}}}}}},}$

bu soddalashtirilishi mumkin

${ displaystyle F (x) ^ {2} = ax + (n + a) ^ {2} + xF (x + n).}$

Keyin buni ko'rsatish mumkin

${ displaystyle F (x) = {x + n + a}.}$

Shunday qilib, sozlash a = 0, n = 1 vax = 2, bizda

${ displaystyle 3 = { sqrt {1 + 2 { sqrt {1 + 3 { sqrt {1+ cdots}}}}}}}.}$

Ramanujan o'zining quyidagi cheksiz radikal inkorini bayon qildi yo'qolgan daftar:

${ displaystyle { sqrt {5 + { sqrt {5 + { sqrt {5 - { sqrt {5 + { sqrt {5 + { sqrt {5 - { sqrt {5+ cdots}}} }}}}}}}}}}} = = frac {2 + { sqrt {5}} + { sqrt {15-6 { sqrt {5}}}}} {2}}.}$

Belgilarning takrorlanadigan naqshlari ${ displaystyle (+, +, -).}$

Vietening ifodasi π

Vite formulasi uchun π, aylana aylanasining uning diametriga nisbati, ga teng

${ displaystyle { frac {2} { pi}} = { frac { sqrt {2}} {2}} cdot { frac { sqrt {2 + { sqrt {2}}}} { 2}} cdot { frac { sqrt {2 + { sqrt {2 + { sqrt {2}}}}}} {2}} cdots.}$

Kub ildizlari

Muayyan holatlarda, kabi cheksiz kubik ildizlari

${ displaystyle x = { sqrt [{3}] {6 + { sqrt [{3}] {6 + { sqrt [{3}] {6 + { sqrt [{3}] {6+ cdots}}}}}}}}}}$

ratsional sonlarni ham aks ettirishi mumkin. Shunga qaramay, butun ifoda o'z ichida paydo bo'lishini anglab, bizga tenglama qoladi

${ displaystyle x = { sqrt [{3}] {6 + x}}.}$

Agar biz ushbu tenglamani hal qilsak, buni topamizx = 2. Umuman olganda, biz buni topamiz

${ displaystyle { sqrt [{3}] {n + { sqrt [{3}] {n + { sqrt [{3}] {n + { sqrt [{3}] {n + cdots}}}}}} }}}}$

tenglamaning ijobiy haqiqiy ildizi hisoblanadi x³ − x − n = 0 hamma uchunn > 0. Uchun n = 1, bu ildiz plastik raqam r, taxminan 1.3247 ga teng.

Xuddi shu protsedura ham olish uchun ishlaydi

${ displaystyle { sqrt [{3}] {n - { sqrt [{3}] {n - { sqrt [{3}] {n - { sqrt [{3}] {n- cdots} }}}}}}}}$

tenglamaning haqiqiy ildizi sifatida x³ + x − n = 0 hamma uchun n > 1.

Gershfeldning yaqinlashish teoremasi

Cheksiz ichki radikal ${ displaystyle { sqrt {a_ {1} + { sqrt {a_ {2} + dotsb}}}}}$ (hamma qaerda ${ displaystyle a_ {i}}$ bor salbiy ) agar mavjud bo'lsa, faqatgina birlashadi ${ displaystyle M in mathbb {R}}$ shu kabi ${ displaystyle M geq a_ {n} ^ {2 ^ {- n}}}$ Barcha uchun ${ displaystyle n}$. ^[5]

"Agar" isboti

Biz buni kuzatamiz

${ displaystyle { sqrt {a_ {1} + { sqrt {a_ {2} + dotsb}}}}} leq { sqrt {M ^ {2 ^ {1}} + { sqrt {M ^ { 2 ^ {2}} + dotsb}}}} = M { sqrt {1 + { sqrt {1+ dotsb}}}} <2M}$.

Bundan tashqari, ketma-ketlik ${ displaystyle left ({ sqrt {a_ {1} + { sqrt {a_ {2} + dotsc { sqrt {a_ {n}}}}}}} o'ng)}$ monoton o'sib bormoqda. Shuning uchun u yaqinlashadi monoton konvergentsiya teoremasi.

"Faqatgina" ning isboti

Agar ketma-ketlik bo'lsa ${ displaystyle left ({ sqrt {a_ {1} + { sqrt {a_ {2} + dotsc { sqrt {a_ {n}}}}}}} o'ng)}$ yaqinlashadi, keyin u chegaralangan.

Biroq, ${ displaystyle a_ {n} ^ {2 ^ {- n}} leq { sqrt {a_ {1} + { sqrt {a_ {2} + dotsc { sqrt {a_ {n}}}}}} }}}$, demak ${ displaystyle chap (a_ {n} ^ {2 ^ {- n}} o'ng)}$ ham chegaralangan.

Shuningdek qarang

• Radikallarning yig'indisi
• Teodorning spirali

Adabiyotlar

Qo'shimcha o'qish

• Landau, Syuzan (1994). "Qanday qilib ichki radikal bilan chalkashish kerak". Matematik razvedka. 16 (2): 49–55. doi:10.1007 / bf03024284. S2CID  119991567.
• To'rtburchak ildizlarni o'z ichiga olgan iboralar uyasi chuqurligini kamaytirish
• Kvadrat ildizlarning kvadrat ildizlarini soddalashtirish
• Vayshteyn, Erik V. "To'rtburchak ildiz". MathWorld.
• Vayshteyn, Erik V. "Ichki radikal". MathWorld.