反证法 定义在R上的减函数的图象与直线y=k有一个公共点

反证法 定义在R上的减函数的图象与直线y=k有一个公共点
反证法 定义在R上的减函数的图象与直线y=k有一个公共点

反证法 定义在R上的减函数的图象与直线y=k有一个公共点
应该是最多只有一个交点,也可以没有交点
假设定义在R上的减函数f(x)和y=k有不止一个交点
则至少两个
假设两个交点(a,k),(b,k),
不妨设a则f(a)=f(b)
又因为f(x)是减函数,af(b)
两者矛盾
所以最多只有一个交点