函数上某一点导数为正,该点邻域不一定形成单增区间

    给出一个连续函数,某一点上的导数为正说明函数在这一点是上升的,换句话说函数从左边充分靠近该点时函数值总小于这个点,从右边靠近该点时函数值总大于这个点。但这并不等于说这一点左右是一个单增区间,也就是说该点左右任意小的邻域内函数都不是单调递增的。你能找出这样的函数来吗?

    昨天数学课上,我学到了一个比较牛B的东西:函数上某一点导数为正,该点邻域不一定形成单增区间。虽然左边的点都比该点低,右边的点都比该点高,但这并不能说明左边和右边各自都是单增的。这样的函数确实存在,而且并不是那种很怪的函数,仅仅是一个简单的初等函数:f(x) = x + 2x^2*sin(1/x)。由于x=0时函数没有定义,我们规定f(0)=0。按照导数的定义,函数在x=0时的导数值为
   Limit[ (f(0+Δx)-f(0))/(Δx-0), Δx->0 ]
= Limit[ f(Δx)/Δx, Δx->0 ]
= Limit[ 1 + 2Δx*sin(1/Δx) , Δx->0 ]
= 1

    这说明函数在x=0处的导数确实是正的。当x≠0时,按照求导法则可以求出f'(x) = 1 – 2*cos(1/x) + 4x*sin(1/x)。当|x|充分小时,最后一项可以忽略不计;此时只要1/x恰好等于2πn (n为整数),那么f'(x)保证是负的。这就告诉我们,x=0左右任意近的位置都存在导数为负的情况,这样不管邻域范围多小总能找到一个函数值在减小的地方。
    其实,看一下f(x)的函数图象,你会立即明白这是怎么回事。这个函数越接近原点抖动频率越快(到原点时“周期”无限小),同时振幅也越小(到原点时振幅为0,这样可以保证导数存在);但这个函数总的来说呈上升趋势。因此,这个函数才有我们前面提到的奇怪性质。

趣题:内切圆与最大内接矩形

      
    看图,DEFG为直角三角形ABC的内接矩形,三个内切圆的半径从小到大依次为r1, r2和r3。证明:当内接矩形的面积达到最大时,r1^2 + r2^2 = r3^2。

      
    四个直角三角形ABC, EDC, AEF, DBG显然相似,内切圆半径与边长一样对应成比例。因此,我们可以把研究对象转换到任意一个对应边上。这里,我们重点观察四个三角形斜边长的关系。
    如果△ABC的三边BC, AC, AB长度分别为a, b, c,那么对于某个相似比k,其余三个三角形的对应边长度如下:

△ABC     a      b      c
△EDC    ka     kb     kc
△AEF    …    …  (1-k)b
△DBG    …    …  (1-k)a

    现在,我们要证明的是,当矩形DEFG面积达到最大时,有:
  [(1-k)a]^2 + [(1-k)b]^2 = (kc)^2

    也即
  (1-k)^2 * a^2 + (1-k)^2 * b^2 = k^2 * c^2

    同时,我们还知道a^2 + b^2 = c^2。等式两边同时乘以k^2后与上式相减,我们就得到:
  (1 – 2k) * (a^2 + b^2) = 0

    显然,只有k=1/2时上式才有可能成立。
    接着看,由△DBG ∽ △ABC,可知 DG/AC = BD/AB,因此DG = (1-k)ab/c。另外,我们还知道DE=kc,那么矩形DEFG的面积就可以这样表示:
  S = DG x DE = (1-k)k * ab

    S取最大等价于函数f(k)=(1-k)k达到最大值。这个函数是一个以0和1为根的上下颠倒的抛物线,显然在k=1/2时达到最大值。

来源:cut-the-knot新文
Matrix67原创翻译

聆听函数的声音:Mathematica的声音函数试验

    
    你可以在这个Blog里看到很多地方用Mathematica代替了复杂的计算。Mathematica是一个强大的数学软件,很多网友看到了这个Blog上的一些演示后都迫不及待地装上了它。Mathematica的功能比你想象的多得多,今天我们来看一个有趣的Mathematica函数——Play函数。我们将用Mathematica做一些有关函数和声音的简单试验。
    声音的实质是波函数。定义一个波函数和定义域的范围,Mathematica可以播放出它表示的声音。试在Mathematica中运行这条语句:
Play[Sin[4000 t], {t, 0, 2}]

