若n*n的矩阵有homogeneous性质的充要条件为它的每一个(n-1)*(n-1)有homogeneous性质（证明挺复杂的），进而推到(n-2)*(n-2)...一直到2*2，因此充要条件可以写成“每个2*2子矩阵的对角元素和都相等”
实际上就是数学归纳法