If $u_1+w_1=u_2+w_2$ and $\langle u_1,w_1\rangle=0=\langle u_2,w_2\rangle$, how can we prove that $$\|u_1\|^2+\|w_1\|^2=\|u_2\|^2+\|w_2\|^2$$
I know I can open this to $$\langle u_1,u_1\rangle+\langle w_1,w_1\rangle=\langle u_2,u_2\rangle+\langle w_2,w_2\rangle$$ but from here what can I do with that?
From $u_1+w_1=u_2+w_2$ and $\langle u_1,w_1\rangle=0=\langle u_2,w_2\rangle$, we have
$\|u_1\|^2+\|w_1\|^2$
$=\langle u_1,u_1\rangle+\langle w_1,w_1\rangle+2\langle u_1,w_1\rangle$
$=\langle u_1+w_1,u_1+w_1\rangle$
$=\langle u_2+w_2,u_2+w_2\rangle$
$=\langle u_2,u_2\rangle+\langle w_2,w_2\rangle+2\langle u_2,w_2\rangle$
$=\|u_2\|^2+\|w_2\|^2$