假設x,y,z>=0,齊次不等式:xxx+yyy+zzz+3xyz>=xxy+xxz+yyz+yyx+zzx+zzy,不等式中符號後面的爲零叫齊次式如5x^2+3x-3>05x^2+3x-3=05x^2+3x-3<0,這是大學教程線性代數或高等代數裏的