Tetraedral sonlar elagi tetraedral sonlar ketma-ketligidan boshlanib, har bosqichda oldingi ketma-ketlikning har ikkinchi hadi chiqarib tashlanishi orqali hosil qilinadigan ostketma-ketliklar oilasidir. Sergei Abramovichning konseptual tadqiqoti Arximedning matematik kashfiyotda “mexanik usul” va formal isbotni bir-birini toʻldiradigan bosqichlar sifatida koʻrishidan kelib chiqib, bu qadimiy gʻoyani Wolfram Alpha, Maple va Excel yordamida olib boriladigan zamonaviy hisoblash kashfiyotlari bilan bogʻlaydi. Tadqiqot avval maxsus tetraedral sonlar elaklarini Wolfram Alpha bilan hosil qiladi, soʻng koeffitsiyentlardagi qonuniyatlardan umumiy formulani ishlab chiqadi, bu natijani Maple va elektron jadval orqali mustaqil tekshiradi va nihoyat hosil boʻlgan tuzilmani Cullen-ga oʻxshash indekslar orqali natural, uchburchak va Fibonacci sonlar ketma-ketliklariga kengaytiradi.

Boshlangʻich nuqta uchburchak sonlarning qisman yigʻindilaridan tashkil topgan tetraedral sonlardir. \(n\)-chi tetraedral son

\[ T(n)=\frac{n(n+1)(n+2)}{6} \]

formulasi bilan beriladi va \(1,4,10,20,35,56,84,\ldots\) ketma-ketligini hosil qiladi. Tadqiqotda bu asl ketma-ketlik “nol darajali elak” deb qabul qilinadi. Birinchi darajali elakda har ikkinchi had chiqarib tashlanadi; ayni jarayon yangi ketma-ketlikda takrorlanganda ikkinchi, uchinchi va undan yuqori darajali elaklar hosil boʻladi.

Tadqiqotning matematik yadrosi \(k\)-darajali elakdagi \(n\)-chi hadning murakkab uchinchi darajali polinom shaklidan

\[ T_k(n)= \frac{ [2^k(n-1)+1] [2^k(n-1)+2] [2^k(n-1)+3] }{6} \]

koʻrinishidagi soddaroq shaklga keltirilishidir. Bu ifoda elash jarayoni qiymatlardan koʻra indekslarni tartibga solishini koʻrsatadi: \(k\)-elakning \(n\)-chi hadi asl tetraedral ketma-ketlikning \(2^k(n-1)+1\)-chi hadidir.

Muallif bu indekslarni Cullen-ga oʻxshash sonlar deb ataydi. \(k=n-1\) boʻlganda ifoda klassik Cullen soni shakliga aylanadi. Xuddi shu indeks mantiqining natural, uchburchak va Fibonacci ketma-ketliklarida ham ishlashi usul faqat tetraedral sonlarga xos emasligini koʻrsatadi.

Tadqiqotning pedagogik daʼvosi raqamli vosita matematik tafakkurning oʻrnini bosishi emas. Wolfram Alpha qonuniyatni koʻrinadigan qiladi va simvolik umumlashtirishni osonlashtiradi; Maple va Excel natijalarni boshqa hisoblash yoʻllari bilan tekshiradi; matematik tafakkur esa hosil qilingan murakkab formulani koʻpaytuvchilarga ajratib, soddaroq tuzilmani ochib beradi. Shunday qilib, texnologiya kashfiyotni tezlashtirar ekan, matematik refleksiya hisoblashni tushunarliroq va samaraliroq qiladi.

Bu tadqiqot nazorat qilinadigan oʻqitish eksperimenti emas. Oʻqituvchi nomzodlarining reflektiv izohlari pedagogik doirani misollash uchun ishlatilgan; texnologiyadan foydalanish talabalar muvaffaqiyatini muayyan darajada oshirishini koʻrsatadigan tizimli tanlanma, nazorat guruhi yoki statistik taʼsir tahlili mavjud emas.

Arximedning “mexanik usul” gʻoyasi nega boshlangʻich nuqta hisoblanadi?

Maqola Arximed va Eratosfen oʻrtasidagi qadimiy matematik anʼanaga tayanuvchi bir gʻoyadan kelib chiqadi: natijaga erishish uchun avval intuitiv, mexanik yoki tajribaviy yoʻl qoʻllanishi mumkin; keyin topilgan bogʻlanishning matematik isboti tuziladi.

Raqamli davrda bu “mexanik usul” tushunchasining zamonaviy muqobili hisoblash eksperimenti boʻlishi mumkin. Dastur koʻplab maxsus hollarni tez hisoblay oladi, ketma-ketliklardagi qonuniyatlarni koʻrsatishi yoki ehtimoliy yopiq shakllarni taklif qilishi mumkin. Ammo dastur chiqishi bilan matematik toʻgʻrilik bir xil narsa emas. Shu sabab Abramovich modelida kashfiyot, tekshirish va matematik refleksiya bir-biridan ajralmasdir.

Maqolaning matematika oʻqituvchilarini tayyorlash nuqtayi nazaridan asosiy gʻoyasi ham shudir: kelajakdagi matematika oʻqituvchisi faqat dasturda qaysi tugmani bosishni emas, chiqish nimani anglatishini, nega toʻgʻri boʻlishi mumkinligini, uni qanday mustaqil tekshirish mumkinligini va matematik tuzilmani dastur chiqishidan qanday ajratib olish mumkinligini oʻrganishi kerak.

