For the rest of this problem, we assume that $\varphi$ is a non-degenerate symmetric bilinear form on $E$, and we denote by $q$ its quadratic form.
Let $F$ and $G$ be two vector subspaces of $E$.
a) Show that $(F+G)^\perp = F^\perp \cap G^\perp$.
b) Show that $(F \cap G)^\perp = F^\perp + G^\perp$.