Mar 172013
 

2013年3月12日第54届 IMO中国国家集训队开幕式在江苏省无锡市的江阴南菁高级中学举行. 本次集训为期二周, 通过集中培训和二次测试及一次选拔考试共 6 场考试, 从64名本届国家集训队队员中选拔出 6 位队员, 组成今年国家队.

第一天

2013年3月13日上午 8:00-12:30

1. 如图, 设四边形 \(ABCD\) 内接于圆 \(\omega\), \(AC,BD\) 交于点 \(F\), 延长线段 \(BA,CD\) 交于点 \(E\), 设 \(F\) 在 \(AB,CD\) 上的射影分别为点 \(G,H\), 点 \(M,N\) 分别为线段 \(BC,EF\) 的中点. 设 \(\triangle MNG\) 的外接圆与线段 \(BF\) 有唯一交点 \(P\), \(\triangle MNH\) 的外接圆与线段 \(CF\) 有唯一交点 \(Q\).
求证: \(PQ\parallel BC\).

China team for IMO 2013 selection test 1 problem 1

China team for IMO 2013 selection test 1 problem 1

2. 对正整数 \(n\), 定义 \(f(n)=\min\limits_{m\in\Bbb Z}\left|\sqrt2-\frac mn\right|\)(\(\Bbb Z\) 为整数集). 设 \(n_i\) 是一个严格递增的正整数数列, \(C\) 是常数, 满足 \(f(n_i)<\dfrac C{n_i^2},i=1,2,\dotsc\).
证明: 存在一个实数 \(q>1\), 使得 \(n_i\geqslant q^{i-1}\) 对 \(i=1,2,\dotsc\) 成立.

3. 有编号为 \(1,2,\dotsc,n(n\geqslant3)\) 的小球, 用下述染色方式将每个小球染上红,黄,蓝,绿四种颜色之一: 先将 \(n\) 个小球任意排列在圆周上, 对顺时针方向的任意连续三个小球, 设它们的编号依次为 \(i,j,k\), 若 \(i>j>k\), 则将 \(j\) 号球染为红色; 若 \(i<j<k\), 则将 \(j\) 号球染为黄色; 若 \(i<j,k<j\), 则将 \(j\) 号球染为蓝色; 若 \(i>j,k>j\), 则将 \(j\) 号球染为绿色. \(n\) 个小球的两个染色方式称为不同的, 若至少有一个小球, 它在两个染色方式中被染上不同的颜色.
求所有的不同的染色方式数.

第二天

2013年3月14日上午 8:00-12:30

4. 设 \(n,k\) 为给定的大于 \(1\) 的整数, 非负实数 \(a_1,a_2,\dotsc,a_n;c_1,c_2,\dotsc,c_n\) 满足
(1) \(a_1\geqslant a_2\geqslant\dotsb \geqslant a_n\), 且 \(a_1+ a_2+\dotsb + a_n=1\);
(2) 对 \(m=1,2,\dotsc,n\), 有 \(c_1+ c_2+\dotsb+ c_m\leqslant m^k\).
求 \(c_1a_1^k+c_2a_2^k+\dotsb+c_na_n^k\) 的最大值.

5. 如图, \(P\) 为 \(\triangle ABC\) 内一点, \(L,M,N\) 分别为边 \(BC,CA,AB\) 的中点, 且

\[PL:PM:PN=BC:CA:AB,\]

延长 \(AP,BP,CP\) 分别交 \(\triangle ABC\) 的外接圆于点 \(D,E,F\).
证明: \( \triangle APF, \triangle APE, \triangle BPF, \triangle BPD, \triangle CPD, \triangle CPE\) 的外接圆圆心六点共圆.

China team for IMO 2013 selection test 1 problem 5

China team for IMO 2013 selection test 1 problem 5

6. 求一切正实数 \(r<1\), 使得存在由实数组成的集合 \(S\), 具有性质: 对任意实数 \(t\), 数 \(t,t+r,t+1\) 中有且仅有一个在 \(S\) 中; 并且数  \(t-1,t-r,t\) 中有且仅有一个在 \(S\) 中.

 Posted by at 11:37 am
Mar 102013
 

下面的定义在多值函数中起着重要作用:

定义 设 \(f(z)\) 是一个连续复函数, \(\gamma\) 是在 \(f(z)\) 的定义域中有意义的一简单闭曲线. 设

1) \(a\) 在曲线 \(\gamma\) 上;

