迟来的证明

高中的时候,自己写过一个画函数图像的程序。使用的编程语言是Delphi。那时,发现了一个有意思的函数:f(x)=\sin (x\cdot\sin (x))。这个函数的图像大致如下(本文图像由Maxima-online制作):

funcplot0

细心的话,你会发现,这个函数的波谷,沿着横轴的方向,在一个长度固定的区间内,逐渐变多。从1开始,次第地增加1个。这是一个很有意思的现象。我尝试着去证明,甚至打算使用当时就熟悉的微积分。可是未果。后来上了大学,有了高等数学这门课。这门课还有一个专门的习题课。我问过习题课的老师。她说应该不是很难。可也没有给我一个结果。所以,证明一事就放下了。

最近,总有一种感觉。那就是,过去以为很神秘的东西,其实一点都不神秘。只是自己没有足够用心罢了。不少事情已经说明了这一点。于是,我又想起了这个题目。觉得可以再次尝试一下。大约花了不到半天的时间,才发现,这其实是一个非常简单的证明。这个证明是如此简单,以至于文字的说明都有些多余。看图说话吧。

funcplot

此事再一次说明,过去的经历中所“培养”出的神秘感和局限感,是多么的愚昧。一时竟无语。

状态

永远 (2013/10/01)

昨天北京时间的晚上,姥爷走了。

又一次,没能说再见。

小的时候,姥爷一直是个怪脾气的老头儿。家里的晚辈,对他很是尊敬,却不亲近。就这样,过了很多年。

很多年以前,姥爷生病,医院下过病危通知书。那大约是三十多年了。后来,家里更加注意改善姥爷的伙食。每天都有牛奶鸡蛋。可能真的是有效果,竟是再也没犯过什么毛病。一直到最近几年。

五年前,姥姥意外地离开了。此后,姥爷的身体逐渐走下坡路。医院去的越来越频繁,一年多了能去好几次。脾气依旧是奇怪的。我其实在想,是否真的有人了解他在想什么吗?奇怪的脾气,时常引起家人的不安宁。在此起彼伏的吵闹中,日子一天一天的转过。直到再也转不动的那一天——昨天。

一辆长了锈的28车
手里放不下的啤酒瓶
不服输的象棋
和身上锁住许多不舍的钥匙
全都舍下了

身体不好时,和很多老头儿一样,姥爷会坐在阳台的窗前,望着窗外,许久都不作声。我一直不知道他们在看什么。我只是知道,这就是人老了的样子。也许,只有等我自己坐在那个位子时,才能真正的了解吧。

今天,那个位子空了。

令人悲伤的,不是分离,而是永远。

写些文字,纪念那个怪脾气的老头儿。这才发现,想起的,却是他难得的笑容。

永远

昨天北京时间的晚上,姥爷走了。

又一次,没能说再见。

小的时候,姥爷一直是个怪脾气的老头儿。家里的晚辈,对他很是尊敬,却不亲近。就这样,过了很多年。

很多年以前,姥爷生病,医院下过病危通知书。那大约是三十多年了。后来,家里更加注意改善姥爷的伙食。每天都有牛奶鸡蛋。可能真的是有效果,竟是再也没犯过什么毛病。一直到最近几年。

五年前,姥姥意外地离开了。此后,姥爷的身体逐渐走下坡路。医院去的越来越频繁,一年多了能去好几次。脾气依旧是奇怪的。我其实在想,是否真的有人了解他在想什么吗?奇怪的脾气,时常引起家人的不安宁。在此起彼伏的吵闹中,日子一天一天的转过。直到再也转不动的那一天——昨天。

一辆长了锈的28车
手里放不下的啤酒瓶
不服输的象棋
和身上锁住许多不舍的钥匙
全都舍下了

身体不好时,和很多老头儿一样,姥爷会坐在阳台的窗前,望着窗外,许久都不作声。我一直不知道他们在看什么。我只是知道,这就是人老了的样子。也许,只有等我自己坐在那个位子时,才能真正的了解吧。

今天,那个位子空了。

令人悲伤的,不是分离,而是永远。

写些文字,纪念那个怪脾气的老头儿。这才发现,想起的,却是他难得的笑容。