Тетраэдрдик сандардын элеги — тетраэдрдик сандар тизмегинен башталып, ар бир баскычта мурунку тизмектин ар бир экинчи мүчөсүн алып салуу аркылуу алынуучу ички тизмектердин үй-бүлөсү. Sergei Abramovichтин концептуалдык изилдөөсү Архимеддин математикалык ачылышта “механикалык ыкма” менен формалдык далилдөөнү бири-бирин толуктаган баскычтар катары кароосунан чыгып, бул байыркы идеяны Wolfram Alpha, Maple жана Excel аркылуу жүргүзүлгөн заманбап эсептөөчү изилдөөлөр менен байланыштырат. Изилдөө адегенде атайын тетраэдрдик сандар элегин Wolfram Alpha менен түзөт, андан соң коэффициенттердеги үлгүлөрдөн жалпы формуланы өнүктүрөт, бул жыйынтыкты Maple жана электрондук жадыбал аркылуу өз алдынча текшерет жана акыры алынган түзүлүштү Cullen-сыяктуу индекстер аркылуу натуралдык, үч бурчтук жана Fibonacci сандар тизмектерине кеңейтет.

Баштапкы чекит — үч бурчтук сандардын жарым-жартылай суммаларынан түзүлгөн тетраэдрдик сандар. \(n\)-чи тетраэдрдик сан

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

формуласы менен берилет жана \(1,4,10,20,35,56,84,\ldots\) тизмегин түзөт. Изилдөөдө бул баштапкы тизме “нөлүнчү даражадагы элек” катары кабыл алынат. Биринчи даражадагы электе ар бир экинчи мүчө алынып салынат; ошол эле иш жаңы тизмекте кайталанганда экинчи, үчүнчү жана андан жогорку даражадагы электер пайда болот.

Изилдөөнүн математикалык өзөгү — \(k\)-чы даражадагы электеги \(n\)-чи мүчөнү татаал үчүнчү даражадагы полином формасынан

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

түрүндөгү жөнөкөй формага келтирүү. Бул туюнтма элегичтик операция маанилерден көрө индекстерди уюштурарын көрсөтөт: \(k\)-чы электин \(n\)-чи мүчөсү баштапкы тетраэдрдик тизмектин \(2^k(n-1)+1\)-чи мүчөсү болуп саналат.

Автор бул индекстерди Cullen-сыяктуу сандар деп атайт. \(k=n-1\) болгондо туюнтма классикалык Cullen санынын формасына өтөт. Ушул эле индекс логикасынын натуралдык, үч бурчтук жана Fibonacci тизмектеринде да иштеши ыкманын тетраэдрдик сандарга гана тиешелүү эмес экенин көрсөтөт.

Изилдөөнүн педагогикалык дооматы — санариптик курал математикалык ой жүгүртүүнүн ордун басат деген эмес. Wolfram Alpha үлгүнү көрүнүктүү кылып, символдук жалпылоону жеңилдетет; Maple жана Excel жыйынтыктарды башка эсептөө жолдору менен текшерет; математикалык ой жүгүртүү болсо алынган татаал формуланы көбөйткүчтөргө ажыратып, жөнөкөй түзүлүштү ачып көрсөтөт. Ошентип, технология ачылышты ылдамдатат, ал эми математикалык рефлексия эсептөөнү түшүнүктүүрөөк жана натыйжалуураак кылат.

Бул иш көзөмөлдөнгөн окутуу эксперименти эмес. Мугалимдикке талапкерлердин рефлексиялык комментарийлери педагогикалык алкакты мисал кылуу үчүн колдонулган; технология колдонуу студенттердин жетишкендигин белгилүү деңгээлде жогорулатарын көрсөткөн системалуу тандалма, көзөмөл тобу же статистикалык таасир талдоосу жок.

Архимеддин “механикалык ыкма” идеясы эмне үчүн баштапкы чекит болуп саналат?

Макала Архимед менен Эратосфендин ортосундагы байыркы математикалык салтка таянган бир ойдон чыгат: натыйжага жетүү үчүн адегенде интуитивдүү, механикалык же эксперименттик жол колдонулушу мүмкүн; андан кийин табылган байланыштын математикалык далили түзүлөт.

Санариптик доордо бул “механикалык ыкманын” заманбап эквиваленти эсептөө эксперименти болушу мүмкүн. Программа көп сандагы атайын учурларды тез эсептеп, тизмектердеги үлгүлөрдү көрсөтүп же мүмкүн болгон жабык формаларды сунуштай алат. Бирок программалык чыгарылыш менен математикалык тууралык бир эле нерсе эмес. Ошондуктан Abramovichтин моделинде ачылыш, текшерүү жана математикалык рефлексия бири-биринен ажырагыс.