Tetraedral son nima?

Uchburchak sonlar

\[ t(n)=\frac{n(n+1)}{2} \]

koʻrinishida taʼriflanishi mumkin. Dastlabki qiymatlar \(1,3,6,10,15,\ldots\) koʻrinishidadir.

Tetraedral sonlar esa uchburchak sonlarning qisman yigʻindilaridir:

\[ T(n)=\sum_{i=1}^{n}\frac{i(i+1)}{2} =\frac{n(n+1)(n+2)}{6}. \]

Shunday qilib, dastlabki tetraedral sonlar:

\[ 1,\;4,\;10,\;20,\;35,\;56,\;84,\ldots \]

boʻladi.

Xuddi shu son boshqa geometrik qarashda ham paydo boʻladi. \(n\) ta nuqtadan uchtadan tanlanganda uchburchak hosil qilishi mumkin boʻlgan nuqtalar uchliklari soni

\[ \binom{n}{3}=\frac{n(n-1)(n-2)}{6} \]

koʻrinishidadir. Indeksni siljitish orqali bu ifoda tetraedral son shakliga bogʻlanishi mumkin. Maqola bunday ekvivalent, ammo turlicha indekslangan tasvirlar keyinchalik raqamli umumlashtirishda paydo boʻladigan indeks siljishlarini tushunishda pedagogik ahamiyatga ega ekanini taʼkidlaydi.

Tetraedral Sonlar Elagi Qanday Yaratiladi?

Tetraedral sonlar elagi asl tetraedral sonlar ketma-ketligini nol darajali deb qabul qilish va har yangi darajada oldingi ketma-ketlikdagi har ikkinchi hadni chiqarib tashlash orqali yaratiladi; natijada \(k\)-darajali elakda qolgan hadlar asl ketma-ketlikda \(2^k(n-1)+1\) indekslariga ega boʻladi.

Nol daraja

Asl tetraedral ketma-ketlikning oʻzi:

\[ T_0(n)=\frac{1}{6}(n^3+3n^2+2n) \tag{1} \]

koʻrinishida yoziladi.

Dastlabki hadlar:

\[ 1,\;4,\;10,\;20,\;35,\;56,\;84,\ldots \]

Birinchi daraja

Nol darajali ketma-ketlikning har ikkinchi hadi chiqarib tashlanganda:

\[ 1,\;10,\;35,\;84,\;165,\;286,\ldots \]

ketma-ketligi olinadi. Wolfram Alpha buning uchun

\[ T_1(n)=\frac{1}{3}(4n^3-n) \tag{2} \]

yopiq shaklini beradi.

Ikkinchi va uchinchi darajalar

Elash takrorlanganda:

\[ T_2(n)=\frac{1}{3}(32n^3-48n^2+22n-3) \tag{3} \]

va

\[ T_3(n)=\frac{1}{3}(256n^3-576n^2+428n-105) \tag{4} \]

formulalari olinadi.

Toʻrtinchi, beshinchi va oltinchi darajalar

Toʻrtinchi daraja uchun manbada

\[ T_4(n)=\frac{1}{3}(2048n^3-5376n^2+4696n-1365) \tag{5} \]

berilgan.

Beshinchi daraja uchun PDFning asosiy matnidagi Formula (6) quyidagi shaklda bosilgan:

\[ T_5(n)=\frac{1}{3}(15384n^3-46080n^2+43184n-13485). \tag{6, kaynak metindeki biçim} \]

Manba ichidagi nomuvofiqlik qaydi: Xuddi shu maqolaning Figure 6 Wolfram Alpha ekranida birinchi koeffitsiyent 16 384 sifatida koʻrsatilgan. Keyin chiqarilgan \(a_k=2^{3k-1}/3\) umumiy koeffitsiyenti ham \(k=5\) uchun \(16384/3\) beradi. Bundan tashqari, manba matnidagi 15,384 qiymati ishlatilganda keltirilgan ketma-ketlikni qayta hosil qilib boʻlmaydi. Shu sababli Formula (6) dagi 15,384 qiymati nashr qilingan matndagi ehtimoliy terish xatosi sifatida belgilanishi kerak; manba jimlik bilan tuzatilmasligi lozim.

Oltinchi daraja uchun:

\[ T_6(n)=\frac{1}{3}(131072n^3-380928n^2+368992n-119133). \tag{7} \]

Nega uchinchi darajali polinom paydo boʻladi?

Manba barcha tetraedral elaklar uchinchi darajali polinom shaklida ekanini kuzatib, umumiy tuzilmani

\[ T_k(n)=a_kn^3+b_kn^2+c_kn+d_k \tag{8} \]

koʻrinishida belgilaydi.

Bu yerda:

• \(n\): tegishli elak ichidagi hadning tartib raqami;
• \(k\): elak darajasi;
• \(a_k,b_k,c_k,d_k\): elash darajasiga bogʻliq koeffitsiyentlar;
• \(T_k(n)\): \(k\)-darajali elakning \(n\)-chi hadi.

Bu kattaliklarning fizik birliklari yoʻq; ularning barchasi butun sonli ketma-ketliklar va indekslarga oid oʻlchovsiz matematik kattaliklardir.

\(a_k\) koeffitsiyenti

Wolfram Alpha orqali olingan maxsus hollarning \(n^3\) koeffitsiyentlarida ikkilik darajalar aniq qonuniyat hosil qiladi:

