Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
complex numbers
real numbers vectors |
| gptkbp:field |
gptkb:algebra
vector calculus linear algebra |
| gptkbp:generalizes |
gptkb:Cauchy–Schwarz_inequality
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lagrange's identity
|
| gptkbp:namedAfter |
gptkb:Joseph-Louis_Lagrange
|
| gptkbp:relatedTo |
gptkb:parallelogram_law
determinants |
| gptkbp:sentence |
For real numbers a1, a2, b1, b2: (a1^2 + a2^2)(b1^2 + b2^2) = (a1b1 + a2b2)^2 + (a1b2 - a2b1)^2
|
| gptkbp:usedIn |
vector analysis
inequality proofs proofs in linear algebra |
| gptkbp:bfsParent |
gptkb:Joseph-Louis_Lagrange
gptkb:Joseph_Louis_Lagrange |
| gptkbp:bfsLayer |
5
|