美文网首页
Lambek-Moser定理

Lambek-Moser定理

作者: 半个一 | 来源:发表于2020-07-22 15:19 被阅读0次

该定理由J·拉姆贝克(Lambek)L·莫斯尔(Leo Moser)提出

我们将满足

        (i){an}∪{bn}=N+ 

         (ii){an}∩{bn}=∅

的两数列{an}{bn}称为互补数列

对于互补数列,有如下的:

        Lambek—Moser定理

        设f(n) 是一个N+→N+ 的不减函数。定义f∗(n)=|{k|f(k)<n}|,其中|Z|表示集合Z中元素的个数。记F(N+)和G(N+)分别为函数F(n)=f(n)+n和G(n)=f∗(n)+n的值域。则F(N+) 与G(N+)是互补的.

证明:  没有学到…现在还不会证这种鬼东西... 以后再填坑(来自学生狗的无奈qwq……)


例1:

求证:在正整数序列中,删去所有完全平方数后,第n项等于n+[√n+1/2].其中[x]表示不超过x的最大整数.(第27届普特南数学竞赛)

(我不清楚标准答案是什么,但我自己瞎搞搞出来一个...)

证明

        令F(n)=n+[√n+1/2]

        G(n)=n2=n+n(n−1)

则根据原命题,知:

        F(n)的值域F(N+) 与G(n)的值域G(N+) 互补.

考虑构造函数:

       F(n)=n+[√n+1/2]

       g(n)=n(n−1)

Lambek-Moser定理,

原命题等价于求证:

        g(n)=n(n−1)=|{k|f(k)<n}|

        考虑maxk使得f(k)<n

        则[√k+12]<n

          √k</p><p>        <img class=

        得k<=n²−n

        所以|{k|f(k)<n}|=n(n−1)

证毕.


例2:

删去正整数数列1,2,3,⋅⋅⋅1,2,3,···中的所有完全平方数,得到一个新数列,这个新数列的第20032003项是( )

(A) 20462046 (B) 20472047 (C) 20482048 (D) 20492049

20032003,全国高中数学联赛)

解:

(I) 直接运用例11证明出的公式 令n=2003,便得到

        2003+[√2003+12]=2048

(II)直接暴力,由45²=2025,46²=2116,得

        第1981项为2026,第2069项为2115

所以第2003项为2048

(第一篇就写写数学吧qwq...)

相关文章

  • Lambek-Moser定理

    该定理由J·拉姆贝克(Lambek)与L·莫斯尔(Leo Moser)提出 我们将满足 的两数列和称为互补...

  • 数论四大定理

    威尔逊定理、欧拉定理、孙子定理、费马小定理

  • 圆的定理,(文字定理)②

    1 1、切线定理 2、切线长定理 3、切割线定理 4割线定理 5、垂弦定理 6...

  • 圆①

    1 1、切割线定理 2、切线定理 3、相交弦定理 4、弦切角定理 4、射影定理 5...

  • 初高中衔接讲座:勾股定理

    勾股定理 (1)叙述并证明勾股定理。 (2)叙述并证明勾股定理的逆定理。 【解答】 勾股定理的文字表述如下:直角三...

  • 广义动量定理的由来

    2.2 广义动量定理的由来 2.2.1 广义动量定理与动量定理 广义动量定理是对动量定理的扩展,以下为动量定理的推...

  • 14.圆幂定理

    圆幂定理,包含了相交弦定理,切割线定理,以及割线定理三种情形。但三种情形十分类似,因此统称圆幂定理。 相交弦定理 ...

  • 毕达哥拉斯定理、三角函数相关

    毕达哥拉斯定理: 余弦定理: 毕达哥拉斯定理为余弦定理的特殊情况(当γ为90°的时候)。

  • 【平面几何】圆幂定理(2)

    圆幂定理 定理1(相交弦定理) 如下图,的两弦交圆内于,那么 定理2(割线定理) 如下图,的两弦的延长线(或反向延...

  • 高斯戒条:常见假设掩盖的罕见约束

    文中所用的统计学定理的简要参考: Bernstein和Cramer定理 Basu定理

网友评论

      本文标题:Lambek-Moser定理

      本文链接:https://www.haomeiwen.com/subject/ebjdqktx.html