2) \(f(z)\) 不经过 \(0\), 即 \(0\notin f(\gamma)\);

3) 取 \(f(a)\) 辐角的一个值, 记为 \(\alpha_1\);

4) 沿着曲线 \(\gamma\), \(f(z)\) 的辐角连续变化;

5) 沿着曲线 \(\gamma\) 一圈, 第一次回到 \(a\), 这个时候\(f(a)\) 的辐角, 记为 \(\alpha_2\),

我们把

\[\Delta_{\gamma}\arg f(z)\equiv\alpha_2-\alpha_1\]

称为 \(f(z)\) 沿 \(\gamma\) 的辐角变化总量.

下面我们用这个想法来证明代数基本定理. 这仅是一个思路, 要严格写出来, 估计要不少篇幅.

设 \(f(z)=a_nz^n+\dotsc+a_1z+a_0\).

记 \(\gamma_1\) 是圆心在原点的半径为 \(R\) 的圆. 当 \(R\) 充分大的时候, \(f(z)\) 沿 \(\gamma_1\) 的辐角变化量是 \(2n\pi\);

另一方面, 当 \(a_0\ne0\) 时, 当 \(r\) 充分小的时候, \(f(z)\) 沿 \(\gamma_2\) 的辐角变化量是 \(0\), 这里 \(\gamma_2\) 是圆心在 \(a_0\) 的半径为 \(r\) 的圆.

这两方面的矛盾说明, \(f(z)\) 必定在某个 \(z_0\) 使得 \(f(z_0)=0\).

Mar 032013
 

今年的 Romaniann 大师杯数学奥林匹克于 2013 年 2 月 27 至 3 月 3 在 Bucharest 举行. 这大师赛, 是比 IMO 还难的数学竞赛, 哇咔咔

Romanian Master of Mathematics Competition 2013-Day1
Romanian Master of Mathematics Competition 2013-Day2

Romanian Master of Mathematics Competition Solutions 2013-1
Romanian Master of Mathematics Competition Solutions 2013-2

Feb 282013
 

到底什么是 \(\sqrt{-1}\)? 它存在吗? 要回答这些问题, 我们先要搞清楚: 何谓数学中的”存在”?

数学中的存在性

我们从非欧几何说起. 非欧几何还会在后面被提及.

欧几里得的”几何原本”出现以后, 第五公设一直被众多数学家广为诟病. 很多人希望用前四条公设证明平行公设, 但不能成功. 这样经过长达 2000 年努力后, 数学家开始尝试另外的道路. 1820年代, 罗巴切夫斯基用一个和平行公理矛盾的命题来代替第五公设, 然后与欧氏几何的前四个公设结合成一个公理系统, 展开一系列的推理, 得出了一个又一个在直觉上匪夷所思, 但在逻辑上不矛盾的命题. 这种几何是为罗巴切夫斯基几何. 从罗巴切夫斯基创立的几何学, 得出一个极为重要的, 具有普遍意义的结论: 逻辑上互不矛盾的一组假设都有可能提供一种几何学.

现在我们可以说: 数学中的存在性, 指的就是逻辑上的无矛盾性.

\(\sqrt{-1}\)的合理性

这个问题的答案, 其实就在 Ahlfors 的经典名作 “Complex analysis” 的开篇 1.3.

简单点说, 就是有一个域, \(\Bbb R\) 是其子域(或者有子域与 \(\Bbb R\) 同构), 在这个域里有一个元素 \(x\), 满足 \(x^2+1=0\).

然后, Ahlfors 用例子说明了如何构造这样的一个域.

Frobenius 有个著名的定理是这么说的: 实数域上的有限维可除代数只有 \(\Bbb R\), \(\Bbb C\), 和 \(\Bbb H\).

至于证明, 可以参考, 比如, Jacobson 的 Basic Algebra I 的第七章.

Feb 262013
 

从今天开始, 我们将有一系列的关于复分析(Complex analysis) 的笔记, 首先当然是单复分析. 单复分析是数学系本科生的一门必修的基础课.

复分析在数学的核心地位, 毋庸置疑! 现代数学, 无论多么显著的成就, 都可以在复分析找到其思想的源头.
学复变之前, 最好是懂那么一点抽象代数, 点集拓扑, 哪怕一点点双曲几何.
自学的话, 也许不可得其神韵!

单复分析 = Cauchy- Riemann 方程

