Tetraedrik ədəd ələyi, tetraedrik ədədlər ardıcıllığından başlayaraq hər mərhələdə əvvəlki ardıcıllığın hər ikinci həddinin çıxarılması ilə alınan alt ardıcıllıqlar ailəsidir. Sergei Abramovich-in konseptual işi Arximedin riyazi kəşfdə “mexaniki üsul” ilə formal sübutu bir-birini tamamlayan mərhələlər kimi görməsi ideyasından çıxış edərək bu qədim düşüncəni Wolfram Alpha, Maple və Excel vasitəsilə aparılan müasir hesablama kəşfləri ilə əlaqələndirir. Tədqiqat əvvəlcə xüsusi tetraedrik ədəd ələklərini Wolfram Alpha ilə yaradır, sonra əmsal nümunələrindən ümumi düstur hazırlayır, bu nəticəni Maple və elektron cədvəllə müstəqil şəkildə yoxlayır və nəhayət yaranan quruluşu Cullen-bənzər indekslər vasitəsilə natural, üçbucaqlı və Fibonacci ədəd ardıcıllıqlarına genişləndirir.

Başlanğıc nöqtəsi üçbucaqlı ədədlərin qismən cəmlərindən ibarət tetraedrik ədədlərdir. \(n\)-ci tetraedrik ədəd

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

düsturu ilə verilir və \(1,4,10,20,35,56,84,\ldots\) ardıcıllığını yaradır. Tədqiqatda bu ilkin ardıcıllıq “sıfırıncı dərəcəli ələk” kimi qəbul edilir. Birinci dərəcəli ələkdə hər ikinci hədd çıxarılır; eyni əməliyyat yeni ardıcıllıq üzərində təkrarlandıqda ikinci, üçüncü və daha yüksək dərəcəli ələklər yaranır.

Tədqiqatın riyazi nüvəsi \(k\)-cı dərəcəli ələkdəki \(n\)-ci həddin mürəkkəb üçüncü dərəcəli polinom formasından

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

şəklində daha sadə formaya endirilməsidir. Bu ifadə göstərir ki, ələmə əməliyyatı qiymətlərdən çox indeksləri təşkil edir: \(k\)-cı ələyin \(n\)-ci həddi ilkin tetraedrik ardıcıllığın \(2^k(n-1)+1\)-ci həddidir.

Müəllif bu indeksləri Cullen-bənzər ədədlər adlandırır. \(k=n-1\) olduqda ifadə klassik Cullen ədədi formasına çevrilir. Eyni indeks məntiqinin natural, üçbucaqlı və Fibonacci ardıcıllıqlarında da işləməsi üsulun yalnız tetraedrik ədədlərə xas olmadığını göstərir.

Tədqiqatın pedaqoji iddiası rəqəmsal alətin riyazi düşüncəni əvəz etməsi deyil. Wolfram Alpha nümunəni görünən edir və simvolik ümumiləşdirməni asanlaşdırır; Maple və Excel nəticələri başqa hesablama yolları ilə yoxlayır; riyazi düşüncə isə əldə edilmiş mürəkkəb düsturu vuruqlara ayıraraq daha sadə quruluşu üzə çıxarır. Beləliklə, texnologiya kəşfi sürətləndirərkən riyazi refleksiya hesablamanı daha anlaşıqlı və səmərəli edir.

Bu iş nəzarətli tədris eksperimenti deyil. Müəllim namizədlərinin reflektiv şərhlərindən pedaqoji çərçivəni nümunələndirmək üçün istifadə edilmişdir; texnologiya istifadəsinin tələbə nailiyyətini müəyyən səviyyədə artırdığını göstərən sistematik seçmə, nəzarət qrupu və ya statistik təsir analizi yoxdur.

Arximedin “mexaniki üsul” ideyası niyə başlanğıc nöqtəsidir?

Məqalə Arximed ilə Eratosfen arasındakı qədim riyazi ənənəyə əsaslanan bir düşüncədən çıxış edir: nəticəyə çatmaq üçün əvvəlcə intuitiv, mexaniki və ya eksperimental yol istifadə oluna bilər; sonra tapılmış əlaqənin riyazi sübutu qurulur.

Rəqəmsal dövrdə bu “mexaniki üsul” anlayışının müasir qarşılığı hesablama eksperimenti ola bilər. Proqram çox sayda xüsusi halı sürətlə hesablaya, ardıcıllıqlardakı nümunələri görünən edə və ya mümkün qapalı formaları təklif edə bilər. Lakin proqram çıxışı ilə riyazi doğruluq eyni şey deyil. Buna görə Abramovich-in modelində kəşf, yoxlama və riyazi refleksiya bir-birindən ayrılmazdır.

