عدد مربع مثلثي

المربع الذي طول ضلعه عدد مثلثي يمكن تجزئته إلى مربعات وأنصاف مربعات تجمع مساحاتها لتعطي مكعبا. من قالب:Harvard citation text.

في نظرية الأعداد، يكون مجموع الأعداد المكعبة الأولى قالب:Mvar هو مربع العدد المثلثي ذي الدرجة قالب:Mvar أي أن

$1^3+2^3+3^3+\cdots +n^3={(1+2+3+\cdots +n)}^2.$

يمكن كتابة نفس المعادلة بشكل مصغر باستعمال الترميز الرياضي لعلامة الجمع:

$\sum _{k=1}^n{k}^3=(\sum _{k=1}^{n}k{)}^2.$

هذه المتطابقة تدعى أحيانا مبرهنة نيكوماتشوس.

قيم عددية

سلسلة الأعداد المربعة المثلثية هي

قالب:تعبير رياضي قالب:تعبير رياضي ... قالب:OEIS.

براهين

أعطى تشارلز ويتستون (1854) بشكل خاص اشتقاق بسيط عبر نشر كل مكعب في المجموع في صورة مجموعة من الأعداد الفردية المتعاقبة مبتدأ بما يلي

$n^3=\underset{n\text{ consecutive odd numbers}}{\underbrace{(n^2-n+1)+(n^2-n+1+2)+(n^2-n+1+4)+\cdots +(n^2+n-1)}}.$

تلك المتطابقة لها صلة بالأعداد المثلثية $T_n$ كما يلي:

$n^3=\sum _{k=T_{n-1}+1}^{T_n}(2k-1),$

وبالتالي تكون المجاميع $n^3$ مبتدئة بعد تلك القيم السابقة $1^3$ حتى $(n-1{)}^3$. بتطبيق هذه الخاصية، عبر متطاقة أخرى معروفة:

$n^2=\sum _{k=1}^n(2k-1),$

نحصل على الاشتقاق التالي:

$\begin{array}{cc}\sum _{k=1}^n{k}^3& =1+8+27+64+\cdots +n^3\\ & =\underset{1^3}{\underbrace{1}}+\underset{2^3}{\underbrace{3+5}}+\underset{3^3}{\underbrace{7+9+11}}+\underset{4^3}{\underbrace{13+15+17+19}}+\cdots +\underset{n^3}{\underbrace{(n^2-n+1)+\cdots +(n^2+n-1)}}\\ & =\underset{{\left(\frac{n^2+n}{2}\right)}^2}{\underbrace{\underset{3^2}{\underbrace{\underset{2^2}{\underbrace{\underset{1^2}{\underbrace{1}}+3}}+5}}+\cdots +(n^2+n-1)}}\\ & =(1+2+\cdots +n{)}^2\\ & =(\sum _{k=1}^{n}k{)}^2.\end{array}$

توضيح مرئي يبين أن مربع العدد المثلثي يعادل مجموع المكعبات.

في الأدب الرياضياتي الحديث يستعمل ستين روبرت (1971) تفسير تعداد المستطيل لهذه الأعداد لتكوين مبرهنة هندسية للمتطابقة ويلاحظ أيضا أن بالإمكان برهنتها بسهولة من الاستقراء ويقر أن أوتو توبليتز (1963) قد قدم «برهانا عربيا قديما ومثيرا».

وصلات خارجية

• قالب:ماثوورلد
• A visual proof of Nicomachus's theorem