\[ a_k=\frac{2^{3k-1}}{3}, \qquad k=0,1,2,\ldots \tag{9} \]

Bu formula \(k\) bir birlikka ortganda eng yuqori darajali koeffitsiyent sakkiz baravar miqyoslanishini koʻrsatadi; chunki \(2^{3(k+1)-1}/2^{3k-1}=2^3=8\).

\(b_k\) koeffitsiyenti

Ikkinchi darajali hadning koeffitsiyenti:

\[ b_k=-2^{2k}\left(2^{k-1}-1\right), \qquad k=0,1,2,\ldots \tag{10} \]

koʻrinishida umumlashtiriladi.

\(c_k\) koeffitsiyenti

Manba koʻproq maxsus hollarga ehtiyoj borligini bildirib, yettinchi darajali elakni ham hosil qiladi va \(c_k\) uchun

\[ c_k= \frac{1}{3}2^{k-3} \left( 3\cdot2^{2(k+1)} -3\cdot2^{k+4} +44 \right) \tag{12} \]

ifodasiga keladi.

PDFdagi Formula (11) matn satrida \(n^2\) koeffitsiyentining raqam guruhlanishi tartibsiz koʻrinadi; ammo ayni sahifadagi Wolfram Alpha Figure 9 chiqishi qiymatni aniq 3 096 576 sifatida koʻrsatadi. Shu sababli rasm matndagi terish noaniqligini manbaning oʻzida hal qiluvchi qoʻshimcha dalil beradi.

\(d_k\) koeffitsiyenti

Doimiy had:

\[ d_k= \frac{1}{48} \left( -2^{3(k+1)} -11\cdot2^{k+3} +3\cdot2^{2(k+1)+2} +48 \right), \qquad k=0,1,2,\ldots \tag{13} \]

koʻrinishida yoziladi.

Koeffitsiyentlarning birlashtirilishi

Bu koeffitsiyentlar Formula (8) ga qoʻyilganda manbada Formula (14) sifatida berilgan uzun umumiy ifoda olinadi:

\[ \begin{aligned} T_k(n)=& \frac{2^{3k-1}}{3}n^3 -2^{2k}(2^{k-1}-1)n^2\\ &+\frac{1}{3}2^{k-3} \left(3\cdot2^{2(k+1)}-3\cdot2^{k+4}+44\right)n\\ &+\frac{1}{48} \left( -2^{3(k+1)} -11\cdot2^{k+3} +3\cdot2^{2(k+1)+2} +48 \right). \end{aligned} \tag{14} \]

Raqamlash qaydi: Manba bu tenglamadan darhol oldin “Formulas (9), (10), (12), and (14)” iborasini ishlatadi. Formula (14) oʻsha satrda hali tuzilayotgan boʻlgani va \(d_k\) Formula (13) da berilgani sababli kontekst Formula (13) nazarda tutilganini koʻrsatadi. Verianla bu nashr qilingan raqamlash farqini yashirmaydi.

Nega murakkab formula yakuniy nuqta emas?

Maqolaning pedagogik jihatdan eng muhim bosqichlaridan biri shu yerda boshlanadi. Wolfram Alpha orqali olingan Formula (14) matematik jihatdan ishlatilishi mumkin boʻlsa-da, tuzilmaning asosiy mantiqini oson koʻrsatmaydi.

Muallif tetraedral sonlarning dastlabki uchta chiziqli koʻpaytuvchining koʻpaytmasi shaklini eslatib, umumiy polinomni ham koʻpaytuvchilarga ajratishni taklif qiladi. Wolfram Alpha bilan bajarilgan ajratish ancha sodda Formula (15) ni beradi:

\[ T_k(n)= \frac{ [2^k(n-1)+1] [2^k(n-1)+2] [2^k(n-1)+3] }{6}. \tag{15} \]

Bu soddalashtirish faqat hisoblashni yengillashtirmaydi. Elash jarayonining matematik mohiyatini ham koʻrinadigan qiladi.

Hisoblash Triangulyatsiyasi Nima?

Hisoblash triangulyatsiyasi bir xil matematik natijani faqat bitta dastur chiqishiga qoldirmasdan, turli hisoblash vositalari orqali mustaqil yoʻllar bilan tekshirish yondashuvidir; tadqiqotda Wolfram Alpha yordamida ishlab chiqilgan umumiy tetraedral elak natijalari Maple va Excel bilan qayta hisoblanib, taqqoslangan.

Nega bir nechta dastur ishlatiladi?

Kompyuter algebrasi tizimi murakkab simvolik amallarni tez bajarishi mumkin; ammo foydalanuvchining notoʻgʻri kiritishi, kodlash xatosi, soddalashtirish usuli yoki vositalarning turli algoritmik xatti-harakatlari sabab bitta chiqishni savolsiz qabul qilish matematika taʼlimi nuqtayi nazaridan muammolidir.

Abramovich shu sabab matematik tadqiqotlar va ijtimoiy fanlardagi “triangulation” gʻoyasini hisoblashga moslashtiradi. Xuddi shu natijani boshqa vosita yoki tasvir shakli bilan qayta olish ishonchlilik uchun qoʻshimcha tekshiruv beradi.

Wolfram Alpha roli

Wolfram Alpha tadqiqotda ikki bosqichda qoʻllanadi.

Birinchi bosqichda muayyan elak ketma-ketliklari kiritilib, ular uchun mumkin boʻlgan yopiq polinom shakllari olinadi. Ikkinchi bosqichda bu polinomlarning koeffitsiyent ketma-ketliklari yana Wolfram Alpha ga berilib, koeffitsiyentlarning \(k\) ga bogʻliq umumiy shakllari oʻrganiladi.