Məqalənin müəllim təhsili baxımından əsas fikri də budur: gələcəyin riyaziyyat müəllimi yalnız proqramın hansı düyməsinə basacağını deyil, çıxışın nə demək olduğunu, niyə doğru ola biləcəyini, necə müstəqil şəkildə sınana biləcəyini və riyazi quruluşun proqram çıxışından necə çıxarıla biləcəyini öyrənməlidir.

Tetraedrik ədəd nədir?

Üçbucaqlı ədədlər

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

şəklində müəyyən edilə bilər. İlk qiymətlər \(1,3,6,10,15,\ldots\) şəklindədir.

Tetraedrik ədədlər isə üçbucaqlı ədədlərin qismən cəmləridir:

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

Beləliklə ilk tetraedrik ədədlər:

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

olur.

Eyni ədəd fərqli həndəsi baxışla da yaranır. \(n\) nöqtədən üçlü seçim edildikdə üçbucaq yarada biləcək nöqtə üçlüklərinin sayı

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

şəklindədir. İndeksin sürüşdürülməsi ilə bu ifadə tetraedrik ədəd formasına bağlana bilər. Məqalə belə ekvivalent, lakin fərqli indekslənmiş təsvirlərin sonradan rəqəmsal ümumiləşdirmədə ortaya çıxan indeks sürüşmələrini anlamaq baxımından pedaqoji dəyər daşıdığını vurğulayır.

Tetraedrik Ədəd Ələyi Necə Yaradılır?

Tetraedrik ədəd ələyi ilkin tetraedrik ədədlər ardıcıllığının sıfırıncı dərəcə qəbul edilməsi və hər yeni dərəcədə əvvəlki ardıcıllıqdakı hər ikinci həddin çıxarılması ilə yaradılır; beləliklə \(k\)-cı dərəcəli ələkdə qalan hədlər ilkin ardıcıllıqda \(2^k(n-1)+1\) indekslərini daşıyır.

Sıfırıncı dərəcə

İlkin tetraedrik ardıcıllığın özü:

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

kimi yazılır.

İlk hədlər:

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

Birinci dərəcə

Sıfırıncı ardıcıllığın hər ikinci həddi çıxarıldıqda:

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

ardıcıllığı alınır. Wolfram Alpha bunun üçün

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

qapalı formasını verir.

İkinci və üçüncü dərəcə

Ələmə təkrarlandıqda:

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

və

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

düsturları alınır.

Dördüncü, beşinci və altıncı dərəcələr

Dördüncü dərəcə üçün mənbədə

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

verilir.

Beşinci dərəcə üçün PDF-in əsas mətnindəki Formula (6) belə çap olunmuşdur:

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

Mənbədaxili uyğunsuzluq qeydi: Eyni məqalənin Figure 6 Wolfram Alpha ekranında ilk əmsal 16 384 kimi göstərilir. Sonradan çıxarılan \(a_k=2^{3k-1}/3\) ümumi əmsalı da \(k=5\) üçün \(16384/3\) verir. Bundan əlavə, mənbə mətnindəki 15,384 qiyməti istifadə edildikdə sadalanan ardıcıllıq yenidən alınmır. Buna görə Formula (6)-dakı 15,384 qiyməti dərc olunmuş mətndə mümkün yığım xətası kimi işarələnməli; mənbə səssizcə dəyişdirilməməlidir.

Altıncı dərəcə üçün:

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

Niyə üçüncü dərəcəli polinom yaranır?

Mənbə bütün tetraedrik ələklərin üçüncü dərəcəli polinom formasında olduğunu müşahidə edərək ümumi quruluşu

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

kimi müəyyən edir.

Burada:

• \(n\): müvafiq ələk daxilində həddin sırasıdır;
• \(k\): ələyin dərəcəsidir;
• \(a_k,b_k,c_k,d_k\): ələmə dərəcəsindən asılı əmsallardır;
• \(T_k(n)\): \(k\)-cı dərəcəli ələyin \(n\)-ci həddidir.

Bu kəmiyyətlərin fiziki vahidləri yoxdur; hamısı tam ədəd ardıcıllıqları və indekslərlə bağlı ölçüsüz riyazi kəmiyyətlərdir.

\(a_k\) əmsalı

Wolfram Alpha ilə alınan xüsusi halların \(n^3\) əmsallarında ikinin qüvvələri aydın nümunə yaradır:

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

Bu düstur \(k\) bir vahid artdıqda ən yüksək dərəcəli əmsalın səkkizqat miqyaslandığını göstərir; çünki \(2^{3(k+1)-1}/2^{3k-1}=2^3=8\).

\(b_k\) əmsalı

İkinci dərəcəli həddin əmsalı:

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

şəklində ümumiləşdirilir.

\(c_k\) əmsalı

Mənbə daha çox xüsusi hala ehtiyac olduğunu bildirərək yeddinci dərəcəli ələyi də yaradır və \(c_k\) üçün

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

ifadəsinə çatır.

