这是一个基本的分段函数。
完全证明可以分为a0，a=0和a0:
1、a0 .如果a|a|，去掉绝对值符号后，得到aa，此时不成立；
2、a=0 .如果a|a|，代入a=0后得到00，此时不成立；
3、a0 .如果a|a|，去掉绝对值符号后，a-a，两边加a，就会得到2a0，即a0，此时成立。
因此，“如果一个数小于其绝对值，则该数为负”成立。
我知道很多人能直观地感觉到这个表达式成立，但这只是猜想——题目本身是否正确，没有严格证明的只是猜想。数学上，证明和猜想是完全不同的。
就像庞加莱猜想，人们直觉上觉得是对的，但直到佩雷尔曼给出终极证明，连这么重要的观点也只能是猜想，不能称之为庞加莱定理。
虽然证明并不复杂，但有多少人意识到自己猜到了定理背后的故事？
