Polarization Identity Wikipedia
Exterior Algebra Wikipedia
Identity Matrix Wikipedia
Linear Algebra Wikipedia
Tangent Half Angle Formula Wikipedia