Макаланын мугалим даярдоо жагынан негизги идеясы да ушул: келечектеги математика мугалими программадан кайсы баскычты басууну гана эмес, алынган жыйынтык эмнени билдирерин, эмне үчүн туура болушу мүмкүн экенин, аны кантип өз алдынча текшерүүгө болорун жана математикалык түзүлүштү программалык чыгарылыштан кантип бөлүп алууга болорун үйрөнүшү керек.

Тетраэдрдик сан деген эмне?

Үч бурчтук сандар

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

түрүндө аныкталышы мүмкүн. Алгачкы маанилер \(1,3,6,10,15,\ldots\) түрүндө.

Тетраэдрдик сандар болсо үч бурчтук сандардын жарым-жартылай суммалары:

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

Демек, алгачкы тетраэдрдик сандар:

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

болот.

Ошол эле сан башка геометриялык көз караштан да пайда болот. \(n\) чекиттен үчтөн тандалганда үч бурчтук түзө алган чекиттер үчтүктөрүнүн саны

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

түрүндө. Индексти жылдыруу менен бул туюнтма тетраэдрдик сан формасына байланышат. Макала мындай эквиваленттүү, бирок ар башка индекс менен берилген көрүнүштөр кийин санариптик жалпылоодо пайда болгон индекс жылыштарын түшүнүү жагынан педагогикалык мааниге ээ экенин баса белгилейт.

Тетраэдрдик Сандар Элеги Кантип Түзүлөт?

Тетраэдрдик сандар элеги баштапкы тетраэдрдик сандар тизмегин нөлүнчү даража деп алып, ар бир жаңы даражада мурунку тизмектеги ар бир экинчи мүчөнү алып салуу менен түзүлөт; ошентип \(k\)-чы даражадагы электе калган мүчөлөр баштапкы тизмекте \(2^k(n-1)+1\) индекстерине ээ болот.

Нөлүнчү даража

Баштапкы тетраэдрдик тизмектин өзү:

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

түрүндө жазылат.

Алгачкы мүчөлөр:

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

Биринчи даража

Нөлүнчү тизмектин ар бир экинчи мүчөсү алынып салынганда:

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

тизмеги алынат. Wolfram Alpha бул үчүн

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

жабык формасын берет.

Экинчи жана үчүнчү даражалар

Элөө кайталанганда:

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

жана

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

формулалары алынат.

Төртүнчү, бешинчи жана алтынчы даражалар

Төртүнчү даража үчүн булакта

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

берилет.

Бешинчи даража үчүн PDFтин негизги текстиндеги Formula (6) төмөнкүдөй басылган:

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

Булак ичиндеги дал келбестик жөнүндө эскертүү: Ушул эле макаланын Figure 6 Wolfram Alpha экранында биринчи коэффициент 16 384 деп көрсөтүлгөн. Кийин чыгарылган \(a_k=2^{3k-1}/3\) жалпы коэффициенти да \(k=5\) үчүн \(16384/3\) берет. Мындан тышкары, булак текстиндеги 15,384 мааниси колдонулганда көрсөтүлгөн тизме кайра алынбайт. Ошондуктан Formula (6) ичиндеги 15,384 мааниси жарыяланган тексттеги мүмкүн болгон терүү катасы катары белгилениши керек; булак унчукпай өзгөртүлбөшү керек.

Алтынчы даража үчүн:

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

Эмне үчүн үчүнчү даражадагы полином пайда болот?

Булак бардык тетраэдрдик электер үчүнчү даражадагы полином формасында экенин байкап, жалпы түзүлүштү

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

деп аныктайт.

Бул жерде:

• \(n\): тиешелүү электин ичиндеги мүчөнүн ирети;
• \(k\): электин даражасы;
• \(a_k,b_k,c_k,d_k\): элөө даражасына көз каранды коэффициенттер;
• \(T_k(n)\): \(k\)-чы даражадагы электин \(n\)-чи мүчөсү.

Бул чоңдуктардын физикалык бирдиктери жок; алардын баары бүтүн сандар тизмектери жана индекстер менен байланышкан өлчөмсүз математикалык чоңдуктар.

\(a_k\) коэффициенти

Wolfram Alpha аркылуу алынган атайын учурлардын \(n^3\) коэффициенттеринде экинин даражалары ачык үлгү түзөт:

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

Бул формула \(k\) бирге көбөйгөндө эң жогорку даражадагы коэффициент сегиз эсе масштабдалганын көрсөтөт; анткени \(2^{3(k+1)-1}/2^{3k-1}=2^3=8\).

\(b_k\) коэффициенти

Экинчи даражадагы мүчөнүн коэффициенти:

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

түрүндө жалпыланат.

\(c_k\) коэффициенти