PDF-dəki Formula (11)-in mətn sətrində \(n^2\) əmsalının rəqəm qruplaşdırılması nizamsız görünür; lakin eyni səhifədəki Wolfram Alpha Figure 9 çıxışı qiyməti açıq şəkildə 3 096 576 kimi göstərir. Buna görə şəkil mətnin yığım qeyri-müəyyənliyini mənbə daxilində həll edən əlavə sübut verir.

\(d_k\) əmsalı

Sabit hədd:

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

kimi yazılır.

Əmsalların birləşdirilməsi

Bu əmsallar Formula (8)-ə yerləşdirildikdə mənbədə Formula (14) kimi verilən uzun ümumi ifadə alınır:

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

Nömrələmə qeydi: Mənbə bu tənliyin dərhal əvvəlində “Formulas (9), (10), (12), and (14)” ifadəsini istifadə edir. Formula (14) həmin sətirdə hələ qurulduğuna və \(d_k\) Formula (13)-də verildiyinə görə kontekst Formula (13)-ün nəzərdə tutulduğunu göstərir. Verianla bu dərc olunmuş nömrələmə fərqini gizlətmir.

Mürəkkəb düstur niyə son nöqtə deyil?

Məqalənin pedaqoji baxımdan ən mühüm addımlarından biri burada başlayır. Wolfram Alpha ilə əldə olunan Formula (14) riyazi cəhətdən istifadə oluna bilsə də, quruluşun əsas məntiqini asan göstərmir.

Müəllif tetraedrik ədədlərin başlanğıcdakı üç xətti vuruğun hasili formasını xatırladaraq ümumi polinomun da vuruqlara ayrılmasını təklif edir. Wolfram Alpha ilə aparılan vuruqlara ayırma daha sadə Formula (15)-i verir:

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

Bu sadələşdirmə yalnız hesablamanı asanlaşdırmır. Ələmə prosesinin riyazi mahiyyətini də görünən edir.

Hesablama Üçbucaqlaması Nədir?

Hesablama üçbucaqlaması eyni riyazi nəticəni tək bir proqramın çıxışına buraxmaq əvəzinə fərqli hesablama alətləri ilə müstəqil yollar üzrə yoxlama yanaşmasıdır; tədqiqatda Wolfram Alpha ilə hazırlanmış ümumi tetraedrik ələk nəticələri Maple və Excel ilə yenidən hesablanaraq müqayisə edilmişdir.

Niyə birdən çox proqram istifadə olunur?

Kompüter cəbri sistemi mürəkkəb simvolik əməliyyatları sürətlə yerinə yetirə bilər; lakin istifadəçinin səhv giriş etməsi, kodlaşdırma xətası, sadələşdirmə forması və ya alətlərin fərqli alqoritmik davranışları səbəbindən tək bir çıxışı sorğulamadan qəbul etmək riyaziyyat təhsili baxımından problemlidir.

Abramovich buna görə riyazi tədqiqatlarda və sosial elmlərdəki “triangulation” düşüncəsini hesablamaya uyğunlaşdırır. Eyni nəticəni başqa bir alət və ya təsvir forması ilə yenidən əldə etmək etibarlılıq üçün əlavə yoxlama verir.

Wolfram Alpha-nın rolu

Wolfram Alpha tədqiqatda iki mərhələdə istifadə olunur.

Birinci mərhələdə müəyyən ələk ardıcıllıqları daxil edilir və onlar üçün mümkün qapalı polinom formaları alınır. İkinci mərhələdə bu polinomların əmsal ardıcıllıqları yenidən Wolfram Alpha-ya verilir və əmsalların \(k\)-dan asılı ümumi formaları araşdırılır.

Buna görə alət yalnız kalkulyator deyil; xüsusi haldan simvolik ümumiləşdirməyə keçiddə nümunə tanıma aləti kimi istifadə olunur.

Maple-ın rolu

Maple Formula (14)-dən yaradılmış ədədi matrisin müstəqil kompüter cəbri sistemi daxilində yenidən hesablanmasında istifadə olunur.

Mənbədə xüsusilə \(T_9(10)\) üçün

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

qiyməti göstərilir. Eyni qiymət Wolfram Alpha və Maple çıxışlarında alınır.

Excel-in rolu

Elektron cədvəl simvolik cəbr baxımından Wolfram Alpha və ya Maple qədər güclü deyil; lakin ikiölçülü \(n\)-\(k\) quruluşunu xana matrisi formasında aydın göstərə bilər.

Mənbədə Formula (14) Excel xana düsturuna çevrilir və cədvəl boyunca çoxaldılır. Beləliklə, Wolfram Alpha və Maple-ın yaratdığı ədəd matrisi üçüncü mühitdə yenidən qurulur.