Cauchy- Riemann 方程是一个偏微分方程组. Cauchy 标志一个时代的结束, 而 Riemann 则预示新时代的开启! 这句话形象的表达了复分析在数学的地位!

三个大师的复分析

Ahlfors,  Complex Analysis
Henri Cartan, Elementary Theory of Analytic Functions of One or Several Complex Variables
Kodaira, Complex Analysis
Ahlfors 不是这个星球的人物,  他的基础数学的学生必看的书是 “思想”的书, 几何与拓扑的办法, 观点现代.
Cartan 借用拓扑与代数的概念, 使用的是 Weierstrass 的观点. 有高等教育的中译本《解析函数论初步》
Kodaira 本人用分析做代数几何. 他的书观点更接近 Riemann, 准确反映了复分析发展的原动力.

除此,下面几个书应该提到:
A. I. Markushevich, Theory of Functions of a Complex Variable 超过 1100 页
Siegel, Topics in Complex Function Theory, vol 1, 2, 3

其实, 现在 使用较多的几个教材是(意思是不见得都非常好)
Elias M. Stein &Rami Shakarchi,
Theodore Gamelin
Serge Lang( Shakarchi 写有这书的解答)
俄文的 《复分析导论》
要特别提一下的是, 较少人注意, 刚引进影印的一套书 Eberhard Freitag, 也非常赞的!

中文
1. 龚升, 简明复分析
2. 史济怀,  复变函数
3. 李忠,  复分析导引
4: 张南岳 , 陈怀惠, 复变函数论选讲
5. 余家荣, 路见可,复变函数专题选讲
中文的书, 在我暂时的看法, 1, 2 应该是最好的.
简明复分析, 受到广泛的赞扬. 这书的英文版比中文版多两章. 想了解复分析和别的领域的联系, 数学如何是一个整体, 这书必看. Cauchy- Riemann 方程是一个偏微分方程组, 但这书没有涉及复分析与偏微分方程的联系.
后三本不适合刚接触复分析的学生, 是用来深入的.

方企勤的《复变函数》, 本身没有任何特点, 很多内容都是照搬别的书(书末的参考文献), 因此不推荐. 顺便提一下, 第三章习题 33 最后的答案有一个错误。
钟玉泉 复变函数论, 发行很多, 有一些数学系使用这个书. 非常容易上手, 细节也很详细, 也有配套的辅导书.  大致可以了解单复分析有些啥基本内容. 不建议. 但如果找最容易入门的书, 这个可以拿来.

我们主要的参考书是:

  1. Lars V. Ahlfors, Complex analysis, third edition(有中译本)
  2. Kunihiko Kodaira, Complex analysis
  3. Henri Cartan, Elementary Theory of analytic functions of one or several complex variables(解析函数论初步, 有余家荣的中译本, 高等教育出版社)
  4. Elias M.Stein&Rami Shakarchi, Complex analysis
  5. Raghavan Narasimhan&Yves Nievergelt, Complex analysis in complex variable, second edition
  6. John B. Conway, Functions of one complex variable, second edition(有中译本)
  7. John B. Conway, Functions of one complex variable II
  8. M. A. Lavrentieff & B. V. Shabat, Methods of  Functions of a complex variable, Sixth Edition(有中译本)
  9. Mats Andersson, Topics in complex analysis
  10. Serge Lang, Complex analysis
  11. Peter D. Lax&Lawrence Zalcman, Complex proofs of real theorems
  12. Sheng Gong(龚升), Concise complex analysis(简明复分析), second edition(有中英版本)
  13. Tristan Needham, Visual complex analysis(复分析:可视化方法, 有齐民友的中译本)
  14. 史济怀, 刘太顺, 复变函数,中国科技大学出版社,1998
  15. 李忠,复分析导引,北京大学出版社,2004
  16. 张南岳,陈怀惠, 复变函数论选讲,北京大学出版社,1995
  17. 余家荣,路见可, 复变函数专题选讲, 高等教育出版社, 1993初版, 2012再版
Jan 202013
 

假定 \(a_1,a_2,\dotsc,a_n\) 是 \(n\) 个实数, 其 \(k(0\leqslant k\leqslant n)\) 阶对称和为

\[\sigma_k=\begin{cases}1& k=0\\ \sum_{1\leqslant i_1<i_2<\dotsb<i_k\leqslant n}a_{i_1}a_{i_2}\dotsm a_{i_k}&1\leqslant k\leqslant n\end{cases}\]