Булак көбүрөөк атайын учурлар керек экенин белгилеп, жетинчи даражадагы электи да түзөт жана \(c_k\) үчүн

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

туюнтмасына жетет.

PDFтеги Formula (11) текст сабында \(n^2\) коэффициентинин цифраларды топтоосу иретсиз көрүнөт; бирок ошол эле беттеги Wolfram Alpha Figure 9 чыгарылышы маанини так 3 096 576 деп көрсөтөт. Ошондуктан сүрөт тексттеги терүү бүдөмүктүгүн булактын ичинде чечкен кошумча далил берет.

\(d_k\) коэффициенти

Туруктуу мүчө:

\[ 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} \]

түрүндө жазылат.

Коэффициенттерди бириктирүү

Бул коэффициенттер Formula (8) ге коюлганда булакта Formula (14) катары берилген узун жалпы туюнтма алынат:

\[ \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} \]

Номерлөө жөнүндө эскертүү: Булак бул теңдеменин дароо алдында “Formulas (9), (10), (12), and (14)” деген сөз айкашын колдонот. Formula (14) ошол сапта али түзүлүп жаткандыктан жана \(d_k\) Formula (13) те берилгендиктен, контекст Formula (13) ни билдирип жатканын көрсөтөт. Verianla жарыяланган бул номерлөө айырмасын жашырбайт.

Эмне үчүн татаал формула акыркы чекит эмес?

Макаланын педагогикалык жактан эң маанилүү баскычтарынын бири ушул жерден башталат. Wolfram Alpha менен алынган Formula (14) математикалык жактан колдонулса да, түзүлүштүн негизги логикасын оңой көрсөтпөйт.

Автор тетраэдрдик сандардын баштапкы үч сызыктуу көбөйткүчтүн көбөйтүндүсү түрүн эске салып, жалпы полиномду да көбөйткүчтөргө ажыратууну сунуштайт. Wolfram Alpha аркылуу факторлоштуруу алда канча жөнөкөй Formula (15) ти берет:

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

Бул жөнөкөйлөтүү эсептөөнү гана жеңилдетпейт. Элөө процессинин математикалык өзөгүн да көрүнүктүү кылат.

Эсептөөчү Триангуляция Деген Эмне?

Эсептөөчү триангуляция — бир эле математикалык жыйынтыкты бир гана программалык чыгарылышка таяндырбай, ар башка эсептөө куралдары аркылуу көз карандысыз жолдор менен текшерүү ыкмасы; изилдөөдө Wolfram Alpha менен иштелип чыккан жалпы тетраэдрдик элек жыйынтыктары Maple жана Excel менен кайра эсептелип салыштырылган.

Эмне үчүн бир нече программа колдонулат?

Компьютердик алгебра системасы татаал символдук операцияларды тез аткара алат; бирок колдонуучунун туура эмес киргизүүсү, коддоо катасы, жөнөкөйлөтүү формасы же куралдардын ар башка алгоритмдик жүрүм-туруму себептүү бир эле чыгарылышты суроо койбой кабыл алуу математика билим берүү жагынан көйгөйлүү.

Abramovich ошондуктан математикалык изилдөөлөрдөгү жана коомдук илимдердеги “triangulation” идеясын эсептөөгө ылайыкташтырат. Ошол эле жыйынтыкты башка курал же өкүлчүлүк формасы менен кайра алуу ишенимдүүлүк үчүн кошумча текшерүү болуп саналат.

Wolfram Alphaнын ролу

Wolfram Alpha изилдөөдө эки баскычта колдонулат.

Биринчи баскычта белгилүү элек тизмектери киргизилип, алар үчүн мүмкүн болгон жабык полином формалары алынат. Экинчи баскычта бул полиномдордун коэффициенттер тизмектери кайра Wolfram Alphaга берилип, коэффициенттердин \(k\) га көз каранды жалпы формалары изилденет.

Ошондуктан курал жөн гана эсептегич эмес; атайын учурдан символдук жалпылоого өтүүдө үлгү таануу куралы катары колдонулат.

Mapleдын ролу

Maple Formula (14) төн алынган сандык матрицаны көз карандысыз компьютердик алгебра системасында кайра эсептөө үчүн колдонулат.

Булакта өзгөчө \(T_9(10)\) үчүн

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

мааниси көрсөтүлөт. Ушул эле маани Wolfram Alpha жана Maple чыгарылыштарында алынат.

Excelдин ролу

Электрондук жадыбал символдук алгебра жагынан Wolfram Alpha же Maple сыяктуу күчтүү эмес; бирок эки өлчөмдүү \(n\)-\(k\) түзүлүшүн уячалар матрицасы түрүндө так көрсөтө алат.

Булакта Formula (14) Excel уяча формуласына айландырылып, таблица боюнча көчүрүлөт. Ошентип Wolfram Alpha жана Maple түзгөн сандар матрицасы үчүнчү чөйрөдө кайра курулат.