=================== 我是可爱的分割线 ===================

    上面的例子中,4000表示函数的周期大小,也就是声音的音调高低。把4000改成8000,你可以听到音调更高的声音:
Play[Sin[8000 t], {t, 0, 2}]

    函数的形状决定了音色。对于不同的周期函数,声音是不一样的。试试下面三个不同的函数:
Play[Sin[5000 t], {t, 0, 2}]
Play[Tan[5000 t], {t, 0, 2}]
Play[Mod[5000 t, 50], {t, 0, 2}]

    如果我们的函数不是周期函数呢?记得一次音乐课上,老师曾经告诉过我们音乐和噪声的区别。
Play[Random[], {t, 0, 2}]

=================== 我是可爱的分割线 ===================

    音量的大小由振幅来控制,说穿了就是函数值的大小。运行下面三条语句,你会发现函数竟然可以用声音如此形象地表现出来。你甚至可以让别人根据音量变化来猜你放的是什么函数。
Play[Sin[4000t] t, {t, 0, 2}]
Play[Sin[4000t] t^2, {t, 0, 2}]
Play[Sin[4000t] Log[t], {t, 0, 2}]
Play[Sin[4000t] Sin[8t], {t, 0, 2}]
Play[Sin[4000t] Mod[t,0.4], {t, 0, 2}]

    
    当复合函数出现后,真正有趣的事情开始了。我们来想象一下Sin(x^2)的图象是什么样子。x的绝对值越大,x^2的值变化越快,反映在正弦波上就是波长越短,音调越高。也就是说,x^2的形状与音高有直接的关系。于是,你将听到的是一段可以让你立即联想起二次函数的声音:
Play[Sin[5000 t^2], {t, -1, 1}]

    在运行下面的语句前,你可以先自己想象一下每个函数对应的声音是什么样子的:
Play[Sin[5000/t], {t, 0, 2}]
Play[Sin[5000 * Sqrt[t]], {t, 0, 2}]
Play[Sin[5000 * Sin[4t]], {t, 0, 2}]
Play[Sin[2000 t * Sin[8t]], {t, 0, 2}]

=================== 我是可爱的分割线 ===================

    两个函数相加的结果是什么?下面两个例子分别是二次函数加正弦函数,与倒数函数加噪声。你可以立即观察到,函数的相加即声音的相加。
Play[Sin[5000 (t-1)^2] + Sin[5000 * Sin[4t]], {t, 0, 2}]
Play[Sin[5000/t] + Random[], {t, 0, 2}]

    我们还可以举一些其它的例子来说明这种现象。比如,Sin[5000t]和Cos[5000t]的声音肯定是一样的,那么函数Sin[5000t] + Cos[5000t]的周期一定与原来相同,只是振幅更大。
    

    再看下面的这个例子。同样是函数的相加,为什么这次只能听见mod函数的声音,但听不见正弦函数的声音呢?
Play[Sin[5000 t] + Mod[5000 t, 50], {t, 0, 2}]
    原因很简单。上面两个函数中,mod函数的振幅更大,因此它的声音远远大于sin函数的声音,于是sin函数只能淹没在mod的嘈杂声中。如果把sin函数乘上一个系数50,两个函数的声音就一样大了:
Play[50 * Sin[5000 t] + Mod[5000 t, 50], {t, 0, 2}]

    把倒数函数与噪声的五分之一相加,得到的就是一个带有轻微噪声的“倒数函数声”。
Play[Sin[5000/t] + Random[]/5, {t, 0, 2}]

=================== 我是可爱的分割线 ===================

    当然,声音可以相加,也就可以相减。对于多种函数的混音,减去一个特定的函数可以从混音中踢去对应的声音。电影里经常会出现这样一些镜头,侦探们用电脑消去截获的音频中特定的背景声音。从函数的角度来看,这样的事情在理论上是可行的。比如,你偷偷摸摸录下了你的MM和她的前男友的谈话,但最关键的那段谈话声被一个突如其来的电话铃声盖住了。现在,你只需要获取一个电话铃声的样本,然后从原始声音中减去电话铃声即可。而电话铃声是非常简单的波函数,你完全可以自己生成一个。科幻电影中也经常见到一些类似的事情:某超级BOSS制造出的秘密武器可以放射有害波函数f(x),然后天才科学家们争分夺秒地制作并发射出-f(x)函数,企图和有害波正负抵消,把它中和了。在五花八门的波函数中加入一个-f(x),实际上就相当于从“混合波”中减去f(x)。
    前几天给系里的MM找迎新晚会用的音乐伴奏时突然想到了一个有趣的问题:是否有可能在某个歌曲的原声和自己的清唱之间做差值运算?这在理论上提供了一个有趣的消音算法,和一个同样有趣的翻唱相似度评判标准(看差值里残留有多少人声)。

