非负数性质的应用