Бул үч тараптуу текшерүүнүн педагогикалык мааниси “үч программа бирдей нерсе айтты, демек математика далилденди” деген эмес. Автор муну санариптик доордогу механикалык ыкмалардын ишенимдүүлүгүн жогорулаткан жана формалдык ой жүгүртүүнү колдогон колдонмо катары карайт.

Figure 12–14 эмне үчүн өзгөчө маанилүү?

Figure 12 Formula (14) тү колдонуп \(k=0,\ldots,9\) жана \(n=1,\ldots,10\) үчүн түзүлгөн Wolfram Alpha матрицасын көрсөтөт.

Figure 13 ошол эле түзүлүштүн Maple чыгарылышын, Figure 14 болсо электрондук жадыбал вариантын берет.

Бул үч сүрөттүн илимий функциясы бир эле маалыматты үч жолу кооздук үчүн көрсөтүү эмес. Алар изилдөөнүн “эсептөөчү триангуляция” тезисинин түз визуалдык далил катмары болуп саналат.

Математика технологияга кантип кайра кайрылат?

Изилдөөнүн “математика менен технологиянын кош мүнөзү” деген тезиси ушул жерде көрүнөт. Биринчи баскычта технология математикалык ачылышты жеңилдетет. Андан кийин математикалык ой жүгүртүү технология жараткан татаал туюнтманы карап, жакшыраак түзүлүш табат.

Formula (14) түн Formula (15) ке факторлоштурулушу мунун негизги мисалы. Технология алгачкы жалпылоону табууга жардам берет; математикалык түзүлүш болсо кийин эсептөөнүн кыскараак жана түшүнүктүүрөөк формасын берет.

Cullen Типиндеги Элөө Кантип Иштейт?

Cullen типиндеги элөө — тизмекте ар бир баскычта ар бир экинчи мүчө өчүрүлгөндө калган мүчөлөрдүн баштапкы тизмектеги индекстери \(2^k(n-1)+1\) формасына баш ийиши; бул индекс эрежеси тизмектин маанилеринен көз каранды эмес болгондуктан, натуралдык, үч бурчтук, тетраэдрдик жана Fibonacci сандар тизмектеринде ошол эле түзүлүш менен колдонулушу мүмкүн.

Cullen-сыяктуу сан деген эмне?

Formula (15) тегы

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

туюнтмасы \(T_k(n)\) дин баштапкы тетраэдрдик тизмектеги ордун берет.

Автор мындай формадагы индекстерди Cullen-like numbers / Cullen-сыяктуу сандар деп атайт.

\(k=n-1\) тандалса:

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

алынат жана изилдөө муну Cullen сандары менен байланыштырат.

Мисал: экинчи даражадагы электин үчүнчү мүчөсү

\(k=2\) жана \(n=3\) үчүн:

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

Демек, экинчи даражадагы тетраэдрдик электин үчүнчү мүчөсү баштапкы тетраэдрдик тизмектин тогузунчу мүчөсү:

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

Чынында эле экинчи даражадагы элек

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

тизмегинин үчүнчү мүчөсү 165.

Тогузунчу даража мисалы

Изилдөөнүн эсептөөчү триангуляция матрицасындагы чоң мисал \(T_9(10)\).

Бул мүчөнүн баштапкы тетраэдрдик тизмектеги ирети:

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

болот.

Ошондуктан:

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

Wolfram Alpha, Maple жана Excel бирдей көрсөткөн маани ушул индекс түзүлүшү менен түз түшүндүрүлөт.

Натуралдык сандарга колдонуу

Ар бир экинчи мүчө кайра-кайра алынып салынган натуралдык сандар тизмегинде да ушул эле индекс түзүлүшү сакталат.

Биринчи даражада калган индекстер:

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

болот; булар \(k=1\) үчүн \(2(n-1)+1\) туюнтмасы.

Үч бурчтук сандарга колдонуу

Үч бурчтук сандар үчүн \(2^k(n-1)+1\) мааниси баштапкы үч бурчтук тизмектеги индекс ордуна коюлат:

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

Булак Figure 17 жана Figure 18 де бул түзүлүштү тиешелүүлүгүнө жараша Excel жана Maple менен көрсөтөт.

Fibonacci тизмегине колдонуу

Ушул эле элөө эрежеси Fibonacci тизмегине колдонулушу мүмкүн. Мисалы

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

тизмегинин ар бир экинчи мүчөсү алынса

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

тизмеги пайда болот.

Булак Binet формуласындагы индекстин ордуна Cullen-сыяктуу индексти коюп, жалпы Fibonacci элегин берет:

\[ 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]. \]

