Correspondence between quadratic forms and symmetric bilinear forms away from 2
Away from 2 every Quadratic form
and vice versa by
Proof
Let
be a quadratic form and choose π ( π₯ ) = π₯ π³ π΄ π₯ to be symmetric. It follows π΄ π΅ ( π₯ , π¦ ) = 1 2 ( π ( π₯ + π¦ ) β π ( π₯ ) β π ( π¦ ) ) = 1 2 ( ( π₯ π³ + π¦ π³ ) π΄ ( π₯ + π¦ ) β π₯ π³ π΄ π₯ β π¦ π³ π΄ π¦ ) = 1 2 ( π₯ π³ π΄ π¦ + π¦ π³ π΄ π₯ ) = π₯ π³ π΄ π¦ Similarly for any bilinear form
, one can derive a quadratic form from π΅ ( π₯ , π¦ ) = π₯ π³ π΄ π¦ . Clearly these processes are inverses of each other. π ( π₯ ) = π΅ ( π₯ , π₯ ) = π₯ π³ π΄ π₯