如果是非负整数解的话, 可以换元代入x=4x', y=3y'+2, z=25-z'
这样就相当于求当17≤z'≤23时, 4x'+3y'=z'的非负整数解的个数, 一共应该是13组解
当数字比较大的时候, 可以用到这个性质:
对非负整数n与互素的正整数a,b, 关于x和y的二元一次不定方程ax+by=n+ab正好比ax+by=n多一组非负整数解