显然, \(\sigma_k\) 就是多项式 \(\sum\limits_{i=1}^n(x+a_i)\) 中 \(x^{n-k}\) 的系数. 我们定义这 \(n\) 个数的对称平均 \(d_k(0\leqslant k\leqslant n)\) 是

\[d_k=\dfrac{\sigma_k}{n\choose k}.\]

Newton 不等式 如果 \(a_1,a_2,\dotsc,a_n\) 都是实数, \( 1\leqslant k < n\), 则

\[d_k^2\geqslant d_{k-1}d_{k+1}\]

为真, 并且等号成立当且仅当 \(a_1=a_2=\dotsb=a_n\).

证明依赖这个简单的事实: \(n\) 次实系数多项式 \(P(x)=\sum\limits_{i=0}^n\sigma_ix^{n-i}\) 的导数是 \(P^\prime (x)=\sum\limits_{i=0}^{n-1}(n-i)\sigma_ix^{n-i-1}\), 下面两件事情为真

  • 记 \(d^\prime_k=\dfrac{(n-k)\sigma_k}{n{n-1\choose k}}\), 则 \(d^\prime_k=d_k, k=0,1,2,\dotsc,n-1.\)
  • 如果 \(P(x)\) 有 \(n\) 个(非负)实根, 则 \(P^\prime (x)\) 有 \(n-1\) 个(非负)实根.

前者是相当显然的, 使用 Rolle 中值定理即可得后者.

于是, 若记 \(P^\prime (x)\) 有 \(n-1\) 个实根为 \(-a^\prime_1,-a^\prime_2,\dotsc,-a^\prime_{n-1}\), 则  \(a^\prime_1,a^\prime_2,\dotsc,a^\prime_{n-1}\) 这 \(n-1\) 个实数的对称平均 \(d^\prime_k=d_k, k=0,1,2,\dotsc,n-1.\)

从而, 要证明 Newton 不等式, 我们只要验证

\[d_{n-1}^2\geqslant d_{n-2}d_n\]

成立, 并且等号成立当且仅当 \(a_1=a_2=\dotsb=a_n\) 就行了.

无妨设所有 \(a_i\ne0, 1\leqslant i\leqslant n\). 注意 \(d_{n-1}^2\geqslant d_{n-2}d_n\) 也就是

\[(n-1)(\sum_{i=1}^n\frac1{a_i})^2\geqslant2n\sum_{0\leqslant i<j\leqslant n}\frac1{a_ia_j},\]

这等价于

\[n\sum_{i=1}^n\frac1{a_i^2}\geqslant(\sum_{i=1}^n\frac1{a_i})^2.\]

最后的不等式是显而易见的.   \(\Box\)

Maclaurin 不等式   \(d_i\) 如上定义, \(a_1,a_2,\dotsc,a_n\geqslant0\), 则

\[d_1\geqslant\sqrt{d_2}\geqslant\sqrt[3\uproot2]{d_3}\geqslant\dotsb\geqslant\sqrt[n\uproot2]{d_n},\]

等号成立当且仅当 \(a_1=a_2=\dotsb=a_n\).

事实上, 基于同样的理由, 我们只需要指出

\[\sqrt[n-1\uproot2]{d_{n-1}}\geqslant\sqrt[n\uproot2]{d_n}.\]

这是一个齐次不等式, 不妨设

\[d_n=\prod_{i=1}^na_i=1.\]

于是所要证明的不等式就成为

\[\dfrac{\sum\limits_{i=1}^n\dfrac1{a_i}}n\geqslant1^{\frac{n-1}n}=1.\]

这是不言而喻的事件.   \(\Box\)

显然, Maclaurin 不等式加强了 AM-GM 不等式, 因为 \(a_1,a_2,\dotsc,a_n\) 的算术平均是 \(d_1\), 几何平均是 \(\sqrt[n\uproot2]{d_n}\).

Jan 152013
 

一. (1) 显然

\[\angle CAE=\angle CBE=\angle DBF=\angle DAF,\]

结合 \(l_1\) 是 \( CD\) 的中垂线, 可得 \(l_1\) 是 \(\angle EAF\) 的角平分线, 这揭示 \(l_1\) 与 \(l_2\) 必有公共点. 因为圆 \(K_1\) 与 \(K_2\) 半径不相等, 因此 \(l_1\) 与 \(l_2\) 不可能重合, 其交点在 \(\triangle AEF\) 的外接圆上.

(2) 注意到