Bu üçlü yoxlamanın pedaqoji mesajı “üç proqram eyni şeyi dediyi üçün riyaziyyat sübut olunmuşdur” deyil. Müəllif bunu rəqəmsal dövrdə mexaniki üsulların etibarlılığını artıran və formal düşüncəyə dəstək verən tətbiq kimi nəzərdən keçirir.

Figure 12–14 niyə xüsusilə vacibdir?

Figure 12, Formula (14)-dən istifadə edərək \(k=0,\ldots,9\) və \(n=1,\ldots,10\) üçün yaradılmış Wolfram Alpha matrisini göstərir.

Figure 13 eyni quruluşun Maple çıxışını, Figure 14 isə elektron cədvəl qarşılığını təqdim edir.

Bu üç şəklin elmi funksiyası eyni məlumatı üç dəfə dekorativ şəkildə göstərmək deyil. Tədqiqatın “hesablama üçbucaqlaması” tezisinin birbaşa vizual sübut qatıdır.

Riyaziyyat texnologiyaya necə geri qayıdır?

Tədqiqatın “riyaziyyat və texnologiyanın ikiliyi” tezisi burada görünən olur. İlk mərhələdə texnologiya riyazi kəşfi asanlaşdırır. Daha sonra riyazi düşüncə texnologiyanın yaratdığı mürəkkəb ifadəyə baxır və daha yaxşı quruluş tapır.

Formula (14)-ün Formula (15)-ə vuruqlara ayrılması bunun əsas nümunəsidir. Texnologiya ilkin ümumiləşdirməni yaratmağa kömək edir; riyazi quruluş isə sonradan hesablamanın daha qısa və anlaşıqlı formasını təmin edir.

Cullen Tipli Ələmə Necə İşləyir?

Cullen tipli ələmə ardıcıllıqda hər mərhələdə hər ikinci həddin silinməsi nəticəsində qalan hədlərin ilkin ardıcıllıqdakı indekslərinin \(2^k(n-1)+1\) formasını izləməsidir; bu indeks qaydası ardıcıllığın qiymətlərindən asılı olmadığı üçün natural, üçbucaqlı, tetraedrik və Fibonacci ədəd ardıcıllıqlarında eyni quruluşla istifadə oluna bilər.

Cullen-bənzər ədəd nədir?

Formula (15)-dəki

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

ifadəsi \(T_k(n)\)-in ilkin tetraedrik ardıcıllıqdakı yerini verir.

Müəllif bu formadakı indeksləri Cullen-like numbers / Cullen-bənzər ədədlər adlandırır.

\(k=n-1\) seçilsə:

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

alınır və tədqiqat bunu Cullen ədədləri ilə əlaqələndirir.

Nümunə: ikinci dərəcəli ələkdə üçüncü hədd

\(k=2\) və \(n=3\) üçün:

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

Beləliklə ikinci dərəcəli tetraedrik ələyin üçüncü həddi ilkin tetraedrik ardıcıllığın doqquzuncu həddidir:

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

Həqiqətən də ikinci dərəcəli ələk

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

ardıcıllığının üçüncü həddi 165-dir.

Doqquzuncu dərəcə nümunəsi

Tədqiqatın hesablama üçbucaqlaması matrisindəki böyük nümunə \(T_9(10)\)-dur.

Bu həddin ilkin tetraedrik ardıcıllıqdakı sırası:

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

olur.

Buna görə:

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

Wolfram Alpha, Maple və Excel-in ortaq göstərdiyi qiymət bu indeks quruluşu ilə birbaşa izah oluna bilər.

Natural ədədlərə tətbiq

Hər ikinci həddin təkrar-təkrar çıxarıldığı natural ədədlər ardıcıllığında da eyni indeks quruluşu qorunur.

Birinci dərəcədə qalan indekslər:

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

olur; bunlar \(k=1\) üçün \(2(n-1)+1\) ifadəsidir.

Üçbucaqlı ədədlərə tətbiq

Üçbucaqlı ədədlər üçün \(2^k(n-1)+1\) qiyməti ilkin üçbucaqlı ardıcıllıqdakı indeksin yerinə qoyulur:

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

Mənbə Figure 17 və Figure 18-də bu quruluşu müvafiq olaraq Excel və Maple ilə göstərir.

Fibonacci ardıcıllığına tətbiq

Eyni ələmə qaydası Fibonacci ardıcıllığına tətbiq oluna bilər. Məsələn

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

ardıcıllığının hər ikinci həddi çıxarıldıqda

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

ardıcıllığı yaranır.

Mənbə Binet düsturundakı indeksin yerinə Cullen-bənzər indeks qoyaraq ümumi Fibonacci ələyini ifadə edir:

