用函数单调性的定义证明：函数y=|x-1|在区间（-∞，0）上为减函数．在线课程证明：对任意的x₁＜x₂＜0，有f（x₁）-f（x₂）=|x₁-1|-|x₂-1|=（1-x₁）-（1-x₂）=x₂-x₁＞0
所以，函数y=|x-1|在（-∞，0）上为减函数．
分析：用定义法证明先取任意的x₁＜x₂＜0，代入解析式作差，判断差的符号，然后由定义得出结论．
点评：本题考查函数单调性的判断与证明，用定义法证明函数的单调性要注意证明的格式即：作取，作差，整理，判号，得出结论．