1.3.6 Show that the multiplicative property of determinants gives the real four- square identity (af +b} +c}+d})(až+b3+c3+dž) = (aja2 – b¡b2 – c1C2 – dịd2)² + (a¡b2+bja2+c¡d2 – dịc2)² + (ajc2 – bịd2 +cja2+d¡b2)² + (ajd2+bịc2 –c¡b2+dja2)². This identity was discovered by Euler in 1748, nearly 100 years before the dis- covery of quaternions! Like Diophantus, he was interested in the case of integer squares, in which case the identity says that (a sum of four squares) × (a sum of four squares) = (a sum of four squares). This was the first step toward proving the theorem that every positive integer is the sum of four integer squares. The proof was completed by Lagrange in 1770.

Linear Algebra: A Modern Introduction
4th Edition
ISBN:9781285463247
Author:David Poole
Publisher:David Poole
Chapter4: Eigenvalues And Eigenvectors
Section4.2: Determinants
Problem 20EQ
icon
Related questions
Question
100%

Naive Lie Theory by John Stillwell

1.3.6 Show that the multiplicative property of determinants gives the real four-
square identity
(af + b} +c}+d})(az + b3 + c3 + d}) = (aja2 – bīb2 – c1C2 – dịd2)?
+ (a¡b2+bja2+cjd2 – djc2)²
+ (ajc2 – bịd2 +cja2+djb2)²
+ (ajd2+ bịc2 – cıb2+dja2)².
This identity was discovered by Euler in 1748, nearly 100 years before the dis-
covery of quaternions! Like Diophantus, he was interested in the case of integer
squares, in which case the identity says that
(a sum of four squares) × (a sum of four squares) = (a sum of four squares).
This was the first step toward proving the theorem that every positive integer is
the sum of four integer squares. The proof was completed by Lagrange in 1770.
Transcribed Image Text:1.3.6 Show that the multiplicative property of determinants gives the real four- square identity (af + b} +c}+d})(az + b3 + c3 + d}) = (aja2 – bīb2 – c1C2 – dịd2)? + (a¡b2+bja2+cjd2 – djc2)² + (ajc2 – bịd2 +cja2+djb2)² + (ajd2+ bịc2 – cıb2+dja2)². This identity was discovered by Euler in 1748, nearly 100 years before the dis- covery of quaternions! Like Diophantus, he was interested in the case of integer squares, in which case the identity says that (a sum of four squares) × (a sum of four squares) = (a sum of four squares). This was the first step toward proving the theorem that every positive integer is the sum of four integer squares. The proof was completed by Lagrange in 1770.
Expert Solution
Step 1

To show:

The multiplicative property of determinants gives the real four square identity: -

a12+b12+c12+d12a22+b22+c22+d22=a1a2-b1b2-c1c2-d1d22+a1b2+b1a2+c1d2-d1c22+a1c2-b1d2+c1a2+d1b22+a1d2+b1c2-c1b2+d1a22

 

trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 7 steps

Blurred answer
Recommended textbooks for you
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Intermediate Algebra
Intermediate Algebra
Algebra
ISBN:
9780998625720
Author:
Lynn Marecek
Publisher:
OpenStax College
College Algebra (MindTap Course List)
College Algebra (MindTap Course List)
Algebra
ISBN:
9781305652231
Author:
R. David Gustafson, Jeff Hughes
Publisher:
Cengage Learning
Algebra for College Students
Algebra for College Students
Algebra
ISBN:
9781285195780
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
College Algebra
College Algebra
Algebra
ISBN:
9781337282291
Author:
Ron Larson
Publisher:
Cengage Learning
College Algebra
College Algebra
Algebra
ISBN:
9781938168383
Author:
Jay Abramson
Publisher:
OpenStax