Vamos fazer o produto interno:
Como os vetores são ortogonais dois a dois, então todos os produtos internos que forem entre vetores com o númerozinho diferente vai dar zero...
Sobrando só:
E isso é só a norma de cada vetor ao quadrado, ne:
Como queríamos demonstrar.