Symmetric Bilinear Form is Reflexive

Theorem
Let $\mathbb K$ be a field.

Let $V$ be a vector space over $\mathbb K$.

Let $b$ be a bilinear form on $V$.

Let $b$ be symmetric.

Then $b$ is reflexive.

Proof
Let $\left({v, w}\right) \in V \times V$ with $b \left({v, w}\right) = 0$.

Because $b$ is symmetric, $b \left({w, v}\right) = 0$.

Because $\left({v, w}\right)$ was arbitrary, $b$ is reflexive.

Also see

 * Bilinear Form is Reflexive iff Symmetric or Alternating