Бул формулада \(F_k(n)\) — \(k\)-чы даражадагы Fibonacci элегинин \(n\)-чи мүчөсү.

Эмне үчүн ал тизмектин түрүнө көз каранды эмес иштейт?

Элөө эрежеси сандардын чоңдугуна же тизмектин алгебралык формасына карабайт; иреттеги орунга гана карайт.

Ар бир кадамда ар бир экинчи элемент алынып салынгандыктан, калган иреттик номерлер бир эле экилик масштабдоо тартибин карманат. Ошентип натуралдык, үч бурчтук, тетраэдрдик же Fibonacci тизмектериндеги сандык маанилер ар башка болсо да, калган мүчөлөрдүн индекстери бирдей.

Жөнөкөй сандар менен байланыш

Макала андан ары Cullen-сыяктуу индекстерди жөнөкөй сандар тизмегинде индекс катары колдонууну талкуулайт.

Мисалы, биринчи даражадагы электеги индекстер \(1,3,5,7,9,\ldots\) болгондо, алар жөнөкөй сандар тизмегинин индекстери катары колдонулса:

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

тизмеги алынат.

Бул жердеги максат жөнөкөй сандар үчүн жаңы жабык формула алуу эмес. Булак жөнөкөй сандарды ирет номери боюнча жөнөкөй символдук түрдө аныктоо мүмкүн эместигин ачык айтат. Байланыштын педагогикалык мааниси — бир эле индекстөө алгоритми сандар теориясынын ар башка контексттеринде изилдөө суроолорун жаратышы.

Байыркы “Механикалык Ыкма” Санариптик Математика Мугалимин Даярдоого Кантип Көчүрүлөт?

Изилдөөдө байыркы механикалык ыкма идеясы математикалык жыйынтыкты адегенде эсептөө эксперименти жана үлгү табуу аркылуу алуу, андан кийин ар башка санариптик куралдар менен текшерүү жана акырында математикалык рефлексия аркылуу жөнөкөй түзүлүшкө айландыруу катары кайра чечмеленет; технология ачылыш куралы, математика болсо текшерүүнүн жана маани берүүнүн чечүүчү катмары бойдон калат.

TPACK байланышы

Автор бул ыкманы Технологиялык Педагогикалык Мазмундук Билим алкагы менен байланыштырат. Мугалимге математиканы гана же программаны колдонууну гана билүү жетишсиз; мазмун, педагогикалык максат жана технология тандоосу чогуу каралышы керек.

Бул изилдөөдөгү мисал мунун так көрүнүшү:

Мазмундук билим сандар теориясынан, тетраэдрдик сандардан, полиномдордон жана индекс түзүлүшүнөн; технологиялык билим Wolfram Alpha, Maple жана электрондук жадыбалдан; педагогикалык билим болсо изилдөөгө окшош суроо түзүү, божомол, текшерүү жана рефлексия процесстеринен турат.

Эпистемикалык жана прагматикалык технология колдонуу

Технология тез жооп алуу үчүн гана колдонулса, прагматикалык функция аткарат. Бирок программалык чыгарылыш жаңы математикалык байланышты байкоого, божомол түзүүгө же түшүнүктү башкача кабыл алууга жардам берсе, эпистемикалык функция да аткарат.

Formula (14)тү көбөйткүчтөргө ажыратып Formula (15)ти алуу бул өтүүнүн ачык мисалы. Программа операцияны аткарат; бирок “бул татаал полиномду эмне үчүн факторлоштурушум керек?” деген суроо математикалык ой жүгүртүүдөн чыгат.

Мугалимдикке талапкерлердин комментарийлеринин ролу

Макала автордун сабактарындагы мугалимдикке талапкерлерден алынган айрым рефлексиялык комментарийлерди педагогикалык ыкма студенттер тарабынан кандай түшүндүрүлгөнүнө мисал катары колдонот. Студенттер технология менен реалдуу жашоо, математикалык түшүнүктөр жана концептуалдык ой жүгүртүү ортосунда байланыш түзгөнүн билдиришет.

Бул комментарийлер пайдалуу сапаттык мисалдар; бирок булакта системалуу коддоо, катышуучулардын саны, тематикалык талдоо протоколу, салыштыруу тобу же таасир өлчөмү берилбейт. Ошондуктан аларды өз алдынча билим берүүнүн натыйжалуулугунун далили катары колдонууга болбойт.

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Изилдөөнүн түрү жана материалдар

Макала концептуалдык математика мугалимин даярдоо изилдөөсү. Колдонулган материалдар үч негизги топто:

• санариптик математика куралдары: Wolfram Alpha, Maple 2025 жана Microsoft Excel;
• байыркы жана тарыхый математика булактары;
• математиканы окутуу жана мугалим даярдоо стандарттары менен педагогикалык алкактар.

