Let $W_1$ and $W_2$ be subspaces of a finite dimensional inner product space space. Prove that $$(W_1 \cap W_2)^\perp=W_1^\perp + W_2^\perp $$
One direction is easy : Let $\alpha \neq 0$ and $\alpha \in W_1^\perp + W_2^\perp$, i.e. $\alpha$ can be written as $\alpha = \beta + \gamma$ such that $\beta \in W_1^\perp$ and $\gamma \in W_2^\perp$, hence $(\beta|\eta)=0$ for all $\eta \in W_1 $ and $(\gamma|\delta)=0$ for all $\delta \in W_2 $. Now for all $\eta \in W_1 \cap W_2$ it is clear that $(\alpha | \eta) =0$ . hence $$(W_1 \cap W_2)^\perp\supset W_1^\perp + W_2^\perp $$ For proving the other containment, let $\alpha \neq 0$ and $\alpha \in (W_1 \cap W_2)^\perp$, it means that for all $\beta \in W_1 \cap W_2$, $(\alpha|\beta)=0$. Hence $\alpha \in V \setminus (W_1 \cap W_2) = V \setminus (W_1) \cup V \setminus (W_2)$. Hence $\alpha \in W_1^c$ or $\alpha \in W_2^c$. WLOG suppose $\alpha \in W_1^c$. We also have that $$V=(W_1 ) \oplus (W_1 )^\perp$$therefore $\alpha = \eta + \delta $ where $\eta \in W_1$ and $\delta \in W_1^\perp$ and indeed $\delta \neq 0$. From here I have to somehow show that $\eta=0$, but I am stuck in here...
I already appreciate any help