la_10为列向量的矩阵，而formula_14是formula_10的欧几里得范数（长度）。（就是说若formula_10formula_17，则在组合数学中，使等式成立以及列向量formula_10的元素为+1和−1的矩阵是研究对象，它们称为阿达马矩阵。