Wolfram Alphaга кирүү датасы булакта 20 Апрель 2026 деп көрсөтүлгөн.

Математикалык изилдөө агымы

Сүрөт 1–7: атайын учурларды түзүү

Алгачкы жети сүрөт Wolfram Alpha экран сүрөттөрү. Figure 1 тетраэдрдик сандардын баштапкы жабык формасын; Figure 2–7 тиешелүүлүгүнө жараша биринчи–алтынчы даражадагы электердин сан тизмектерин жана полиномдорун көрсөтөт.

Бул баскычтын илимий ролу түздөн-түз “далил” берүүдөн көрө кийинки жалпылоо үчүн сандык жана символдук мисалдарды түзүү.

Сүрөт 8–11: коэффициент үлгүлөрүн жалпылоо

Бул сүрөттөрдө эми тетраэдрдик тизмектин өзү эмес, полином коэффициенттеринен түзүлгөн жаңы тизмектер Wolfram Alphaга берилет.

Ошентип изилдөө эки катмарлуу жалпылоону ишке ашырат:

адегенде сан тизмегинен белгилүү \(T_k(n)\) полиномуна, андан кийин ар башка \(k\) маанилериндеги полином коэффициенттеринен жалпы \(a_k,b_k,c_k,d_k\) формулаларына өтүлөт.

Сүрөт 12: жалпы формуланын эки өлчөмдүү модели

Formula (14) \(k=0\ldots9\) жана \(n=1\ldots10\) аралыктарында Wolfram Alpha менен таблицага айландырылат.

Бул матрица ар башка элек даражаларын да, бир эле электин ичиндеги мүчөлөрдүн иретин да бир түзүлүштө көрсөтөт.

Сүрөт 13–14: текшерүү

Figure 13 Maple, Figure 14 болсо Excel ошол эле сандык түзүлүштү кайра жаратканын көрсөтөт.

Айрыкча оң ылдыйкы маани:

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

үч чөйрөдө тең бирдей.

Бул дал келүү булакта эсептөөчү триангуляциянын ачык мисалы катары берилет.

Сүрөт 15: математикалык жөнөкөйлөтүү

Figure 15 Formula (14) түн көбөйткүчтөргө ажыратылышын көрсөтөт. Жыйынтык Formula (15):

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

Бул кайра жазуу кеңейтилген полиномдун артындагы негизги тетраэдрдик түзүлүштү көрүнүктүү кылат.

Сүрөт 16–19: башка тизмектерге кеңейтүү

Figure 16 натуралдык сандардын электерин, Figure 17 үч бурчтук сандардын электерин Excelде; Figure 18 үч бурчтук электерин Mapleда; Figure 19 болсо Fibonacci электерин Wolfram Alphaда көрсөтөт.

Бул сүрөттөр изилдөөнүн негизги жалпылоосун колдойт: ар бир экинчи мүчө баскычтуу алынып салынганда калган элементтердин баштапкы тизмектеги ирет номерлери тизмектин маанилеринен көз карандысыз бир эле Cullen-сыяктуу түзүлүштү карманат.

Булак ичиндеги маанилүү сандык текшерүү

Элөө эрежесинин негизги жыйынтыгы

Изилдөөнүн математикалык жактан эң маанилүү жыйынтыгы кайталанган “ар бир экинчи мүчөнү алып сал” амалы \(k\)-чы даражада калган баштапкы ирет номерлерин

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

формасына айландырышы.

Ошондуктан тизмектин жабык формасы \(A(n)\) белгилүү болсо, тиешелүү электин табигый талапкери:

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

түрүндө ойлонулушу мүмкүн.

Бул акыркы туюнтма Verianla тарабынан булак математикасынын түшүндүрмө иретинде кайра жазылышы; жаңы эксперименттик жыйынтык эмес. Ал тетраэдрдик, үч бурчтук жана Fibonacci мисалдарында булак ачык колдонгон индекс алмаштыруунун жалпы түзүлүшүн көрсөтөт.

Математикалык натыйжалуулук жыйынтыгы

Formula (14) менен Formula (15) бир эле математикалык объектти сүрөттөйт, бирок Formula (15) эсептөө жана концептуалдык чечмелөө жагынан кыйла жөнөкөй.

Бул макаланын “технология математиканы, математика технологияны колдонуу ыкмасын өнүктүрөт” деген тезисинин так мисалы.

Башында технологиясыз оңой байкалбай турган татаал коэффициент байланыштары табылат; кийин математикалык рефлексия бул технологиялык чыгарылышты жөнөкөйлөтөт.

Жөнөкөй сандар менен байланыштын жыйынтыгы

Cullen-сыяктуу индекстер жөнөкөй сандар тизмегинде да индекс катары колдонулушу мүмкүн. Бирок изилдөө мындан жөнөкөй сандар үчүн жаңы жабык формула чыгарбайт.

