这是中国古代的一个著名算法案例:鸡兔49头,100根腿往地里走,问鸡兔各多少?
设、、,,求证:≥
设、、≥0,且,求证≥
设、、是三角形的边长,求证:≥
设、、是三角形的边长,求证≥3
写出下列命题的否定:(1)所有自然数的平方是正数(2)任何实数x都是方程5x-12=0的根(3)对于任意实数x,存在实数y,使x+y>0(4)有些质数是奇数