\[ 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 düsturda \(F_k(n)\), \(k\)-cı dərəcəli Fibonacci ələyinin \(n\)-ci həddidir.

Niyə ardıcıllıq növündən asılı olmayaraq işləyir?

Ələmə qaydası ədədlərin böyüklüyünə və ya ardıcıllığın cəbri formasına baxmır; yalnız sıralamadakı mövqeyə baxır.

Hər addımda hər ikinci element çıxarıldığı üçün qalacaq sıra nömrələri eyni ikili miqyaslama qaydasını izləyir. Beləliklə, natural, üçbucaqlı, tetraedrik və ya Fibonacci ardıcıllıqlarındakı ədədi qiymətlər fərqli olsa belə, qalan hədlərin indeksləri eynidir.

Sadə ədədlərlə əlaqə

Məqalə daha sonra Cullen-bənzər indekslərin sadə ədədlər ardıcıllığında indeks kimi istifadəsini müzakirə edir.

Məsələn birinci dərəcəli ələkdəki indekslər \(1,3,5,7,9,\ldots\) olduqda bunlar sadə ədədlər ardıcıllığının indeksləri kimi istifadə edilərsə:

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

ardıcıllığı alınır.

Buradakı məqsəd sadə ədədlər üçün yeni qapalı düstur əldə etmək deyil. Mənbə açıq şəkildə sadə ədədlərin sıra nömrəsinə görə sadə simvolik tərifinin olmadığını bildirir. Əlaqənin pedaqoji dəyəri eyni indeksləşdirmə alqoritminin fərqli ədəd nəzəriyyəsi kontekstlərində tədqiqat sualları yaratmasıdır.

Qədim “Mexaniki Üsul” Rəqəmsal Riyaziyyat Müəllimi Təhsilinə Necə Daşınır?

Tədqiqatda qədim mexaniki üsul ideyası riyazi nəticənin əvvəlcə hesablama eksperimenti və nümunə kəşfi ilə tapılması, sonra müxtəlif rəqəmsal alətlərlə yoxlanması və nəhayət riyazi refleksiya ilə daha sadə quruluşa çevrilməsi şəklində yenidən şərh olunur; texnologiya kəşfin aləti, riyaziyyat isə yoxlama və mənalandırmanın həlledici qatı olaraq qalır.

TPACK əlaqəsi

Müəllif yanaşmanı Texnoloji Pedaqoji Məzmun Biliyi çərçivəsi ilə əlaqələndirir. Müəllimin yalnız riyaziyyatı və ya yalnız proqram istifadəsini bilməsi kifayət deyil; məzmun, pedaqoji məqsəd və texnologiya seçimi birlikdə düşünülməlidir.

Bu tədqiqatdakı nümunə bunun konkret versiyasıdır:

Məzmun biliyi ədəd nəzəriyyəsi, tetraedrik ədədlər, polinomlar və indeks quruluşundan; texnologiya biliyi Wolfram Alpha, Maple və elektron cədvəldən; pedaqoji bilik isə tədqiqatabənzər sual yaratma, təxmin, yoxlama və refleksiya proseslərindən ibarətdir.

Epistemik və praqmatik texnologiya istifadəsi

Texnologiya yalnız sürətli cavab yaratmaq üçün istifadə olunanda praqmatik funksiyaya malikdir. Lakin proqram çıxışı yeni riyazi əlaqəni görməyə, fərziyyə qurmağa və ya anlayışı fərqli şəkildə anlamağa kömək etdikdə epistemik funksiyaya da sahib olur.

Formula (14)-ün vuruqlara ayrılaraq Formula (15)-in ortaya çıxarılması bu keçidin aydın nümunəsidir. Proqram əməliyyatı yerinə yetirir; lakin “bu mürəkkəb polinomu niyə vuruqlara ayırmalıyam?” sualı riyazi düşüncədən gəlir.

Müəllim namizədlərinin şərhlərinin rolu

Məqalə müəllifin dərslərindəki müəllim namizədlərindən alınmış bəzi reflektiv şərhləri pedaqoji yanaşmanın tələbələr tərəfindən necə mənalandırıldığına nümunə kimi istifadə edir. Tələbələr texnologiya ilə real həyat, riyazi anlayışlar və konseptual düşüncə arasında əlaqə qurduqlarını bildirirlər.

Bu şərhlər faydalı keyfiyyət nümunələridir; lakin mənbədə sistematik kodlaşdırma, iştirakçı sayı, tematik analiz protokolu, müqayisə qrupu və ya təsir ölçümü verilmir. Buna görə şərhlər müstəqil təhsil səmərəliliyi sübutu kimi istifadə edilməməlidir.

Tədqiqatın Metodu və Nəticələri

Tədqiqat növü və materiallar

Məqalə konseptual riyaziyyat müəllimi təhsili tədqiqatıdır. İstifadə edilən materiallar üç əsas qrupdadır:

• rəqəmsal riyaziyyat alətləri: Wolfram Alpha, Maple 2025 və Microsoft Excel;
• qədim və tarixi riyaziyyat mənbələri;
• riyaziyyat tədrisi və müəllim təhsili standartları ilə pedaqoji çərçivələr.

Wolfram Alpha-ya giriş tarixi mənbədə 20 Aprel 2026 kimi göstərilir.

Riyazi tədqiqat axını

Şəkil 1–7: xüsusi halların yaradılması

İlk yeddi şəkil Wolfram Alpha ekran görüntüləridir. Figure 1 tetraedrik ədədlərin ilkin qapalı formasını; Figure 2–7 isə müvafiq olaraq birinci–altıncı dərəcəli ələklərin ədəd ardıcıllıqlarını və polinomlarını göstərir.

Bu mərhələnin elmi rolu birbaşa “sübut” verməkdən çox sonrakı ümumiləşdirmə üçün ədədi və simvolik nümunələr yaratmaqdır.

Şəkil 8–11: əmsal nümunələrinin ümumiləşdirilməsi

Bu şəkillərdə artıq tetraedrik ardıcıllığın özü deyil, polinom əmsallarından ibarət yeni ardıcıllıqlar Wolfram Alpha-ya verilir.

Beləliklə, tədqiqat ikiqat ümumiləşdirmə aparır:

əvvəlcə ədəd ardıcıllığından konkret \(T_k(n)\) polinomuna, sonra müxtəlif \(k\) qiymətlərindəki polinom əmsallarından ümumi \(a_k,b_k,c_k,d_k\) düsturlarına keçilir.

Şəkil 12: ümumi düsturun ikiölçülü modeli

Formula (14), \(k=0\ldots9\) və \(n=1\ldots10\) aralıqlarında Wolfram Alpha ilə cədvəl formasına salınır.

Bu matris həm müxtəlif ələk dərəcələrini, həm də eyni ələkdəki hədd sırasını vahid quruluşda göstərir.

Şəkil 13–14: yoxlama

Figure 13 Maple-ın, Figure 14 isə Excel-in eyni ədədi quruluşu yenidən yaratdığını göstərir.

Xüsusilə sağ alt qiymət:

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

üç mühitdə də eynidir.

Bu uyğunluq mənbədə hesablama üçbucaqlamasının aydın nümunəsi kimi təqdim olunur.

Şəkil 15: riyazi sadələşmə

Figure 15 Formula (14)-ün vuruqlara ayrılmasını göstərir. Nəticə Formula (15)-dir:

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

Bu yenidən yazılış genişləndirilmiş polinomun arxasındakı əsas tetraedrik quruluşu görünən edir.

Şəkil 16–19: başqa ardıcıllıqlara genişlənmə

Figure 16 natural ədəd ələklərini, Figure 17 üçbucaqlı ədəd ələklərini Excel-də; Figure 18 üçbucaqlı ələkləri Maple-da; Figure 19 isə Fibonacci ələklərini Wolfram Alpha-da göstərir.

Bu şəkillər tədqiqatın əsas ümumiləşdirməsini dəstəkləyir: hər ikinci həddin mərhələli çıxarılması zamanı qalan elementlərin ilkin ardıcıllıqdakı sıra nömrələri ardıcıllığın qiymətlərindən asılı olmadan eyni Cullen-bənzər quruluşu izləyir.

Mühüm mənbədaxili ədədi yoxlama

Ələmə qaydasının əsas nəticəsi

Tədqiqatın riyazi baxımdan ən mühüm nəticəsi təkrarlanan “hər ikinci həddi çıxar” əməliyyatının \(k\)-cı dərəcədə qalan ilkin sıra nömrələrini

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

formasına çevirməsidir.

Buna görə bir ardıcıllığın qapalı forması \(A(n)\) məlumdursa, uyğun ələyin təbii namizədi:

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

şəklində düşünülə bilər.

Bu son ifadə Verianla tərəfindən mənbə riyaziyyatının izahlı yenidən yazılışıdır; yeni eksperimental nəticə deyil. Tetraedrik, üçbucaqlı və Fibonacci nümunələrində mənbənin açıq şəkildə istifadə etdiyi indeks əvəzləməsinin ortaq quruluşunu görünən edir.

Riyazi səmərəlilik nəticəsi

Formula (14) ilə Formula (15) eyni riyazi obyekti təmsil edir, lakin Formula (15) həm hesablama, həm də konseptual şərh baxımından daha sadədir.

Bu hal məqalənin “texnologiya riyaziyyatı, riyaziyyat da texnologiyadan istifadəni inkişaf etdirir” tezisinin konkret nümunəsidir.

Əvvəlcə texnologiya olmadan asanlıqla fərq edilməyəcək mürəkkəb əmsal əlaqələri tapılır; sonra riyazi refleksiya bu texnoloji çıxışı sadələşdirir.

Sadə ədədlərlə əlaqənin nəticəsi

Cullen-bənzər indekslər sadə ədədlər ardıcıllığında da indeks kimi istifadə edilə bilər. Lakin tədqiqat buradan sadə ədədlərin yeni qapalı düsturunu çıxarmır.

Nəticə daha məhduddur: indeksləmə alqoritmləri müxtəlif ədəd ardıcıllıqları arasında araşdırıla biləcək struktur əlaqələr yaradır və müəllim namizədləri üçün yeni tədqiqat sualları verir.

Pedaqoji səkkizmərhələli çərçivə

Tədqiqatın dəstəklədiyi şərh

Tədqiqat Wolfram Alpha, Maple və Excel-in müəllim namizədləri üçün tədqiqatabənzər ədəd nəzəriyyəsi fəaliyyətlərində birlikdə istifadə oluna biləcəyini göstərir.

Tədqiqat xüsusi ədədi halların simvolik ümumiləşdirməyə çevrilə biləcəyini və əldə olunan nəticələrin müxtəlif alətlərlə yenidən yoxlana biləcəyini göstərir.

Tədqiqat tetraedrik ədəd ələklərində hər ikinci həddin təkrar-təkrar çıxarılmasının \(2^k(n-1)+1\) indeks quruluşuna gətirdiyini və eyni indeks məntiqinin başqa ədəd ardıcıllıqlarına daşına biləcəyini göstərir.

Tədqiqat həmçinin texnologiya ilə tapılmış mürəkkəb nəticənin riyazi refleksiya sayəsində daha səmərəli formaya çevrilə biləcəyini müdafiə edir.

Tədqiqatın dəstəkləmədiyi şərh

Tədqiqat Wolfram Alpha, Maple və ya Excel istifadəsinin tələbələrin imtahan ballarını müəyyən miqdarda artırdığını göstərmir.

Tədqiqat rəqəmsal alət istifadə edən və etməyən müəllim namizədləri arasında nəzarətli müqayisə aparmır.

Müəllim namizədlərinin təqdim olunan şərhləri sistematik keyfiyyət tədqiqatı seçməsi deyil.

Tədqiqat hesablama üçbucaqlamasını klassik riyazi sübutun bütün formalarını əvəz edən universal üsul kimi təsdiqləmir.

Tədqiqat Cullen-bənzər indekslər vasitəsilə sadə ədədlər üçün yeni qapalı düstur əldə edildiyini iddia etmir.

Güclü tərəflər

Tədqiqatın mühüm güclü tərəflərindən biri riyaziyyat tarixini, ədəd nəzəriyyəsini, rəqəmsal alətləri və müəllim təhsilini vahid riyazi problem ətrafında birləşdirməsidir.

İkinci güclü tərəf texnologiyanı yalnız cavab yaradan alət kimi deyil, fərziyyə yaratma və sonradan öz çıxışını sorğulama obyekti kimi istifadə etməsidir.

Üçüncü güclü tərəf Wolfram Alpha çıxışının Maple və elektron cədvəllə çarpaz yoxlanmasıdır.

Dördüncü güclü tərəf mürəkkəb ümumi polinomun vuruqlara ayrılması ilə daha sadə indeks quruluşunun görünən olması və bu quruluşun müxtəlif ədəd ardıcıllıqlarına genişləndirilə bilməsidir.

Əsas məhdudiyyətlər

Məqalə konseptual xarakter daşıyır və təklif olunan pedaqoji yanaşmanın öyrənmə nəticələrini nəzarətli eksperimentlə ölçmür.

Müəllim namizədlərinin reflektiv şərhləri dəstəkləyici nümunələrdir; seçmə, kodlaşdırma və keyfiyyət analizi protokolu barədə məlumat verilmir.

Wolfram Alpha və Maple fərqli alətlər olsa da, hər ikisi kompüter cəbri ənənəsi daxilində bəzi alqoritmik oxşarlıqlar daşıya bilər. Mənbə bunu açıq şəkildə müzakirə edir və eyni simvolik səhvi paylaşma ehtimalının tamamilə aradan qalxmadığını qəbul edir.

Elektron cədvəl də istifadəçi düsturu və xana istinadlarından asılı olduğuna görə müstəqil xəta ehtimalı daşıyır.

Buna görə hesablama üçbucaqlaması riyazi mənalandırmanı və xüsusi hal yoxlamasını lazımsız etmir.

Yenidən istehsal edilə bilmə

Tədqiqat istifadə olunan əsas proqramları, Maple versiyasını, əsas ardıcıllıqları, riyazi düsturları, elektron cədvəl xana düsturunu və nümunə \(n\)-\(k\) aralıqlarını bildirir.

Buna görə riyazi hesablama axınının böyük hissəsi yenidən qurula bilər.

Bununla belə, Wolfram Alpha onlayn xidmət olduğuna görə gələcək interfeys, nümunə tanıma və ya çıxış formatı dəyişiklikləri eyni ekran görüntülərinin eynilə yenidən alınmasına zəmanət vermir. Elmi yenidən istehsal baxımından əsas olan görüntünün görünüşü deyil, düsturların və ədədlərin yenidən hesablana bilməsidir.

Mənbə və Metod Qeydi

Orijinal tədqiqat: Using Ancient Ideas and Digital Tools in Mathematics Teacher Education

Müəllif: Sergei Abramovich.

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

Jurnal: Education Sciences.

Nəşriyyat/platforma: MDPI.

Biblioqrafik qeyd: Education Sciences, 2026, 16(8), Article 1268.

DOI: 10.3390/educsci16081268.

Nəşr prosesi: Qəbul üçün daxil olub 6 May 2026; düzəliş 1 Avqust 2026; qəbul 3 Avqust 2026; nəşr 9 Avqust 2026.

Xüsusi buraxılış: Integrating Technology in Mathematics Teaching and Learning.

Mənbə növü: Rəyli, nəşr olunmuş konseptual riyaziyyat təhsili tədqiqat məqaləsi.

Əvvəlki versiya: Eyni başlığın Preprints.org saytında 8 May 2026-da dərc olunmuş preprint versiyası mövcuddur. Yüklənmiş mənbə sonrakı rəyli jurnal versiyasıdır.

Lisenziya: Creative Commons Attribution (CC BY).

Əsas riyazi obyekt: Tetraedrik ədəd ələkləri və onların Cullen tipli/Cullen-bənzər indeks quruluşları.

Əsas rəqəmsal alətlər: Wolfram Alpha, Maple 2025 və Microsoft Excel.

Əsas metod: Hesablama kəşfi, xüsusi hallardan simvolik ümumiləşdirmə, riyazi refleksiya və bir neçə rəqəmsal alətlə hesablama üçbucaqlaması.

Əsas başlanğıc düsturu: \(T(n)=n(n+1)(n+2)/6\).

Əsas ümumi nəticə: \(T_k(n)=[2^k(n-1)+1][2^k(n-1)+2][2^k(n-1)+3]/6\).

İndeks quruluşu: \(2^k(n-1)+1\).

Mənbə şəkilləri: Məqalədə 19 nömrələnmiş şəkil var. Onların böyük hissəsi Wolfram Alpha, Maple və Excel ekran çıxışlarıdır və xüsusi ardıcıllıqların yaradılması, əmsal ümumiləşdirilməsi, hesablama üçbucaqlaması, vuruqlara ayırma və başqa ədəd ardıcıllıqlarına genişlənmə mərhələlərini sənədləşdirir.

Mühüm mənbədaxili uyğunsuzluq 1: PDF əsas mətnindəki Formula (6) \(n^3\) əmsalını 15,384 kimi çap etdiyi halda Figure 6 Wolfram Alpha çıxışı 16,384 qiymətini göstərir. Ümumi Formula (9) də \(k=5\) üçün 16,384 qiymətini dəstəkləyir.

Mühüm mənbədaxili uyğunsuzluq 2: Formula (14)-ün dərhal əvvəlindəki cümlə Formula (14)-ü öz çıxarılışında istinad edir; riyazi axın Formula (13)-ü göstərir.

Maliyyələşdirmə: Tədqiqat xarici maliyyələşdirmə almamışdır.

Etika komitəsi: Tətbiq edilmir.

Məlumatlandırılmış razılıq: Tətbiq edilmir.

Məlumatların əlçatanlığı: Yeni məlumat yaradılmamış və ya təhlil edilməmişdir; məlumat paylaşımı tətbiq edilmir.

Maraqlar toqquşması: Müəllif maraqlar toqquşması bildirməmişdir.

Müəllif töhfələri: Mənbə tək müəlliflidir və ayrıca CRediT/Author Contributions bölməsi barədə məlumat verilmir; mənbədə olmayan vəzifə bölgüsü yaradılmamışdır.

Pedaqoji məlumat həddi: Müəllim namizədlərinin reflektiv şərhləri standartlara və təhsil nəzəriyyələrinə uyğunluğu nümunələndirmək üçün verilmişdir; tədqiqat bunları sistematik keyfiyyət məlumat analizi və ya nəzarətli pedaqoji təsir ölçümü kimi istifadə etmir.

Müəllif hüququ və təkrar istifadə qeydi: Məqalə CC BY lisenziyalıdır. Bu Verianla mətni mənbə məqalənin mexaniki Azərbaycan dilinə tərcüməsi deyil. Riyazi tənliklər, mənbə ədədləri, metod addımları və şərh hədləri qorunaraq müstəqil tədris quruluşunda yenidən təqdim edilmişdir. Mənbə ekran görüntülərini eynilə kopyalamaq əvəzinə düsturlardan və açıq riyazi əlaqələrdən orijinal Verianla sxemləri yaratmaq daha məqsədəuyğundur.