10本书,共3类(抽屉),文学类 (x)、史学类(y)和数学类(z), 证明X,yz至少有一个大于或等于4 抽象为一个纯数学问题: 假设x,y,z是非负整数,且x+y+z=10, 则或x≥4,或y≥4,或z≥4此即为不定方 程的非负解的下界估计问题10本书，共3类（抽屉），文学类 （x）、史学类（y）和数学类（z）， 证明x,y,z至少有一个大于或等于4。 抽象为一个纯数学问题： , , 10, 4, 4, 4. x y z x y z x y z + + =    假设 是非负整数,且 则或 或 或 此即为不定方 程的非负解的下界估计问题