Shu sabab vosita shunchaki kalkulyator emas; maxsus holatdan simvolik umumlashtirishga oʻtishda qonuniyatni aniqlash vositasi sifatida ishlatiladi.

Maple roli

Maple Formula (14) dan hosil qilingan sonli matritsani mustaqil kompyuter algebrasi tizimida qayta hisoblash uchun ishlatiladi.

Manbada ayniqsa \(T_9(10)\) uchun

\[ T_9(10)=16\,328\,696\,065 \]

qiymati koʻrsatiladi. Xuddi shu qiymat Wolfram Alpha va Maple chiqishlarida olinadi.

Excel roli

Elektron jadval simvolik algebra jihatidan Wolfram Alpha yoki Maple kabi kuchli emas; biroq ikki oʻlchovli \(n\)-\(k\) tuzilmani kataklar matritsasi shaklida aniq koʻrsatishi mumkin.

Manbada Formula (14) Excel katak formulasiga oʻgiriladi va jadval boʻylab koʻpaytiriladi. Shunday qilib Wolfram Alpha va Maple hosil qilgan sonlar matritsasi uchinchi muhitda qayta yaratiladi.

Bu uch tomonlama tekshiruvning pedagogik xabari “uch dastur bir xil narsani aytgani uchun matematika isbotlandi” degani emas. Muallif buni raqamli davrdagi mexanik usullarning ishonchliligini oshiruvchi va formal tafakkurni qoʻllab-quvvatlovchi amaliyot deb qaraydi.

Figure 12–14 nega ayniqsa muhim?

Figure 12 Formula (14) dan foydalanib \(k=0,\ldots,9\) va \(n=1,\ldots,10\) uchun hosil qilingan Wolfram Alpha matritsasini koʻrsatadi.

Figure 13 ayni tuzilmaning Maple chiqishini, Figure 14 esa elektron jadvaldagi muqobilini taqdim etadi.

Bu uch rasmning ilmiy vazifasi ayni maʼlumotni uch marta dekorativ koʻrsatish emas. Ular tadqiqotning “hisoblash triangulyatsiyasi” tezisining bevosita vizual dalil qatlamidir.

Matematika texnologiyaga qanday qaytadi?

Tadqiqotning “matematika va texnologiya ikkiligi” haqidagi tezisi shu yerda koʻrinadi. Dastlab texnologiya matematik kashfiyotni osonlashtiradi. Keyin matematik tafakkur texnologiya hosil qilgan murakkab ifodaga qarab, yaxshiroq tuzilmani topadi.

Formula (14) ning Formula (15) ga koʻpaytuvchilarga ajratilishi buning asosiy misolidir. Texnologiya dastlabki umumlashtirishni hosil qilishga yordam beradi; matematik tuzilma esa keyin hisoblashning qisqaroq va tushunarliroq shaklini beradi.

Cullen Tipidagi Elash Qanday Ishlaydi?

Cullen tipidagi elash ketma-ketlikda har bosqichda har ikkinchi hadni oʻchirish natijasida qolgan hadlarning asl ketma-ketlikdagi indekslari \(2^k(n-1)+1\) shakliga amal qilishidir; bu indeks qoidasi ketma-ketlik qiymatlaridan mustaqil boʻlgani uchun natural, uchburchak, tetraedral va Fibonacci sonlar ketma-ketliklarida ayni tuzilma bilan ishlatilishi mumkin.

Cullen-ga oʻxshash son nima?

Formula (15) dagi

\[ 2^k(n-1)+1 \]

ifodasi \(T_k(n)\) ning asl tetraedral ketma-ketlikdagi oʻrnini beradi.

Muallif bu shakldagi indekslarni Cullen-like numbers / Cullen-ga oʻxshash sonlar deb ataydi.

\(k=n-1\) tanlansa:

\[ 2^{n-1}(n-1)+1 \]

olinadi va tadqiqot buni Cullen sonlari bilan bogʻlaydi.

Misol: ikkinchi darajali elakdagi uchinchi had

\(k=2\) va \(n=3\) uchun:

\[ 2^2(3-1)+1=9. \]

Demak, ikkinchi darajali tetraedral elakning uchinchi hadi asl tetraedral ketma-ketlikning toʻqqizinchi hadidir:

\[ T(9)=\frac{9\cdot10\cdot11}{6}=165. \]

Haqiqatan ham ikkinchi darajali elak

\[ 1,\;35,\;165,\;455,\ldots \]

ketma-ketligining uchinchi hadi 165 ga teng.

Toʻqqizinchi daraja misoli

Tadqiqotning hisoblash triangulyatsiyasi matritsasidagi katta misol \(T_9(10)\) dir.

Bu hadning asl tetraedral ketma-ketlikdagi tartib raqami:

\[ 2^9(10-1)+1=4609 \]

boʻladi.

Shuning uchun:

\[ T(4609) = \frac{4609\cdot4610\cdot4611}{6} = 16\,328\,696\,065. \]

Wolfram Alpha, Maple va Excel bir xil koʻrsatgan qiymat bu indeks tuzilmasi bilan bevosita tushuntiriladi.

Natural sonlarga qoʻllash

Har ikkinchi hadi takror-takror chiqarib tashlanadigan natural sonlar ketma-ketligida ham ayni indeks tuzilmasi saqlanadi.

