متطابقة المربعات الأربع لأويلر

في الرياضيات، متطابقة المربعات الأربع لأويلر قالب:إنج تنص على أن جداء عددين، كلٌ منهما مجموع أربعة مربعات، هو أيضا، مجموع لأربعة مربعات. فيما يلي الصيغة.

$(a_1^2+a_2^2+a_3^2+a_4^2)(b_1^2+b_2^2+b_3^2+b_4^2)=$

$(a_1{b}_1-a_2{b}_2-a_3{b}_3-a_4{b}_4{)}^2+$

$(a_1{b}_2+a_2{b}_1+a_3{b}_4-a_4{b}_3{)}^2+$

$(a_1{b}_3-a_2{b}_4+a_3{b}_1+a_4{b}_2{)}^2+$

$(a_1{b}_4+a_2{b}_3-a_3{b}_2+a_4{b}_1{)}^2.$

كتب أويلر حول هاته المتطابقة في رسالة إلي غولدباخ. كان ذلك في الرابع من مايو عام 1748. يُبرهن على هذه المتطابقة باستعمال الجبر الابتدائي.

استُعملت هذه المتطابقة من طرف لاغرانج من أجل البرهان على مبرهنة المربعات الأربع للاغرانج.

انظر إلى مبرهنة هورفيتز.

انظر أيضا

• مربع لاتيني