Жыйынтык чектелүүрөөк: индекстөө алгоритмдери ар башка сан тизмектери ортосунда изилдене турган түзүмдүк байланыштарды түзөт жана мугалимдикке талапкерлер үчүн жаңы изилдөө суроолорун берет.

Педагогикалык сегиз баскычтуу алкак

Изилдөө колдогон чечмелөө

Изилдөө Wolfram Alpha, Maple жана Excel мугалимдикке талапкерлер үчүн изилдөөгө окшош сандар теориясы иш-аракеттеринде чогуу колдонулушу мүмкүн экенин көрсөтөт.

Изилдөө атайын сандык учурларды символдук жалпылоого айландыруу жана алынган жыйынтыктарды ар башка куралдар менен кайра текшерүү мүмкүн экенин көрсөтөт.

Изилдөө тетраэдрдик сандар электеринде ар бир экинчи мүчөнү кайра-кайра алып салуу \(2^k(n-1)+1\) индекс түзүлүшүнө алып келерин жана ошол эле индекс логикасын башка сан тизмектерине өткөрүүгө болорун көрсөтөт.

Изилдөө ошондой эле технология менен табылган татаал жыйынтык математикалык рефлексия аркылуу натыйжалуураак формага айландырылышы мүмкүн экенин жактайт.

Изилдөө колдобогон чечмелөө

Изилдөө Wolfram Alpha, Maple же Excel колдонуу студенттердин экзамендик упайларын белгилүү өлчөмдө жогорулатарын көрсөтпөйт.

Изилдөө санариптик курал колдонгон жана колдонбогон мугалимдикке талапкерлердин ортосунда көзөмөлдөнгөн салыштыруу жүргүзбөйт.

Мугалимдикке талапкерлердин берилген комментарийлери системалуу сапаттык изилдөө тандалмасы эмес.

Изилдөө эсептөөчү триангуляцияны классикалык математикалык далилдин бардык формаларын алмаштырган универсалдуу ыкма катары ырастабайт.

Изилдөө Cullen-сыяктуу индекстер аркылуу жөнөкөй сандар үчүн жаңы жабык формула алынганын доомат кылбайт.

Күчтүү жактары

Изилдөөнүн маанилүү күчтүү жактарынын бири математика тарыхын, сандар теориясын, санариптик куралдарды жана мугалим даярдоону бир математикалык көйгөйдүн айланасында бириктириши.

Экинчи күчтүү жагы технологияны жооп чыгарган курал катары гана эмес, божомол түзүү жана кийин өзүнүн чыгарылышын суроо астына алуу объектиси катары колдонушу.

Үчүнчү күчтүү жагы Wolfram Alpha чыгарылышын Maple жана электрондук жадыбал менен кайчылаш текшерүү.

Төртүнчү күчтүү жагы татаал жалпы полином факторлорго ажыратылганда алда канча жөнөкөй индекс түзүлүшү көрүнүктүү болуп, бул түзүлүш ар башка сан тизмектерине кеңейтиле алышы.

Негизги чектөөлөр

Макала концептуалдык мүнөздө жана сунушталган педагогикалык ыкманын окуу натыйжаларын көзөмөлдөнгөн эксперимент менен өлчөбөйт.

Мугалимдикке талапкерлердин рефлексиялык комментарийлери колдоочу мисалдар; тандалма, коддоо жана сапаттык талдоо протоколу баяндалган эмес.

Wolfram Alpha менен Maple ар башка куралдар болсо да, экөө тең компьютердик алгебра салтынын ичинде айрым алгоритмдик окшоштуктарга ээ болушу мүмкүн. Булак муну ачык талкуулап, бир эле символдук катаны бөлүшүү ыктымалдыгы толук жоголбой турганын моюнга алат.

Электрондук жадыбал да колдонуучунун формуласына жана уяча шилтемелерине көз каранды болгондуктан өз алдынча ката ыктымалдыгын камтыйт.

Ошондуктан эсептөөчү триангуляция математикалык маанилештирүүнү жана атайын учурларды текшерүүнү керексиз кылбайт.

Кайра өндүрүлүүчүлүк

Изилдөө колдонулган негизги программаларды, Maple версиясын, негизги тизмектерди, математикалык формулаларды, электрондук жадыбал уяча формуласын жана үлгү \(n\)-\(k\) аралыктарын баяндайт.

Ошондуктан математикалык эсептөө агымынын чоң бөлүгүн кайра түзүүгө болот.

Бирок Wolfram Alpha онлайн кызмат болгондуктан келечектеги интерфейс, үлгү таануу же чыгарылыш форматы өзгөрүүлөрү ошол эле экран сүрөттөрүн так кайра алууга кепилдик бербейт. Илимий кайра өндүрүлүүчүлүк үчүн маанилүүсү сүрөттүн көрүнүшү эмес, формулалар менен сандарды кайра эсептей алуу.