Birinchi darajada qoladigan indekslar:

\[ 1,3,5,7,9,\ldots \]

boʻladi; ular \(k=1\) uchun \(2(n-1)+1\) ifodasidir.

Uchburchak sonlarga qoʻllash

Uchburchak sonlar uchun \(2^k(n-1)+1\) qiymati asl uchburchak ketma-ketlikdagi indeks oʻrniga qoʻyiladi:

\[ t_k(n)= \frac{ [2^k(n-1)+1] [2^k(n-1)+2] }{2}. \]

Manba Figure 17 va Figure 18 da bu tuzilmani mos ravishda Excel va Maple bilan koʻrsatadi.

Fibonacci ketma-ketligiga qoʻllash

Xuddi shu elash qoidasi Fibonacci ketma-ketligiga qoʻllanishi mumkin. Masalan

\[ 1,1,2,3,5,8,13,21,34,55,89,\ldots \]

ketma-ketligining har ikkinchi hadi chiqarib tashlansa

\[ 1,2,5,13,34,89,\ldots \]

ketma-ketligi hosil boʻladi.

Manba Binet formulasidagi indeks oʻrniga Cullen-ga oʻxshash indeksni qoʻyib, umumiy Fibonacci elagini ifodalaydi:

\[ F_k(n)= \frac{1}{\sqrt{5}} \left[ \left(\frac{1+\sqrt{5}}{2}\right)^{2^k(n-1)+1} - \left(\frac{1-\sqrt{5}}{2}\right)^{2^k(n-1)+1} \right]. \]

Bu formulada \(F_k(n)\) \(k\)-darajali Fibonacci elagining \(n\)-chi hadidir.

Nega u ketma-ketlik turidan mustaqil ishlaydi?

Elash qoidasi sonlarning kattaligi yoki ketma-ketlikning algebraik shakliga qaramaydi; faqat tartibdagi oʻringa qaraydi.

Har bosqichda har ikkinchi element chiqarib tashlangani sabab qoladigan tartib raqamlari bir xil ikkilik miqyoslash tartibiga amal qiladi. Shunday qilib, natural, uchburchak, tetraedral yoki Fibonacci ketma-ketliklaridagi sonli qiymatlar farq qilsa ham, qolgan hadlarning indekslari bir xil boʻladi.

Tub sonlar bilan bogʻlanish

Maqola keyin Cullen-ga oʻxshash indekslarni tub sonlar ketma-ketligida indeks sifatida qoʻllashni muhokama qiladi.

Masalan, birinchi darajali elakdagi indekslar \(1,3,5,7,9,\ldots\) boʻlganda, ular tub sonlar ketma-ketligining indekslari sifatida ishlatilsa:

\[ p_1=2,\; p_3=5,\; p_5=11,\; p_7=17,\; p_9=23,\ldots \]

ketma-ketligi olinadi.

Bu yerda maqsad tub sonlar uchun yangi yopiq formula olish emas. Manba tub sonlarning tartib raqamiga koʻra sodda simvolik taʼrifi mavjud emasligini aniq aytadi. Bogʻlanishning pedagogik ahamiyati ayni indekslash algoritmi turli sonlar nazariyasi kontekstlarida tadqiqot savollarini yaratishidadir.

Qadimgi “Mexanik Usul” Raqamli Matematika Oʻqituvchilarini Tayyorlashga Qanday Koʻchiriladi?

Tadqiqotda qadimgi mexanik usul gʻoyasi matematik natijani avval hisoblash eksperimenti va qonuniyatni kashf etish orqali topish, soʻng turli raqamli vositalar bilan tekshirish va nihoyat matematik refleksiya orqali soddaroq tuzilishga aylantirish tarzida qayta talqin qilinadi; texnologiya kashfiyot vositasi, matematika esa tekshirish va mazmun berishning hal qiluvchi qatlami boʻlib qoladi.

TPACK bilan bogʻlanish

Muallif yondashuvni Texnologik Pedagogik Mazmun Bilimi doirasi bilan bogʻlaydi. Oʻqituvchi faqat matematikani yoki faqat dasturdan foydalanishni bilishi yetarli emas; mazmun, pedagogik maqsad va texnologiya tanlovi birgalikda oʻylanishi kerak.

Bu tadqiqotdagi misol buning aniq koʻrinishidir:

Mazmun bilimi sonlar nazariyasi, tetraedral sonlar, polinomlar va indeks tuzilmasidan; texnologik bilim Wolfram Alpha, Maple va elektron jadvaldan; pedagogik bilim esa tadqiqotga oʻxshash savol tuzish, taxmin qilish, tekshirish va refleksiya jarayonlaridan iborat.

Epistemik va pragmatik texnologiya qoʻllanilishi

Texnologiya faqat tez javob hosil qilish uchun ishlatilganda pragmatik funksiyaga ega. Ammo dastur chiqishi yangi matematik bogʻlanishni sezishga, faraz tuzishga yoki tushunchani boshqacha anglashga yordam berganda epistemik funksiyaga ham ega boʻladi.

Formula (14) ni koʻpaytuvchilarga ajratib Formula (15) ni hosil qilish bu oʻtishning yaqqol misolidir. Dastur amalni bajaradi; biroq “nega bu murakkab polinomni koʻpaytuvchilarga ajratishim kerak?” degan savol matematik tafakkurdan keladi.

Oʻqituvchi nomzodlari izohlarining roli

