式指出：若formula_7是以formula_8为列向量的"n"× "n" 矩阵，则因此，向量formula_10的相应结果是其中formula_12是以formula_10为列向量的矩阵，而formula_14是formula_10的欧几里得范数（长度）。（就是说若formula_10formula_17，则在组合数学中，使等式成立以及列向量formula_10的元素为+1和−1的矩阵是研究对象，它们称为阿达马矩阵。