你好。.“判断y=x2（X的平方）在R上的单调性”这个不能用定义去判断它的单调性。因为定义里面有在R上的任意两个数，因为任意两个数子有无穷种组合。不可能验证完。 用定义证明是肯定不可以的。用其他方法编写程序来判断的话也不是不可以。但有难度。但是给出否定结论还是很容易的。你给的这个函数刚好就不是个单调函数。只要举反例就可以说明它不是单调函数了。
1、算法必须在有限步内终止。而实数有无限多，需要验证所有x12、是的。电脑程序就是算法集合。