\begin{equation*}\begin{split}\angle EBF&=\angle EAF+\angle AEB+\angle AFB\\&=\angle EAF+\angle ACB+\angle ADB\\&=\angle EAF+180^\circ-\angle EBF,\end{split}\end{equation*}

所以 \(\angle EBF=90^\circ+\frac12\angle EAF\) 是钝角, 并且由

\[\angle EBF=90^\circ+\frac12\angle EAF=90^\circ+\frac12(180^\circ-\angle EPF)=180^\circ-\frac12\angle EPF\]

可以知道 \(P\) 点是 \(\triangle BEF\) 的外心.

\(D\) 在 \(\triangle BEF\) 的外接圆与圆 \(K_1\) 的根轴上, 所以

\[DP^2-PE^2=DC\cdot DA=2CA^2.\]

\(\triangle PAC, \triangle PAD\) 都是直角三角形, 并且 \(A\) 是 \(CD\) 中点, 我们有

\[CA^2+PE^2=DP^2-CA^2=DP^2-DA^2=AP^2,\]

所以 \( CA,AP,PE\) 能构成一个直角三角形.

二. 先来指出: 若整数 \(a,d\in S\), 那么对于任意的整数 \(n\), 有 \(a+3nd,a+(3n+1)d\in S\).

 Posted by at 8:31 am  Tagged with:
Jan 122013
 

2013 年中国数学奥林匹克

 第一天

2013 年 1 月 12 日    8:00-12:30    辽宁  沈阳

 一.  如图, 两个半径不相等的圆 \(K_1\) 与 \(K_2\) 交于 \(A, B\) 两点, \(C, D\) 两点分别在\(K_1, K_2\) 上, 且线段 \(CD\) 以 \(A\) 为中点; 延长 \(DB\) 交 \(K_1\) 于点 \(E\), 延长 \(CB\) 交 \(K_2\) 于点 \(F\). 设线段 \(CD, EF\) 的中垂线分别为 \(l_1, l_2\). 证明:
(1)   \(l_1\) 与 \( l_2\) 相交;
(2)   若 \(l_1\) 与 \( l_2\) 的交点为 \(P\), 则三条线段 \(CA,AP,PE\) 能构成一个直角三角形.

CMO 2013 problem 1

CMO 2013 problem 1

二. 确定所有由整数构成的非空集合 \(S\), 满足: 若 \(m,n\in S\)(\(m,n\) 可以相同), 则 \(3m-2n\in S\).

三. 求一切正实数 \(t\), 具有下述性质: 存在一个由实数组成的无限集合 \(X\), 使得对任意 \(x,y,z\in X\)(这里 \(x,y,z\) 可以相同), 以及任意实数 \(a\) 与正实数 \(d\), 均有

\[\max\{|x-(a-d)|,|y-a|,|z-(a+d)|\}>td.\]

 第二天

2013 年 1 月 13 日    8:00-12:30    辽宁  沈阳

四. 给定整数 \(n\geqslant2\). 设 \(n\) 个非空有限集 \(A_1,A_2,\dotsc,A_n\) 满足: 对任意 \(i,j\in\{1,2,\dotsc,n\}\), 有 \(|A_i\bigtriangleup A_j|=|i-j|\). 求 \(|A_1|+|A_2|+\dotsb+|A_n|\) 的最小值.
(这里, \(|X|\) 表示有限集合 \(X\) 的元素个数; 对于集合 \(X,Y\), 规定 \(X\bigtriangleup Y=\{a|a\in X,a\not\in Y\}\cup\{a|a\in Y,a\not\in X\}\).)

五. 对正整数 \(n\) 及整数 \(i(0\leqslant i \leqslant n)\), 设 \(C_n^i\equiv c(n,i)\pmod 2\), 其中 \(c(n,i)\in\{0,1\}\), 并记

\[f(n,q)=\sum_{i=0}^nc(n,i)q^i.\]

设 \(m,n,q\) 为正整数且 \(q+1\) 不是 \(2\) 的方幂. 证明: 若 \(f(m,q)|f(n,q)\), 则对任意正整数 \(r\), 有 \(f(m,r)|f(n,r)\).

六. 给定正整数 \(m,n\), 求具有下述性质的最小整数 \(N(\geqslant m)\): 若一个 \(N\) 元整数集含有模 \(m\) 的完全剩余系, 则它有一个非空子集, 其元素和被 \(n\) 整除.

 Posted by at 7:42 am  Tagged with: