Tetrahedral sayı eleği, tetrahedral sayı dizisinden başlayıp her aşamada bir önceki dizinin her ikinci teriminin elenmesiyle elde edilen alt diziler ailesidir. Sergei Abramovich'in kavramsal çalışması, Arşimet'in matematiksel keşifte “mekanik yöntem” ile biçimsel kanıtı birbirini tamamlayan aşamalar olarak görmesinden hareket ederek, bu eski düşünceyi Wolfram Alpha, Maple ve Excel ile yürütülen çağdaş hesaplamalı keşiflere bağlamaktadır. Çalışma önce özel tetrahedral sayı eleklerini Wolfram Alpha ile üretmekte, ardından katsayı örüntülerinden genel formül geliştirmekte, bu sonucu Maple ve elektronik tabloyla bağımsız biçimde doğrulamakta ve son olarak ortaya çıkan yapıyı Cullen-benzeri indisler aracılığıyla doğal, üçgensel ve Fibonacci sayı dizilerine genişletmektedir.

Başlangıç noktası, üçgensel sayıların kısmi toplamlarından oluşan tetrahedral sayılardır. \(n\). tetrahedral sayı

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

formülüyle verilir ve \(1,4,10,20,35,56,84,\ldots\) dizisini oluşturur. Çalışmada bu özgün dizi “sıfırıncı mertebe elek” olarak kabul edilir. Birinci mertebe elekte her ikinci terim çıkarılır; aynı işlem yeni dizi üzerinde tekrarlandığında ikinci, üçüncü ve daha yüksek mertebeli elekler ortaya çıkar.

Çalışmanın matematiksel çekirdeği, \(k\). mertebe elekteki \(n\). terimin karmaşık üçüncü derece polinom biçiminden

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

şeklindeki daha yalın forma indirgenmesidir. Bu ifade, eleme işleminin değerlerden çok indisleri düzenlediğini gösterir: \(k\). eleğin \(n\). terimi, özgün tetrahedral dizinin \(2^k(n-1)+1\). terimidir.

Yazar bu indisleri Cullen-benzeri sayılar olarak adlandırır. \(k=n-1\) olduğunda ifade klasik Cullen sayısı biçimine dönüşür. Aynı indis mantığının doğal, üçgensel ve Fibonacci dizilerinde de çalışması, yöntemin yalnız tetrahedral sayılara özgü olmadığını göstermektedir.

Çalışmanın pedagojik iddiası, dijital aracın matematiksel düşünmenin yerine geçmesi değildir. Wolfram Alpha örüntüyü görünür kılar ve sembolik genellemeyi kolaylaştırır; Maple ve Excel sonuçları başka hesaplama yollarıyla sınar; matematiksel düşünme ise elde edilen karmaşık formülü çarpanlarına ayırarak daha yalın yapıyı ortaya çıkarır. Böylece teknoloji keşfi hızlandırırken matematiksel yansıtma hesaplamayı daha anlaşılır ve verimli hâle getirir.

Bu çalışma kontrollü bir öğretim deneyi değildir. Öğretmen adaylarının yansıtıcı yorumları pedagojik çerçeveyi örneklemek için kullanılmıştır; teknoloji kullanımının öğrenci başarısını belirli bir düzeyde artırdığını gösteren sistematik örneklem, kontrol grubu veya istatistiksel etki analizi bulunmamaktadır.

Arşimet'in “mekanik yöntem” düşüncesi neden başlangıç noktasıdır?

Makale, Arşimet ile Eratosthenes arasındaki antik matematik geleneğine dayanan bir düşünceden hareket eder: Bir sonuca ulaşmak için önce sezgisel, mekanik veya deneysel bir yol kullanılabilir; daha sonra bulunan ilişkinin matematiksel kanıtı oluşturulur.

Dijital çağda bu “mekanik yöntem” kavramının çağdaş karşılığı hesaplamalı deney olabilir. Bir yazılım çok sayıda özel durumu hızla hesaplayabilir, dizilerdeki örüntüleri görünür kılabilir veya olası kapalı biçimleri önerebilir. Ancak yazılım çıktısı ile matematiksel doğruluk aynı şey değildir. Bu nedenle Abramovich'in modelinde keşif, doğrulama ve matematiksel yansıtma birbirinden ayrılmaz.

Makalenin öğretmen eğitimi açısından temel fikri de budur: Geleceğin matematik öğretmeni yalnız bir yazılımın hangi düğmesine basacağını değil, çıktının ne anlama geldiğini, neden doğru olabileceğini, nasıl bağımsız biçimde sınanabileceğini ve matematiksel yapının yazılım çıktısından nasıl çıkarılabileceğini öğrenmelidir.

Tetrahedral sayı nedir?

Üçgensel sayılar

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

biçiminde tanımlanabilir. İlk değerler \(1,3,6,10,15,\ldots\) şeklindedir.

Tetrahedral sayılar ise üçgensel sayıların kısmi toplamlarıdır:

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

Dolayısıyla ilk tetrahedral sayılar:

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

olur.

Aynı sayı farklı bir geometrik bakışla da ortaya çıkar. \(n\) noktadan üçlü seçim yapıldığında üçgen oluşturabilecek nokta üçlülerinin sayısı

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

biçimindedir. İndis kaydırmasıyla bu ifade tetrahedral sayı formuna bağlanabilir. Makale, bu tür eşdeğer fakat farklı indekslenmiş temsillerin daha sonra dijital genellemede ortaya çıkan indeks kaydırmalarını anlamak açısından pedagojik değer taşıdığını vurgular.

Tetrahedral Sayı Eleği Nasıl Oluşturulur?

Tetrahedral sayı eleği, özgün tetrahedral sayı dizisinin sıfırıncı mertebe kabul edilmesi ve her yeni mertebede bir önceki dizideki her ikinci terimin elenmesiyle oluşturulur; böylece \(k\). mertebe eleğin hayatta kalan terimleri özgün dizide \(2^k(n-1)+1\) indislerini taşır.

Sıfırıncı mertebe

Özgün tetrahedral dizinin kendisi:

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

olarak yazılır.

İlk terimler:

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

Birinci mertebe

Sıfırıncı dizinin her ikinci terimi elendiğinde:

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

dizisi elde edilir. Wolfram Alpha bunun için

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

kapalı biçimini verir.

İkinci ve üçüncü mertebe

Eleme tekrarlandığında:

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

ve

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

formülleri elde edilir.

Dördüncü, beşinci ve altıncı mertebeler

Dördüncü mertebe için kaynakta

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

verilmektedir.

Beşinci mertebe için PDF'nin ana metnindeki Formula (6) şu biçimde basılmıştır:

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

Kaynak içi tutarsızlık notu: Aynı makalenin Figure 6 Wolfram Alpha ekranında ilk katsayı 16 384 olarak gösterilmektedir. Daha sonra türetilen \(a_k=2^{3k-1}/3\) genel katsayısı da \(k=5\) için \(16384/3\) verir. Ayrıca kaynak metnindeki 15,384 değeri kullanıldığında listelenen dizi yeniden üretilememektedir. Bu nedenle Formula (6)'daki 15,384 değeri yayımlanmış metindeki olası bir dizgi hatası olarak işaretlenmeli; kaynak sessizce değiştirilmemelidir.

Altıncı mertebe için:

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

Neden üçüncü derece polinom ortaya çıkıyor?

Kaynak, bütün tetrahedral eleklerin üçüncü derece polinom biçiminde olduğunu gözlemleyerek genel yapıyı

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

olarak tanımlar.

Burada:

• \(n\): ilgili eleğin içindeki terim sırasıdır;
• \(k\): eleğin mertebesidir;
• \(a_k,b_k,c_k,d_k\): eleme mertebesine bağlı katsayılardır;
• \(T_k(n)\): \(k\). mertebe eleğin \(n\). terimidir.

Bu büyüklüklerin fiziksel birimleri yoktur; tamamı tamsayı dizileri ve indislerle ilgili boyutsuz matematiksel niceliklerdir.

Katsayı \(a_k\)

Wolfram Alpha ile elde edilen özel durumların \(n^3\) katsayılarında ikinin kuvvetleri belirgin bir örüntü oluşturur:

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

Bu formül \(k\) bir arttığında en yüksek dereceli katsayının sekiz katlık ölçeklemeyle değiştiğini gösterir; çünkü \(2^{3(k+1)-1}/2^{3k-1}=2^3=8\).

Katsayı \(b_k\)

İkinci derece terimin katsayısı:

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

şeklinde genelleştirilir.

Katsayı \(c_k\)

Kaynak, daha fazla özel duruma ihtiyaç duyulduğunu belirterek yedinci mertebe eleği de üretir ve \(c_k\) için

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

ifadesine ulaşır.

PDF'deki Formula (11)'in metin satırında \(n^2\) katsayısının basamak gruplaması düzensiz görünmektedir; ancak aynı sayfadaki Wolfram Alpha Figure 9 çıktısı değeri açık biçimde 3 096 576 olarak göstermektedir. Bu nedenle görsel, metindeki dizgi belirsizliğini kaynak içinde çözen ek kanıt sağlar.

Katsayı \(d_k\)

Sabit terim:

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

şeklinde yazılır.

Katsayıların birleşmesi

Bu katsayılar Formula (8)'e yerleştirildiğinde kaynakta Formula (14) olarak verilen uzun genel ifade elde edilir:

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

Numaralandırma notu: Kaynak, bu denklemin hemen öncesinde “Formulas (9), (10), (12), and (14)” ifadesini kullanmaktadır. Formula (14) henüz o satırda kurulmakta olduğundan ve \(d_k\) Formula (13)'te verildiğinden, bağlam Formula (13)'ün kastedildiğini göstermektedir. Verianla bu yayımlanmış numaralandırma farkını gizlememektedir.

Karmaşık formül neden son nokta değildir?

Makalenin pedagojik açıdan en önemli adımlarından biri burada başlar. Wolfram Alpha ile ulaşılan Formula (14) matematiksel olarak kullanılabilir olsa da yapının temel mantığını kolayca göstermemektedir.

Yazar, tetrahedral sayıların başlangıçtaki üç doğrusal çarpanın ürünü biçimini hatırlayarak genel polinomun da çarpanlarına ayrılmasını önerir. Wolfram Alpha ile yapılan çarpanlara ayırma, çok daha yalın 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 sadeleşme yalnız hesaplamayı kolaylaştırmaz. Eleme sürecinin matematiksel özünü de görünür kılar.

Hesaplamalı Üçgenleme Nedir?

Hesaplamalı üçgenleme, aynı matematiksel sonucu tek bir yazılımın çıktısına bırakmak yerine farklı hesaplama araçlarıyla bağımsız yollar üzerinden kontrol etme yaklaşımıdır; çalışmada Wolfram Alpha ile geliştirilen genel tetrahedral elek sonuçları Maple ve Excel ile yeniden hesaplanarak karşılaştırılmıştır.

Neden birden fazla yazılım kullanılıyor?

Bir bilgisayar cebiri sistemi karmaşık sembolik işlemleri hızla gerçekleştirebilir; ancak yazılım kullanıcısının yanlış giriş yapması, kodlama hatası, sadeleştirme biçimi veya araçların farklı algoritmik davranışları nedeniyle tek bir çıktıyı sorgulamadan kabul etmek matematik eğitimi açısından sorunludur.

Abramovich bu nedenle matematiksel araştırmalardaki ve sosyal bilimlerdeki “triangulation” düşüncesini hesaplamaya uyarlar. Aynı sonucu başka bir araç veya temsil biçimiyle yeniden elde etmek güvenilirlik için ek kontrol sağlar.

Wolfram Alpha'nın rolü

Wolfram Alpha çalışmada iki aşamalı kullanılır.

İlk aşamada belirli elek dizileri girilir ve bunlar için olası kapalı polinom biçimleri elde edilir. İkinci aşamada bu polinomların katsayı dizileri yeniden Wolfram Alpha'ya verilerek katsayıların \(k\)'ya bağlı genel biçimleri araştırılır.

Bu nedenle araç yalnız hesap makinesi değildir; özel durumdan sembolik genellemeye geçişte örüntü tanıma aracı olarak kullanılmaktadır.

Maple'ın rolü

Maple, Formula (14)'ten üretilen sayısal matrisin bağımsız bir bilgisayar cebiri sistemi içinde yeniden hesaplanmasında kullanılır.

Kaynakta özellikle \(T_9(10)\) için

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

değeri gösterilir. Aynı değer Wolfram Alpha ve Maple çıktılarında elde edilir.

Excel'in rolü

Elektronik tablo, sembolik cebir bakımından Wolfram Alpha veya Maple kadar güçlü değildir; fakat iki boyutlu \(n\)-\(k\) yapısını hücre matrisi biçiminde açıkça gösterebilir.

Kaynakta Formula (14), Excel hücre formülüne çevrilir ve tablo boyunca çoğaltılır. Böylece Wolfram Alpha ve Maple'ın ürettiği sayı matrisi üçüncü bir ortamda yeniden oluşturulur.

Bu üçlü doğrulamanın pedagojik mesajı “üç yazılım aynı şeyi söylediği için matematik kanıtlanmıştır” değildir. Yazar bunu dijital çağdaki mekanik yöntemlerin güvenilirliğini artıran ve biçimsel düşünmeye destek olan bir uygulama olarak ele alır.

Figure 12–14 neden özellikle önemlidir?

Figure 12, Formula (14)'ü kullanarak \(k=0,\ldots,9\) ve \(n=1,\ldots,10\) için oluşturulan Wolfram Alpha matrisini gösterir.

Figure 13 aynı yapının Maple çıktısını, Figure 14 ise elektronik tablo karşılığını sunar.

Bu üç şeklin bilimsel işlevi aynı veriyi üç kez dekoratif biçimde göstermek değildir. Çalışmanın “hesaplamalı üçgenleme” tezinin doğrudan görsel kanıt katmanıdır.

Matematik teknolojiye nasıl geri dönüyor?

Çalışmanın “matematik ve teknolojinin ikiliği” savı burada görünür hâle gelir. İlk aşamada teknoloji matematiksel keşfi kolaylaştırır. Daha sonra matematiksel düşünme teknoloji tarafından üretilen karmaşık ifadeye bakar ve daha iyi bir yapı bulur.

Formula (14)'ün Formula (15)'e çarpanlara ayrılması bunun temel örneğidir. Teknoloji ilk genellemeyi üretmeye yardımcı olur; matematiksel yapı ise sonradan hesaplamanın daha kısa ve anlaşılır biçimini sağlar.

Cullen Tipi Eleme Nasıl Çalışır?

Cullen tipi eleme, bir dizide her aşamada her ikinci terimin silinmesi sonucu hayatta kalan terimlerin özgün dizideki indislerinin \(2^k(n-1)+1\) biçimini izlemesidir; bu indis kuralı dizinin değerlerinden bağımsız olduğu için doğal, üçgensel, tetrahedral ve Fibonacci sayı dizilerinde aynı yapıyla kullanılabilir.

Cullen-benzeri sayı nedir?

Formula (15)'teki

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

ifadesi \(T_k(n)\)'nin özgün tetrahedral dizideki sırasını verir.

Yazar bu biçimdeki indisleri Cullen-like numbers / Cullen-benzeri sayılar olarak adlandırır.

\(k=n-1\) seçilirse:

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

elde edilir ve çalışma bunu Cullen sayılarıyla ilişkilendirir.

Örnek: ikinci mertebe elekte üçüncü terim

\(k=2\) ve \(n=3\) için:

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

Dolayısıyla ikinci mertebe tetrahedral eleğin üçüncü terimi, özgün tetrahedral dizinin dokuzuncu terimidir:

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

Gerçekten de ikinci mertebe elek

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

dizisinin üçüncü terimi 165'tir.

Dokuzuncu mertebe örneği

Çalışmanın hesaplamalı üçgenleme matrisindeki büyük örnek \(T_9(10)\)'dur.

Bu terimin özgün tetrahedral dizideki sırası:

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

olur.

Bu nedenle:

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

Wolfram Alpha, Maple ve Excel'in ortak olarak gösterdiği değer bu indis yapısıyla doğrudan açıklanabilir.

Doğal sayılara uygulama

Her ikinci terimin tekrar tekrar elendiği doğal sayı dizisinde de aynı indis yapısı korunur.

Birinci mertebede kalan indisler:

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

olur; bunlar \(k=1\) için \(2(n-1)+1\) ifadesidir.

Üçgensel sayılara uygulama

Üçgensel sayılar için \(2^k(n-1)+1\) değeri özgün üçgensel dizideki indis yerine konur:

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

Kaynak Figure 17 ve Figure 18'de bu yapıyı sırasıyla Excel ve Maple ile göstermektedir.

Fibonacci dizisine uygulama

Aynı eleme kuralı Fibonacci dizisine uygulanabilir. Örneğin

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

dizisinin her ikinci terimi elendiğinde

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

dizisi ortaya çıkar.

Kaynak, Binet formülündeki indis yerine Cullen-benzeri indis koyarak genel Fibonacci eleğini ifade eder:

\[ 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 formülde \(F_k(n)\), \(k\). mertebe Fibonacci eleğinin \(n\). terimidir.

Neden dizi türünden bağımsız çalışıyor?

Eleme kuralı sayıların büyüklüğüne veya dizinin cebirsel formuna bakmaz; yalnız sıralamadaki konuma bakar.

Her adımda her ikinci eleman çıkarıldığı için hayatta kalacak sıra numaraları aynı ikili ölçekleme düzenini izler. Böylece doğal, üçgensel, tetrahedral veya Fibonacci dizilerindeki sayısal değerler farklı olsa bile hayatta kalan terimlerin indisleri aynıdır.

Asal sayılarla bağlantı

Makale daha sonra Cullen-benzeri indisleri asal sayı dizisinde indis olarak kullanmayı tartışır.

Örneğin birinci mertebe elekteki indisler \(1,3,5,7,9,\ldots\) olduğunda bunlar asal sayı dizisinin indisleri olarak kullanılırsa:

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

dizisi elde edilir.

Buradaki amaç asal sayılar için yeni bir kapalı formül elde etmek değildir. Kaynak açıkça asal sayıların sıra numarasına göre basit sembolik tanımının bulunmadığını belirtir. Bağlantının pedagojik değeri, aynı indeksleme algoritmasının farklı sayı teorisi bağlamlarında araştırma soruları üretmesidir.

Antik “Mekanik Yöntem” Dijital Matematik Öğretmen Eğitimine Nasıl Taşınıyor?

Çalışmada antik mekanik yöntem fikri, matematiksel sonucun önce hesaplamalı deney ve örüntü keşfiyle bulunması, ardından farklı dijital araçlarla doğrulanması ve son olarak matematiksel yansıtmayla daha yalın bir yapıya dönüştürülmesi biçiminde yeniden yorumlanmaktadır; teknoloji keşfin aracı, matematik ise doğrulama ve anlamlandırmanın belirleyici katmanı olarak kalır.

TPACK bağlantısı

Yazar, yaklaşımı Teknolojik Pedagojik Alan Bilgisi çerçevesiyle ilişkilendirir. Öğretmenin yalnız matematiği veya yalnız yazılım kullanımını bilmesi yeterli değildir; içerik, pedagojik amaç ve teknoloji seçimi birlikte düşünülmelidir.

Bu çalışmadaki örnek bunun somut bir versiyonudur:

Alan bilgisi sayı teorisi, tetrahedral sayılar, polinomlar ve indis yapısından; teknoloji bilgisi Wolfram Alpha, Maple ve elektronik tablodan; pedagojik bilgi ise araştırma-benzeri soru oluşturma, tahmin, doğrulama ve yansıtma süreçlerinden oluşur.

Epistemik ve pragmatik teknoloji kullanımı

Teknoloji yalnız hızlı cevap üretmek için kullanıldığında pragmatik bir işleve sahiptir. Ancak yazılım çıktısı yeni bir matematiksel ilişkiyi fark etmeye, varsayım kurmaya veya kavramı farklı biçimde anlamaya yardım ettiğinde epistemik işleve de sahip olur.

Formula (14)'ün çarpanlarına ayrılarak Formula (15)'in ortaya çıkarılması bu geçişin açık örneğidir. Yazılım işlemi yürütür; fakat “bu karmaşık polinomu neden çarpanlara ayırmalıyım?” sorusu matematiksel düşünmeden gelir.

Öğretmen adaylarının yorumlarının rolü

Makale, yazarın derslerindeki öğretmen adaylarından alınmış bazı yansıtıcı yorumları pedagojik yaklaşımın öğrenciler tarafından nasıl anlamlandırıldığına örnek olarak kullanır. Öğrenciler teknoloji ile gerçek yaşam, matematiksel kavramlar ve kavramsal düşünme arasında bağlantı kurduklarını ifade etmektedir.

Bu yorumlar yararlı nitel örneklerdir; ancak kaynakta sistematik kodlama, katılımcı sayısı, tematik analiz protokolü, karşılaştırmalı grup veya etki ölçümü verilmemektedir. Bu nedenle yorumlar bağımsız eğitim etkililiği kanıtı olarak kullanılmamalıdır.

Çalışmanın Yöntemi ve Bulguları

Çalışma türü ve materyaller

Makale kavramsal bir matematik öğretmeni eğitimi çalışmasıdır. Kullanılan materyaller üç ana gruptadır:

• dijital matematik araçları: Wolfram Alpha, Maple 2025 ve Microsoft Excel;
• antik ve tarihsel matematik kaynakları;
• matematik öğretimi ve öğretmen eğitimi standartları ile pedagojik çerçeveler.

Wolfram Alpha erişim tarihi kaynakta 20 Nisan 2026 olarak belirtilmektedir.

Matematiksel araştırma akışı

Şekil 1–7: özel durumların oluşturulması

İlk yedi şekil Wolfram Alpha ekran görüntüleridir. Figure 1 tetrahedral sayıların özgün kapalı biçimini; Figure 2–7 sırasıyla birinci–altıncı mertebe eleklerin sayı dizilerini ve polinomlarını göstermektedir.

Bu aşamanın bilimsel rolü doğrudan “kanıt” sağlamaktan çok sonraki genelleme için sayısal ve sembolik örnekler oluşturmaktır.

Şekil 8–11: katsayı örüntülerinin genelleştirilmesi

Bu şekillerde artık tetrahedral dizinin kendisi değil, polinom katsayılarından oluşan yeni diziler Wolfram Alpha'ya verilir.

Böylece çalışma iki katmanlı bir genelleme gerçekleştirir:

önce sayı dizisinden belirli \(T_k(n)\) polinomuna, ardından farklı \(k\) değerlerindeki polinom katsayılarından genel \(a_k,b_k,c_k,d_k\) formüllerine geçilir.

Şekil 12: genel formülün iki boyutlu modeli

Formula (14), \(k=0\ldots9\) ve \(n=1\ldots10\) aralıklarında Wolfram Alpha ile tablo hâline getirilir.

Bu matris hem farklı elek mertebelerini hem aynı elek içindeki terim sırasını tek yapıda gösterir.

Şekil 13–14: doğrulama

Figure 13 Maple'ın, Figure 14 ise Excel'in aynı sayısal yapıyı yeniden oluşturduğunu gösterir.

Özellikle sağ alt değer:

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

üç ortamda da aynıdır.

Bu eşleşme kaynakta hesaplamalı üçgenlemenin açık örneği olarak sunulur.

Şekil 15: matematiksel sadeleşme

Figure 15, Formula (14)'ün çarpanlarına ayrılmasını gösterir. Sonuç Formula (15)'tir:

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

Bu yeniden yazım, genişletilmiş polinomun arkasındaki temel tetrahedral yapıyı görünür hâle getirir.

Şekil 16–19: başka dizilere genişleme

Figure 16 doğal sayı eleklerini, Figure 17 üçgensel sayı eleklerini Excel'de; Figure 18 üçgensel elekleri Maple'da; Figure 19 ise Fibonacci eleklerini Wolfram Alpha'da gösterir.

Bu şekiller çalışmanın ana genellemesini destekler: her ikinci terimin adım adım elenmesi durumunda hayatta kalan elemanların özgün dizideki sıra numaraları dizinin değerlerinden bağımsız olarak aynı Cullen-benzeri yapıyı izler.

Önemli kaynak içi sayısal kontrol

Eleme kuralının temel bulgusu

Çalışmanın matematiksel bakımdan en önemli sonucu, tekrar eden “her ikinci terimi ele” işleminin \(k\). mertebede hayatta kalan özgün sıra numaralarını

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

biçimine dönüştürmesidir.

Bu nedenle bir dizinin kapalı formülü \(A(n)\) biliniyorsa ilgili eleğin doğal adayı:

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

biçiminde düşünülebilir.

Bu son ifade, Verianla tarafından kaynak matematiğinin açıklayıcı yeniden yazımıdır; yeni deneysel bulgu değildir. Tetrahedral, üçgensel ve Fibonacci örneklerinde kaynak tarafından açıkça kullanılan indis ikamesinin ortak yapısını görünür kılar.

Matematiksel verimlilik bulgusu

Formula (14) ile Formula (15) aynı matematiksel nesneyi temsil eder, fakat Formula (15) hem hesaplama hem kavramsal yorum açısından çok daha yalındır.

Bu durum makalenin “teknoloji matematiği, matematik de teknoloji kullanımını geliştirir” tezinin somut örneğidir.

Başlangıçta teknoloji olmadan kolayca fark edilmeyecek karmaşık katsayı ilişkileri bulunur; daha sonra matematiksel yansıtma bu teknolojik çıktıyı basitleştirir.

Asal sayılarla bağlantının sonucu

Cullen-benzeri indisler asal sayı dizisinde de indeks olarak kullanılabilir. Ancak çalışma buradan asal sayıların yeni bir kapalı formülünü çıkarmamaktadır.

Sonuç daha sınırlıdır: indeksleme algoritmaları farklı sayı dizileri arasında araştırılabilecek yapısal ilişkiler üretir ve öğretmen adayları için yeni araştırma soruları sağlar.

Pedagojik sekiz aşamalı çerçeve

Çalışmanın desteklediği yorum

Çalışma, Wolfram Alpha, Maple ve Excel'in öğretmen adayları için araştırma-benzeri sayı teorisi etkinliklerinde birlikte kullanılabileceğini göstermektedir.

Çalışma, özel sayısal durumların sembolik genellemeye dönüştürülebileceğini ve elde edilen sonuçların farklı araçlarla yeniden kontrol edilebileceğini göstermektedir.

Çalışma, tetrahedral sayı eleklerinde her ikinci terimin tekrarlı biçimde elenmesinin \(2^k(n-1)+1\) indis yapısına yol açtığını ve aynı indis mantığının başka sayı dizilerine taşınabileceğini göstermektedir.

Çalışma ayrıca teknolojiyle bulunan karmaşık sonucun matematiksel yansıtma sayesinde daha verimli bir biçime dönüştürülebileceğini savunmaktadır.

Çalışmanın desteklemediği yorum

Çalışma Wolfram Alpha, Maple veya Excel kullanımının öğrencilerin sınav puanlarını belirli bir miktarda artırdığını göstermez.

Çalışma dijital araç kullanan ve kullanmayan öğretmen adayları arasında kontrollü karşılaştırma yapmaz.

Öğretmen adaylarının aktarılan yorumları sistematik nitel araştırma örneklemi değildir.

Çalışma hesaplamalı üçgenlemeyi klasik matematiksel ispatın bütün biçimlerinin yerine geçen evrensel yöntem olarak doğrulamaz.

Çalışma Cullen-benzeri indisler aracılığıyla asal sayılar için yeni kapalı formül üretildiğini iddia etmez.

Güçlü yönler

Çalışmanın önemli güçlü yönlerinden biri, matematik tarihi, sayı teorisi, dijital araçlar ve öğretmen eğitimini tek bir matematiksel problem etrafında birleştirmesidir.

İkinci güçlü yön, teknolojiyi yalnız cevap üretme aracı değil, varsayım oluşturma ve daha sonra kendi çıktısını sorgulama nesnesi olarak kullanmasıdır.

Üçüncü güçlü yön, Wolfram Alpha çıktısının Maple ve elektronik tabloyla çapraz kontrol edilmesidir.

Dördüncü güçlü yön, karmaşık genel polinomun çarpanlarına ayrılmasıyla çok daha yalın indis yapısının görünür hâle gelmesi ve bu yapının farklı sayı dizilerine genişletilebilmesidir.

Temel sınırlılıklar

Makale kavramsal niteliktedir ve önerilen pedagojik yaklaşımın öğrenme kazanımlarını kontrollü deneyle ölçmez.

Öğretmen adaylarının yansıtıcı yorumları destekleyici örneklerdir; örnekleme, kodlama ve nitel analiz protokolü raporlanmamaktadır.

Wolfram Alpha ve Maple farklı araçlar olsa da her ikisi de bilgisayar cebiri geleneği içinde bazı algoritmik benzerlikler taşıyabilir. Kaynak bunu açıkça tartışmakta ve aynı sembolik hatayı paylaşma olasılığının tümüyle ortadan kalkmadığını kabul etmektedir.

Elektronik tablo da kullanıcı formülü ve hücre referanslarına bağlı olduğundan bağımsız hata olasılığı taşır.

Dolayısıyla hesaplamalı üçgenleme, matematiksel anlamlandırmayı ve özel durum kontrolünü gereksiz hâle getirmez.

Yeniden üretilebilirlik

Çalışma kullanılan ana yazılımları, Maple sürümünü, temel dizileri, matematiksel formülleri, elektronik tablo hücre formülünü ve örnek \(n\)-\(k\) aralıklarını raporlamaktadır.

Bu nedenle matematiksel hesaplama akışının büyük bölümü yeniden oluşturulabilir.

Bununla birlikte Wolfram Alpha çevrim içi bir hizmet olduğundan gelecekteki arayüz, örüntü tanıma veya çıktı biçimi değişiklikleri aynı ekran görüntülerinin birebir yeniden elde edilmesini garanti etmez. Bilimsel yeniden üretilebilirlik açısından esas olan görüntünün görünümü değil, formüllerin ve sayıların yeniden hesaplanabilmesidir.

Kaynak ve Yöntem Notu

Özgün çalışma: Using Ancient Ideas and Digital Tools in Mathematics Teacher Education

Yazar: Sergei Abramovich.

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

Dergi: Education Sciences.

Yayınevi/platform: MDPI.

Bibliyografik kayıt: Education Sciences, 2026, 16(8), Article 1268.

DOI: 10.3390/educsci16081268.

Yayın süreci: Alınış 6 Mayıs 2026; revizyon 1 Ağustos 2026; kabul 3 Ağustos 2026; yayın 9 Ağustos 2026.

Özel sayı: Integrating Technology in Mathematics Teaching and Learning.

Kaynak türü: Hakemli, yayımlanmış kavramsal matematik eğitimi araştırma makalesi.

Önceki sürüm: Aynı başlığın Preprints.org üzerinde 8 Mayıs 2026'da yayımlanmış bir preprint sürümü bulunmaktadır. Yüklenen kaynak daha sonraki hakemli dergi sürümüdür.

Lisans: Creative Commons Attribution (CC BY).

Ana matematiksel nesne: Tetrahedral sayı elekleri ve bunların Cullen tipi/Cullen-benzeri indis yapıları.

Temel dijital araçlar: Wolfram Alpha, Maple 2025 ve Microsoft Excel.

Temel yöntem: Hesaplamalı keşif, özel durumlardan sembolik genelleme, matematiksel yansıtma ve birden fazla dijital araçla hesaplamalı üçgenleme.

Temel başlangıç formülü: \(T(n)=n(n+1)(n+2)/6\).

Ana genel sonuç: \(T_k(n)=[2^k(n-1)+1][2^k(n-1)+2][2^k(n-1)+3]/6\).

İndis yapısı: \(2^k(n-1)+1\).

Kaynak şekilleri: Makalede 19 numaralandırılmış şekil bulunmaktadır. Bunların büyük bölümü Wolfram Alpha, Maple ve Excel ekran çıktılarıdır ve özel dizilerin oluşturulması, katsayı genellemesi, hesaplamalı üçgenleme, çarpanlara ayırma ve başka sayı dizilerine genişleme aşamalarını belgelemektedir.

Önemli kaynak içi tutarsızlık 1: PDF ana metnindeki Formula (6), \(n^3\) katsayısını 15,384 olarak basarken Figure 6 Wolfram Alpha çıktısı 16,384 değerini göstermektedir. Genel Formula (9) de \(k=5\) için 16,384 değerini desteklemektedir.

Önemli kaynak içi tutarsızlık 2: Formula (14)'ün hemen önündeki cümle Formula (14)'ü kendi türetilmesinde referanslamaktadır; matematiksel akış Formula (13)'ü işaret etmektedir.

Finansman: Araştırma dış finansman almamıştır.

Etik kurul: Uygulanabilir değildir.

Bilgilendirilmiş onam: Uygulanabilir değildir.

Veri erişilebilirliği: Yeni veri oluşturulmamış veya analiz edilmemiştir; veri paylaşımı uygulanabilir değildir.

Çıkar çatışması: Yazar çıkar çatışması bildirmemiştir.

Yazar katkıları: Kaynak tek yazarlıdır ve ayrı bir CRediT/Author Contributions bölümü raporlanmamaktadır; kaynakta bulunmayan görev dağılımı oluşturulmamıştır.

Pedagojik veri sınırı: Öğretmen adaylarının yansıtıcı yorumları standartlara ve eğitim kuramlarına uygunluğu örneklemek için verilmiştir; çalışma bunları sistematik nitel veri analizi veya kontrollü pedagojik etki ölçümü olarak kullanmamaktadır.

Telif ve yeniden kullanım notu: Makale CC BY lisanslıdır. Bu Verianla metni kaynak makalenin mekanik Türkçe çevirisi değildir. Matematiksel denklemler, kaynak sayılar, yöntem adımları ve yorum sınırları korunarak bağımsız öğretim yapısında yeniden anlatılmıştır. Kaynak ekran görüntülerini birebir kopyalamak yerine, formüllerden ve açık matematiksel ilişkilerden özgün Verianla şemaları üretmek daha uygundur.