Maqola muallifning darslaridagi oʻqituvchi nomzodlaridan olingan ayrim reflektiv izohlarni pedagogik yondashuv talabalar tomonidan qanday mazmunlashtirilganiga misol sifatida ishlatadi. Talabalar texnologiya bilan real hayot, matematik tushunchalar va konseptual tafakkur oʻrtasida bogʻlanishlar oʻrnatganini bildiradi.

Bu izohlar foydali sifat misollaridir; ammo manbada tizimli kodlash, ishtirokchilar soni, tematik tahlil protokoli, taqqoslash guruhi yoki taʼsir oʻlchovi berilmagan. Shu sabab ularni mustaqil taʼlim samaradorligi dalili sifatida ishlatmaslik kerak.

Tadqiqot Usuli va Natijalari

Tadqiqot turi va materiallar

Maqola konseptual matematika oʻqituvchilarini tayyorlash tadqiqotidir. Ishlatilgan materiallar uch asosiy guruhga boʻlinadi:

• raqamli matematika vositalari: Wolfram Alpha, Maple 2025 va Microsoft Excel;
• qadimgi va tarixiy matematika manbalari;
• matematika oʻqitish va oʻqituvchilarni tayyorlash standartlari hamda pedagogik doiralar.

Wolfram Alpha ga kirish sanasi manbada 20 Aprel 2026 deb koʻrsatilgan.

Matematik tadqiqot oqimi

1–7-rasmlar: maxsus hollarni hosil qilish

Dastlabki yetti rasm Wolfram Alpha ekran tasvirlaridir. Figure 1 tetraedral sonlarning asl yopiq shaklini; Figure 2–7 esa mos ravishda birinchi–oltinchi darajali elaklarning son ketma-ketliklari va polinomlarini koʻrsatadi.

Bu bosqichning ilmiy vazifasi toʻgʻridan-toʻgʻri “isbot” berishdan koʻra, keyingi umumlashtirish uchun sonli va simvolik misollar hosil qilishdir.

8–11-rasmlar: koeffitsiyent qonuniyatlarini umumlashtirish

Bu rasmlarda endi tetraedral ketma-ketlikning oʻzi emas, polinom koeffitsiyentlaridan tuzilgan yangi ketma-ketliklar Wolfram Alpha ga beriladi.

Shu tariqa tadqiqot ikki qatlamli umumlashtirishni amalga oshiradi:

avval sonli ketma-ketlikdan muayyan \(T_k(n)\) polinomiga, keyin turli \(k\) qiymatlaridagi polinom koeffitsiyentlaridan umumiy \(a_k,b_k,c_k,d_k\) formulalariga oʻtiladi.

12-rasm: umumiy formulaning ikki oʻlchovli modeli

Formula (14) \(k=0\ldots9\) va \(n=1\ldots10\) oraliqlarida Wolfram Alpha yordamida jadval shakliga keltiriladi.

Bu matritsa turli elak darajalarini ham, ayni elak ichidagi had tartibini ham bitta tuzilmada koʻrsatadi.

13–14-rasmlar: tekshirish

Figure 13 Maple, Figure 14 esa Excel ayni sonli tuzilmani qayta yaratganini koʻrsatadi.

Ayniqsa pastki oʻng qiymat:

\[ 16\,328\,696\,065 \]

uchala muhitda ham bir xil.

Bu moslik manbada hisoblash triangulyatsiyasining aniq misoli sifatida taqdim etiladi.

15-rasm: matematik soddalashtirish

Figure 15 Formula (14) ning koʻpaytuvchilarga ajratilishini koʻrsatadi. Natija Formula (15) dir:

\[ T_k(n)= \frac{ [2^k(n-1)+1] [2^k(n-1)+2] [2^k(n-1)+3] }{6}. \]

Bu qayta yozish kengaytirilgan polinom ortidagi asosiy tetraedral tuzilmani koʻrinadigan qiladi.

16–19-rasmlar: boshqa ketma-ketliklarga kengaytirish

Figure 16 natural sonlar elaklarini, Figure 17 uchburchak sonlar elaklarini Excel da; Figure 18 uchburchak elaklarni Maple da; Figure 19 esa Fibonacci elaklarini Wolfram Alpha da koʻrsatadi.

Bu rasmlar tadqiqotning asosiy umumlashtirishini qoʻllab-quvvatlaydi: har ikkinchi had bosqichma-bosqich chiqarib tashlanganda qolgan elementlarning asl ketma-ketlikdagi tartib raqamlari ketma-ketlik qiymatlaridan mustaqil ravishda ayni Cullen-ga oʻxshash tuzilishga amal qiladi.

Manba ichidagi muhim sonli tekshiruv

Elash qoidasining asosiy natijasi

Tadqiqotning matematik jihatdan eng muhim natijasi takrorlanuvchi “har ikkinchi hadni chiqarib tashla” amali \(k\)-darajada qoladigan asl tartib raqamlarini

\[ r_k(n)=2^k(n-1)+1 \]

shakliga aylantirishidir.

Shu sabab bir ketma-ketlikning yopiq shakli \(A(n)\) maʼlum boʻlsa, tegishli elakning tabiiy nomzodi:

\[ A_k(n)=A\!\left(2^k(n-1)+1\right) \]

koʻrinishida oʻylanishi mumkin.

Bu soʻnggi ifoda Verianla tomonidan manba matematikasining tushuntiruvchi qayta yozilishidir; yangi eksperimental natija emas. U tetraedral, uchburchak va Fibonacci misollarida manba ochiq ishlatgan indeks almashtirishning umumiy tuzilmasini koʻrsatadi.