Булак жана Ыкма Жөнүндө Эскертүү

Түп нуска изилдөө: Using Ancient Ideas and Digital Tools in Mathematics Teacher Education

Автор: Sergei Abramovich.

Мекеме: Department of Teacher Education, State University of New York at Potsdam, Potsdam, NY 13676, USA.

Журнал: Education Sciences.

Басмакана/платформа: MDPI.

Библиографиялык жазуу: Education Sciences, 2026, 16(8), Article 1268.

DOI: 10.3390/educsci16081268.

Жарыялоо процесси: Кабыл алынган 6 Май 2026; түзөтүү 1 Август 2026; кабыл алуу 3 Август 2026; жарыялоо 9 Август 2026.

Атайын чыгарылыш: Integrating Technology in Mathematics Teaching and Learning.

Булактын түрү: Рецензияланган, жарыяланган концептуалдык математика билим берүү изилдөө макаласы.

Мурунку версия: Ушул эле аталыштагы preprint версиясы Preprints.org сайтында 8 Май 2026 күнү жарыяланган. Жүктөлгөн булак — андан кийинки рецензияланган журналдык версия.

Лицензия: Creative Commons Attribution (CC BY).

Негизги математикалык объект: Тетраэдрдик сандар электери жана алардын Cullen тибиндеги/Cullen-сыяктуу индекс түзүлүштөрү.

Негизги санариптик куралдар: Wolfram Alpha, Maple 2025 жана Microsoft Excel.

Негизги ыкма: Эсептөөчү ачылыш, атайын учурлардан символдук жалпылоо, математикалык рефлексия жана бир нече санариптик курал менен эсептөөчү триангуляция.

Негизги баштапкы формула: \(T(n)=n(n+1)(n+2)/6\).

Негизги жалпы жыйынтык: \(T_k(n)=[2^k(n-1)+1][2^k(n-1)+2][2^k(n-1)+3]/6\).

Индекс түзүлүшү: \(2^k(n-1)+1\).

Булактагы сүрөттөр: Макалада 19 номерленген сүрөт бар. Алардын көбү Wolfram Alpha, Maple жана Excel экран чыгарылыштары болуп, атайын тизмектерди түзүү, коэффициенттерди жалпылоо, эсептөөчү триангуляция, факторлорго ажыратуу жана башка сан тизмектерине кеңейтүү баскычтарын документтештирет.

Булак ичиндеги маанилүү дал келбестик 1: PDFтин негизги текстиндеги Formula (6) \(n^3\) коэффициентин 15,384 деп басса, Figure 6 Wolfram Alpha чыгарылышы 16,384 маанисин көрсөтөт. Жалпы Formula (9) да \(k=5\) үчүн 16,384 маанисин колдойт.

Булак ичиндеги маанилүү дал келбестик 2: Formula (14) түн дароо алдындагы сүйлөм Formula (14)тү анын өзүнүн чыгарылышында шилтеме кылат; математикалык агым Formula (13)тү көрсөтөт.

Каржылоо: Изилдөө тышкы каржылоо алган эмес.

Этика кеңеши: Колдонулбайт.

Маалымдалган макулдук: Колдонулбайт.

Маалыматтын жеткиликтүүлүгү: Жаңы маалымат түзүлгөн же талданган эмес; маалымат бөлүшүү колдонулбайт.

Кызыкчылыктардын кагылышы: Автор кызыкчылыктардын кагылышын билдирген эмес.

Автордук салымдар: Булак бир авторлуу жана өзүнчө CRediT/Author Contributions бөлүмү берилбейт; булакта жок милдет бөлүштүрүү түзүлгөн эмес.

Педагогикалык маалыматтын чеги: Мугалимдикке талапкерлердин рефлексиялык комментарийлери стандарттарга жана билим берүү теорияларына шайкештикти мисал кылуу үчүн берилген; изилдөө аларды системалуу сапаттык маалымат талдоосу же көзөмөлдөнгөн педагогикалык таасир өлчөөсү катары колдонбойт.

Автордук укук жана кайра колдонуу жөнүндө эскертүү: Макала CC BY лицензиясында. Бул Verianla тексти булак макаланын механикалык кыргызча котормосу эмес. Математикалык теңдемелер, булактагы сандар, ыкма кадамдары жана чечмелөө чектери сакталуу менен өз алдынча окутуу түзүлүшүндө кайра баяндалган. Булактагы экран сүрөттөрүн пиксел-пиксел көчүрүүнүн ордуна формулалардан жана ачык математикалык байланыштардан оригиналдуу Verianla схемаларын түзүү ылайыктуураак.