=================== 我是可爱的分割线 ===================

    不要以为函数声音都那么难听,掌握适当的理论知识和技巧可以做出动听的声音。Mathematica的官方网站上有一个简单而动听的声音函数,这里写出来供大家欣赏:
Play[(2 + Cos[50 t])*Sin[2000*(1 + Round[2 t])*t], {t, 0, 3}]

Matrix67原创
转贴请注明出处
第一次涉及这方面的东西,很多东西都是自己的猜测,可能有理论错误,请大家指正!
同时,期待大家通过Mathematica试验发现更多有趣的推论。

Tupper自我指涉公式:图象里竟然包含式子本身

    你认为,一个函数图象里是否有可能包含这个函数本身的“图象”?难以置信的是,还真有人构造了这样一个东西。2001年,Jeff Tupper发表的一篇论文里提到了这样一个有趣的不等式:
  
    在0 <= x <= 105,n <= y <= n + 16的范围内,这个不等式对应的图象是这个样子:
  

其中,n = 96093937991895888497167296212785275471500433966012930665150551927170280239526642
46896428421743507181212671537827706233559932372808741443078913259639413377234878
57735749823926629715517173716995165232890538221612403238855866184013235585136048
82869333790249145422928866708109618449609170518345406782773155170540538162738096
76025656250169814820834187831638491155902256100036523513703438744618483787372381
98224849863465033159410054974700593138339226497249461751545728366702369745461014
655997933798537483143786841806593422227898388722980000748404719

    你会觉得这个很神奇吗?你也许会想,天哪,这个是怎么构造出来的啊!但仔细思考之后,你会发现这个一点都不神奇。事实上明白了道理之后你可以构造出无数个这样的式子来。现在给你一些时间让你思考一下,你能否看出其中的奥秘?

    就像魔术揭秘一样,说穿了真相后上面的这些东西就一点意思都没有了。在这个式子里,涉及到x和y的变量时都加上了取整符号,因此整个图象都是一格一格的。这样,不等式右边的式子就简化为y div 17 * 2^(-17x – y mod 17) mod 2,其中x和y都为整数。接着观察,一个数乘以2的负k次方相当于对应的二进制数右移k位,那么x * 2^(-k) mod 2实质上就是二进制数x右起第k位上的数字。对于某个自然数t,当17t <= y < 17(t+1)时,指数-17x – y mod 17恰好对应所有的负整数,于是位于y=17t和y=17t+16之间的图象的每个像素和t的二进制中的每一位数字一一对应。随着t值的增加,图形的像素会一点一点地变化。当纵坐标足够大时,必然会出现一段高度为17的图象,图象的样子和不等式本身的样子相同。当然,你也可以在里面“找到”任何你想要的图象,只需要把图象还原为二进制数并转换为十进制即可。你甚至可以告诉你的MM,说你发现了一个函数,函数在某个位置的图象正好是某某某我爱你的字样。

Matrix67原创
转贴请注明出处
最近发现了一些很不厚道的人,希望大家注意哦!

OI/MO必备:巨牛无比的公式、定理速查表

    数学考试时我最怕的就是三角函数,几十个公式我一个都背不到。那时我有了制作公式定理表的想法。经过反复尝试,我那张表已经设计得非常合理了,表里的内容也初具规模。我复印了几份给我的几个同学,反映都还不错,其它的同学听说了都想来找我要一份。当初我以为我那张表已经很牛了,今天终于发现我错了。
    刚才偶然发现一份非常牛的公式定理表,满满写了10页,不但包含有完整的三角公式、微分表、积分表,还有排列组合公式、概率公式、质数表、杨辉三角等等,甚至还有主定理、图论概念等东西。想要公式定理手册的OI/MO牛不用再去买中学数理化的口袋书了,你真正需要的东西那上面根本没有;这10页的速查表才是真正为你设计的,打印一份随身携带更能体现你nerd/geek的身份……
    点击这里下载(pdf, 154KB) 请勿直接链接到此文件