Matematik samaradorlik natijasi

Formula (14) va Formula (15) ayni matematik obyektni ifodalaydi, ammo Formula (15) hisoblash va konseptual talqin nuqtayi nazaridan ancha sodda.

Bu holat maqolaning “texnologiya matematikani, matematika esa texnologiyadan foydalanishni rivojlantiradi” tezisining konkret misolidir.

Dastlab texnologiyasiz osongina sezilmaydigan murakkab koeffitsiyent bogʻlanishlari topiladi; keyin matematik refleksiya bu texnologik chiqishni soddalashtiradi.

Tub sonlar bilan bogʻlanish natijasi

Cullen-ga oʻxshash indekslar tub sonlar ketma-ketligida ham indeks sifatida ishlatilishi mumkin. Ammo tadqiqot bundan tub sonlar uchun yangi yopiq formula chiqarmaydi.

Natija cheklanganroq: indekslash algoritmlari turli sonlar ketma-ketliklari oʻrtasida oʻrganilishi mumkin boʻlgan tuzilmaviy bogʻlanishlarni hosil qiladi va oʻqituvchi nomzodlari uchun yangi tadqiqot savollarini beradi.

Pedagogik sakkiz bosqichli doira

Tadqiqot qoʻllab-quvvatlaydigan talqin

Tadqiqot Wolfram Alpha, Maple va Excel oʻqituvchi nomzodlari uchun tadqiqotga oʻxshash sonlar nazariyasi faoliyatlarida birgalikda ishlatilishi mumkinligini koʻrsatadi.

Tadqiqot maxsus sonli hollarni simvolik umumlashtirishga aylantirish va olingan natijalarni turli vositalar bilan qayta tekshirish mumkinligini koʻrsatadi.

Tadqiqot tetraedral sonlar elaklarida har ikkinchi hadni takroran chiqarib tashlash \(2^k(n-1)+1\) indeks tuzilmasiga olib kelishini va ayni indeks mantiqini boshqa sonli ketma-ketliklarga koʻchirish mumkinligini koʻrsatadi.

Tadqiqot shuningdek, texnologiya yordamida topilgan murakkab natija matematik refleksiya orqali samaraliroq shaklga aylantirilishi mumkinligini taʼkidlaydi.

Tadqiqot qoʻllab-quvvatlamaydigan talqin

Tadqiqot Wolfram Alpha, Maple yoki Excel dan foydalanish talabalar imtihon ballarini muayyan miqdorda oshirishini koʻrsatmaydi.

Tadqiqot raqamli vositalardan foydalanuvchi va foydalanmaydigan oʻqituvchi nomzodlari oʻrtasida nazorat qilinadigan taqqoslash oʻtkazmaydi.

Oʻqituvchi nomzodlarining keltirilgan izohlari tizimli sifat tadqiqoti tanlanmasi emas.

Tadqiqot hisoblash triangulyatsiyasini klassik matematik isbotning barcha shakllari oʻrnini bosadigan universal usul sifatida tasdiqlamaydi.

Tadqiqot Cullen-ga oʻxshash indekslar orqali tub sonlar uchun yangi yopiq formula yaratilganini daʼvo qilmaydi.

Kuchli tomonlar

Tadqiqotning muhim kuchli tomonlaridan biri matematika tarixi, sonlar nazariyasi, raqamli vositalar va oʻqituvchilarni tayyorlashni bitta matematik muammo atrofida birlashtirishidir.

Ikkinchi kuchli tomon texnologiyani faqat javob hosil qiluvchi vosita sifatida emas, faraz yaratish va keyinchalik oʻz chiqishini soʻroq qilish obyekti sifatida ishlatishidir.

Uchinchi kuchli tomon Wolfram Alpha chiqishini Maple va elektron jadval bilan oʻzaro tekshirishdir.

Toʻrtinchi kuchli tomon murakkab umumiy polinomni koʻpaytuvchilarga ajratish orqali ancha sodda indeks tuzilmasi koʻrinadigan boʻlishi va bu tuzilmani turli sonli ketma-ketliklarga kengaytirish mumkinligidir.

Asosiy cheklovlar

Maqola konseptual xususiyatga ega va taklif etilgan pedagogik yondashuvning oʻquv natijalarini nazorat qilinadigan tajriba orqali oʻlchamaydi.

Oʻqituvchi nomzodlarining reflektiv izohlari qoʻllab-quvvatlovchi misollardir; tanlash, kodlash va sifat tahlili protokoli haqida maʼlumot berilmagan.

Wolfram Alpha va Maple turli vositalar boʻlsa-da, ikkalasi ham kompyuter algebrasi anʼanasi doirasida ayrim algoritmik oʻxshashliklarga ega boʻlishi mumkin. Manba buni ochiq muhokama qiladi va ayni simvolik xatoni ulashish ehtimoli butunlay yoʻqolmasligini tan oladi.

Elektron jadval ham foydalanuvchi formulasi va katak havolalariga bogʻliq boʻlgani sabab mustaqil xato ehtimolini saqlaydi.

Shuning uchun hisoblash triangulyatsiyasi matematik mazmun berish va maxsus holatlarni tekshirishni keraksiz qilib qoʻymaydi.

Qayta ishlab chiqish imkoniyati

