\( \| v_1 + \dots +v_n\|^2 = \langle v_1 + \dots , v_n, v_1, \dots , v_n\rangle = \sum_{i=1}^n\sum_{j=1}^n \langle v_i, v_j\rangle \overset{(*)}{=}\sum_{i=1}^n\langle v_i, v_i\rangle=\| v_1\|^2 + \dots +\|v_n\|^2 \)
(*): Da die Vekoren paarweis senkrecht sind, gilt folgendes \( \langle v_i , v_j \rangle =0, \text{ wenn } i \neq j \)