Tadqiqot qoʻllanilgan asosiy dasturlarni, Maple versiyasini, asosiy ketma-ketliklarni, matematik formulalarni, elektron jadval katak formulasini va namunaviy \(n\)-\(k\) oraliqlarini hisobot qiladi.

Shu sabab matematik hisoblash oqimining katta qismi qayta yaratilishi mumkin.

Biroq Wolfram Alpha onlayn xizmat boʻlgani sabab kelajakdagi interfeys, qonuniyatni aniqlash yoki chiqish shaklidagi oʻzgarishlar ayni ekran tasvirlarini bir xil qayta olishni kafolatlamaydi. Ilmiy qayta ishlab chiqish uchun asosiy narsa tasvirning koʻrinishi emas, formulalar va sonlarni qayta hisoblash mumkinligidir.

Manba va Usul Haqida Izoh

Asl tadqiqot: Using Ancient Ideas and Digital Tools in Mathematics Teacher Education

Muallif: Sergei Abramovich.

Muassasa: Department of Teacher Education, State University of New York at Potsdam, Potsdam, NY 13676, USA.

Jurnal: Education Sciences.

Nashriyot/platforma: MDPI.

Bibliografik yozuv: Education Sciences, 2026, 16(8), Article 1268.

DOI: 10.3390/educsci16081268.

Nashr jarayoni: Qabul qilingan 6 May 2026; tahrir 1 August 2026; qabul 3 August 2026; nashr 9 August 2026.

Maxsus son: Integrating Technology in Mathematics Teaching and Learning.

Manba turi: Taqrizdan oʻtgan, nashr qilingan konseptual matematika taʼlimi tadqiqot maqolasi.

Oldingi versiya: Xuddi shu nomdagi preprint versiyasi Preprints.org saytida 8 May 2026 kuni nashr qilingan. Yuklangan manba keyingi taqrizdan oʻtgan jurnal versiyasidir.

Litsenziya: Creative Commons Attribution (CC BY).

Asosiy matematik obyekt: Tetraedral sonlar elaklari va ularning Cullen tipidagi/Cullen-ga oʻxshash indeks tuzilmalari.

Asosiy raqamli vositalar: Wolfram Alpha, Maple 2025 va Microsoft Excel.

Asosiy usul: Hisoblash kashfiyoti, maxsus hollardan simvolik umumlashtirish, matematik refleksiya va bir nechta raqamli vosita yordamida hisoblash triangulyatsiyasi.

Asosiy boshlangʻich formula: \(T(n)=n(n+1)(n+2)/6\).

Asosiy umumiy natija: \(T_k(n)=[2^k(n-1)+1][2^k(n-1)+2][2^k(n-1)+3]/6\).

Indeks tuzilmasi: \(2^k(n-1)+1\).

Manba rasmlari: Maqolada 19 ta raqamlangan rasm mavjud. Ularning katta qismi Wolfram Alpha, Maple va Excel ekran chiqishlari boʻlib, maxsus ketma-ketliklarni hosil qilish, koeffitsiyentlarni umumlashtirish, hisoblash triangulyatsiyasi, koʻpaytuvchilarga ajratish va boshqa sonli ketma-ketliklarga kengaytirish bosqichlarini hujjatlashtiradi.

Manba ichidagi muhim nomuvofiqlik 1: PDF asosiy matnidagi Formula (6) \(n^3\) koeffitsiyentini 15,384 deb bosgan, Figure 6 Wolfram Alpha chiqishi esa 16,384 qiymatini koʻrsatadi. Umumiy Formula (9) ham \(k=5\) uchun 16,384 qiymatini qoʻllab-quvvatlaydi.

Manba ichidagi muhim nomuvofiqlik 2: Formula (14) dan darhol oldingi jumla Formula (14) ni oʻz chiqarilishida havola qiladi; matematik oqim Formula (13) ni koʻrsatadi.

Moliyalashtirish: Tadqiqot tashqi moliyalashtirish olmagan.

Etika kengashi: Qoʻllanilmaydi.

Xabardor qilingan rozilik: Qoʻllanilmaydi.

Maʼlumotlar mavjudligi: Yangi maʼlumot yaratilmagan yoki tahlil qilinmagan; maʼlumot almashish qoʻllanilmaydi.

Manfaatlar toʻqnashuvi: Muallif manfaatlar toʻqnashuvi yoʻqligini bildirgan.

Muallif hissasi: Manba bitta muallifga tegishli va alohida CRediT/Author Contributions boʻlimi hisobot qilinmagan; manbada mavjud boʻlmagan vazifa taqsimoti yaratilmagan.

Pedagogik maʼlumot chegarasi: Oʻqituvchi nomzodlarining reflektiv izohlari standartlar va taʼlim nazariyalariga moslikni misollash uchun berilgan; tadqiqot ularni tizimli sifat maʼlumotlari tahlili yoki nazorat qilinadigan pedagogik taʼsir oʻlchovi sifatida ishlatmaydi.

Mualliflik huquqi va qayta foydalanish qaydi: Maqola CC BY litsenziyasiga ega. Ushbu Verianla matni manba maqolaning mexanik oʻzbekcha tarjimasi emas. Matematik tenglamalar, manba sonlari, usul bosqichlari va talqin chegaralari saqlangan holda mustaqil oʻqitish tuzilmasida qayta bayon qilingan. Manba ekran tasvirlarini aynan nusxalash oʻrniga formulalar va ochiq matematik bogʻlanishlardan original Verianla sxemalarini yaratish maqsadga muvofiqroq.