<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet href="feed.xsl" type="text/xsl"?>
<rss version="2.0"><channel>
  <title>恩次方根</title>
  <link>https://www.encifanggen.com/</link>
  <description>数学竞赛题解、各国赛题翻译、教学笔记和数学科普</description>
  <language>zh-CN</language>
  <lastBuildDate>Thu, 15 Oct 2026 00:00:00 +0000</lastBuildDate>
<item>
  <title>一道不等式问题的简解</title>
  <link>https://www.encifanggen.com/article/h_3a6be0b3cba0b087</link>
  <guid isPermaLink="true">https://www.encifanggen.com/article/h_3a6be0b3cba0b087.html</guid>
  <pubDate>Thu, 15 Oct 2026 00:00:00 +0000</pubDate>
  <description><![CDATA[<p>个人感觉做得比GPT要简洁不少（见图2），题目为戴安娜的梦老师原创，戴老师在数之谜上最近出了很多非常优雅的原创题，推荐大家试一试。</p><section class="tex-article imported-transcript" data-imported-formulas="1"><h2>题目</h2>
<p>设整数 <span class="imported-formula imported-formula-inline" data-formula="n\ge 5" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$n\ge 5$</span>，实数 <span class="imported-formula imported-formula-inline" data-formula="a_1,\ldots,a_n" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$a_1,\ldots,a_n$</span> 的和为 <span class="imported-formula imported-formula-inline" data-formula="0" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$0$</span>，且对任意互不相同的下标 <span class="imported-formula imported-formula-inline" data-formula="i,j,k" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$i,j,k$</span>，都有</p>
<div class="imported-formula imported-formula-block" data-formula="a_j(a_i+a_k)\ge -1." data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$a_j(a_i+a_k)\ge -1.$$</div>
<p>求</p>
<div class="imported-formula imported-formula-block" data-formula="S=\sum_{i=1}^{n}a_i^2" data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$S=\sum_{i=1}^{n}a_i^2$$</div>
<p>的最大值。</p>
<h2>简解</h2>
<p>不妨设</p>
<div class="imported-formula imported-formula-block" data-formula="a_1=M=\max_{1\le i\le n}|a_i|&gt;0,
\qquad a_2\le a_3\le\cdots\le a_n." data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$a_1=M=\max_{1\le i\le n}|a_i|&gt;0,
\qquad a_2\le a_3\le\cdots\le a_n.$$</div>
<p>记 <span class="imported-formula imported-formula-inline" data-formula="a_2=-b" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$a_2=-b$</span>，<span class="imported-formula imported-formula-inline" data-formula="a_3=-c" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$a_3=-c$</span>，则 <span class="imported-formula imported-formula-inline" data-formula="b\ge c" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$b\ge c$</span>。由题设，</p>
<div class="imported-formula imported-formula-block" data-formula="M(b+c)\le 1." data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$M(b+c)\le 1.$$</div>
<p>又对任意 <span class="imported-formula imported-formula-inline" data-formula="i\ne 2" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$i\ne 2$</span>，均有 <span class="imported-formula imported-formula-inline" data-formula="a_i+c\ge 0" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$a_i+c\ge 0$</span>，且</p>
<div class="imported-formula imported-formula-block" data-formula="a_2+c=c-b\le 0." data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$a_2+c=c-b\le 0.$$</div>
<p>于是</p>
<div class="imported-formula imported-formula-block" data-formula="\begin{aligned}
S
&amp;=\sum_{i=1}^{n}a_i(a_i+c)\\
&amp;\le M\sum_{i=1}^{n}|a_i+c|\\
&amp;=M\bigl[nc+2(b-c)\bigr]\\
&amp;=M\bigl[2b+(n-2)c\bigr]\\
&amp;=\frac n2M(b+c)-\frac{n-4}{2}M(b-c)\\
&amp;\le \frac n2M(b+c)\\
&amp;\le \frac n2.
\end{aligned}" data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$\begin{aligned}
S
&amp;=\sum_{i=1}^{n}a_i(a_i+c)\\
&amp;\le M\sum_{i=1}^{n}|a_i+c|\\
&amp;=M\bigl[nc+2(b-c)\bigr]\\
&amp;=M\bigl[2b+(n-2)c\bigr]\\
&amp;=\frac n2M(b+c)-\frac{n-4}{2}M(b-c)\\
&amp;\le \frac n2M(b+c)\\
&amp;\le \frac n2.
\end{aligned}$$</div>
<h2>取等</h2>
<p>取</p>
<div class="imported-formula imported-formula-block" data-formula="a_1=\sqrt{\frac{n-1}{2}},
\qquad
a_2=\cdots=a_n=-\frac{1}{\sqrt{2(n-1)}}," data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$a_1=\sqrt{\frac{n-1}{2}},
\qquad
a_2=\cdots=a_n=-\frac{1}{\sqrt{2(n-1)}},$$</div>
<p>即可取到等号。因此，<span class="imported-formula imported-formula-inline" data-formula="S" data-formula-type="inline-equation" role="button" tabindex="0" aria-label="复制公式源码">$S$</span> 的最大值为</p>
<div class="imported-formula imported-formula-block" data-formula="\boxed{\frac n2}." data-formula-type="block-equation" role="button" tabindex="0" aria-label="复制公式源码">$$\boxed{\frac n2}.$$</div></section><h2>原图</h2><figure><picture><source type="image/webp" srcset="https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.800w.webp 800w, https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.1200w.webp 1200w, https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.1600w.webp 1600w, https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.2201w.webp 2201w" sizes="(max-width: 800px) calc(100vw - 44px), 756px"><img src="https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.jpg" alt="手写简解原图" decoding="async" fetchpriority="high" width="2201" height="997" srcset="https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.800w.jpg 800w, https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.1200w.jpg 1200w, https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-1.jpg 2201w" sizes="(max-width: 800px) calc(100vw - 44px), 756px"></picture></figure><figure><picture><source type="image/webp" srcset="https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-2.800w.webp 800w, https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-2.845w.webp 845w" sizes="(max-width: 800px) calc(100vw - 44px), 756px"><img src="https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-2.jpg" alt="原文对比解答图" loading="lazy" decoding="async" width="845" height="1260" srcset="https://www.encifanggen.com/media/h_3a6be0b3cba0b087/img-2.jpg 845w" sizes="(max-width: 800px) calc(100vw - 44px), 756px"></picture></figure>]]></description>
</item>
<item>
  <title>借一道简单的原创不等式，纪念今年的生日</title>
  <link>https://www.encifanggen.com/article/h_1c24bbcfb5b1e3f4</link>
  <guid isPermaLink="true">https://www.encifanggen.com/article/h_1c24bbcfb5b1e3f4.html</guid>
  <pubDate>Tue, 13 Oct 2026 00:00:00 +0000</pubDate>
  <description><![CDATA[<section style="orphans: 2; text-transform: none; widows: 2; word-spacing: 0em; -webkit-text-stroke-width: 0px; text-decoration: none; margin: 0px; padding: 0px 10px; width: auto; overflow-wrap: break-word; text-align: left"><h2 style="margin: 30px 0px 15px; align-items: unset; border-style: none; border-width: 1px; border-color: rgb(0, 0, 0); display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; overflow: unset; padding: 0px; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span style="padding: 0px 0px 0px 10px; border-style: none none none solid; border-width: 1px 1px 1px 5px; border-color: rgb(0, 0, 0) rgb(0, 0, 0) rgb(0, 0, 0) rgb(248, 57, 41); align-items: unset; display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; margin: 0px; overflow: unset; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span>题目</span></span></h2><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>设 </span><span data-formula="a_i,b_i"><span data-formula="a_i,b_i"> 𝑎_(𝑖),𝑏_(𝑖) </span></span><span>（</span><span data-formula="i=1,2,\ldots,1013"><span data-formula="i=1,2,\ldots,1013"> 𝑖=1,2,…,1013 </span></span><span>）为任意非负实数，下标模</span><span data-formula="1013"><span data-formula="1013"> 1013 </span></span><span>理解．求最大的实数 </span><span data-formula="C"><span data-formula="C"> 𝐶 </span></span><span>，使得不等式</span></p><span><section data-formula="\prod_{i=1}^{1013}(a_i a_{i+1}+b_i b_{i+1})
+
C\prod_{i=1}^{1013}|a_i b_{i+1}-b_i a_{i+1}|
\le
\prod_{i=1}^{1013}(a_i^2+b_i^2)
" style="text-align: center; overflow: auto; display: block"> ∏_(𝑖=1)^(1013)(𝑎_(𝑖)𝑎_(𝑖+1)+𝑏_(𝑖)𝑏_(𝑖+1))+𝐶∏_(𝑖=1)^(1013)|𝑎_(𝑖)𝑏_(𝑖+1)−𝑏_(𝑖)𝑎_(𝑖+1)|≤∏_(𝑖=1)^(1013)(𝑎2𝑖+𝑏2𝑖) </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>恒成立。</span></p><h2 style="margin: 30px 0px 15px; align-items: unset; border-style: none; border-width: 1px; border-color: rgb(0, 0, 0); display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; overflow: unset; padding: 0px; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span style="padding: 0px 0px 0px 10px; border-style: none none none solid; border-width: 1px 1px 1px 5px; border-color: rgb(0, 0, 0) rgb(0, 0, 0) rgb(0, 0, 0) rgb(248, 57, 41); align-items: unset; display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; margin: 0px; overflow: unset; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span>答案</span></span></h2><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>最大的实数为</span></p><span><section data-formula="\boxed{C_{\max}=2}.
" style="text-align: center; overflow: auto; display: block"> 𝐶_(max)=2. </section></span><h2 style="margin: 30px 0px 15px; align-items: unset; border-style: none; border-width: 1px; border-color: rgb(0, 0, 0); display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; overflow: unset; padding: 0px; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span style="padding: 0px 0px 0px 10px; border-style: none none none solid; border-width: 1px 1px 1px 5px; border-color: rgb(0, 0, 0) rgb(0, 0, 0) rgb(0, 0, 0) rgb(248, 57, 41); align-items: unset; display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; margin: 0px; overflow: unset; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span>构造</span></span></h2><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>对</span><span data-formula="1\le j\le 506"><span data-formula="1\le j\le 506"> 1≤𝑗≤506 </span></span><span>，令</span></p><span><section data-formula="(a_{2j-1},b_{2j-1})=(1,0),
(a_{2j},b_{2j})=(0,1)
" style="text-align: center; overflow: auto; display: block"> (𝑎_(2𝑗−1),𝑏_(2𝑗−1))=(1,0),(𝑎_(2𝑗),𝑏_(2𝑗))=(0,1) </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>并令</span></p><span><section data-formula="(a_{1013},b_{1013})=(1,1).
" style="text-align: center; overflow: auto; display: block"> (𝑎_(1013),𝑏_(1013))=(1,1). </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>也就是说，前 </span><span data-formula="1012"><span data-formula="1012"> 1012 </span></span><span>对在 </span><span data-formula="(1,0)"><span data-formula="(1,0)"> (1,0) </span></span><span>与 </span><span data-formula="(0,1)"><span data-formula="(0,1)"> (0,1) </span></span><span>之间交替，最后一对取 </span><span data-formula="(1,1)"><span data-formula="(1,1)"> (1,1) </span></span><span>．</span></p><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>将这组取值代入原不等式，容易得到</span></p><span><section data-formula="C\le 2.
" style="text-align: center; overflow: auto; display: block"> 𝐶≤2. </section></span><h2 style="margin: 30px 0px 15px; align-items: unset; border-style: none; border-width: 1px; border-color: rgb(0, 0, 0); display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; overflow: unset; padding: 0px; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span style="padding: 0px 0px 0px 10px; border-style: none none none solid; border-width: 1px 1px 1px 5px; border-color: rgb(0, 0, 0) rgb(0, 0, 0) rgb(0, 0, 0) rgb(248, 57, 41); align-items: unset; display: block; flex-direction: unset; float: unset; height: auto; justify-content: unset; margin: 0px; overflow: unset; text-align: left; transform: none; width: auto; -webkit-box-reflect: unset"><span>证明</span></span></h2><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>若某一对 </span><span data-formula="(a_i,b_i)=(0,0)"><span data-formula="(a_i,b_i)=(0,0)"> (𝑎_(𝑖),𝑏_(𝑖))=(0,0) </span></span><span>，则原式中的三个乘积均为零，不等式成立．</span></p><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>以下设每一对都不为 </span><span data-formula="(0,0)"><span data-formula="(0,0)"> (0,0) </span></span><span>．由于 </span><span data-formula="a_i,b_i\ge 0"><span data-formula="a_i,b_i\ge 0"> 𝑎_(𝑖),𝑏_(𝑖)≥0 </span></span><span>，可设</span></p><span><section data-formula="(a_i,b_i)=r_i(\cos\theta_i,\sin\theta_i)" style="text-align: center; overflow: auto; display: block"> (𝑎_(𝑖),𝑏_(𝑖))=𝑟_(𝑖)(cos⁡𝜃_(𝑖),sin⁡𝜃_(𝑖)) </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>其中</span><span data-formula="r_i&gt;0, 0\le\theta_i\le\dfrac{\pi}{2}"><span data-formula="r_i&gt;0, 0\le\theta_i\le\dfrac{\pi}{2}"> 𝑟_(𝑖)&gt;0,0≤𝜃_(𝑖)≤(𝜋)/(2) </span></span><span>．记</span></p><span><section data-formula="x_i=|\theta_{i+1}-\theta_i|,0\le x_i\le\dfrac{\pi}{2}.
" style="text-align: center; overflow: auto; display: block"> 𝑥_(𝑖)=|𝜃_(𝑖+1)−𝜃_(𝑖)|,0≤𝑥_(𝑖)≤(𝜋)/(2). </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>于是</span></p><span><section data-formula="a_i a_{i+1}+b_i b_{i+1}
=r_i r_{i+1}\cos x_i,
" style="text-align: center; overflow: auto; display: block"> 𝑎_(𝑖)𝑎_(𝑖+1)+𝑏_(𝑖)𝑏_(𝑖+1)=𝑟_(𝑖)𝑟_(𝑖+1)cos⁡𝑥_(𝑖), </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>以及</span></p><span><section data-formula="|a_i b_{i+1}-b_i a_{i+1}|
=r_i r_{i+1}\sin x_i.
" style="text-align: center; overflow: auto; display: block"> |𝑎_(𝑖)𝑏_(𝑖+1)−𝑏_(𝑖)𝑎_(𝑖+1)|=𝑟_(𝑖)𝑟_(𝑖+1)sin⁡𝑥_(𝑖). </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>由循环关系，</span></p><span><section data-formula="\prod_{i=1}^{1013}r_i r_{i+1}
=
\prod_{i=1}^{1013}r_i^2.
" style="text-align: center; overflow: auto; display: block"> ∏_(𝑖=1)^(1013)𝑟_(𝑖)𝑟_(𝑖+1)=∏_(𝑖=1)^(1013)𝑟2𝑖. </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>约去正的公共因子 </span><span data-formula="\prod_{i=1}^{1013}r_i^2"><span data-formula="\prod_{i=1}^{1013}r_i^2"> ∏_(1013)^(𝑖=1)𝑟2𝑖 </span></span><span>，只需证明</span></p><span><section data-formula="\prod_{i=1}^{1013}\cos x_i
+
2\prod_{i=1}^{1013}\sin x_i
\le 1.
\tag{1}
" style="text-align: center; overflow: auto; display: block"> ∏_(𝑖=1)^(1013)cos⁡𝑥_(𝑖)+2∏_(𝑖=1)^(1013)sin⁡𝑥_(𝑖)≤1.;(1) </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>若某个 </span><span data-formula="x_i=0"><span data-formula="x_i=0"> 𝑥_(𝑖)=0 </span></span><span>，则正弦乘积为零，而余弦乘积不超过 </span><span data-formula="1"><span data-formula="1"> 1 </span></span><span>，式 </span><span data-formula="(1)"><span data-formula="(1)"> (1) </span></span><span>成立，下设所有 </span><span data-formula="x_i&gt;0"><span data-formula="x_i&gt;0"> 𝑥_(𝑖)&gt;0 </span></span><span>．</span></p><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>由</span><span data-formula="1013"><span data-formula="1013"> 1013 </span></span><span>为奇数，熟知存在</span><span data-formula="1\le k\le 1013"><span data-formula="1\le k\le 1013"> 1≤𝑘≤1013 </span></span><span>，使得</span></p><span><section data-formula="\theta_k\le \theta_{k+1}\le \theta_{k+2}\text{或}\theta_k\ge \theta_{k+1}\ge \theta_{k+2}.
" style="text-align: center; overflow: auto; display: block"> 𝜃_(𝑘)≤𝜃_(𝑘+1)≤𝜃_(𝑘+2)或𝜃_(𝑘)≥𝜃_(𝑘+1)≥𝜃_(𝑘+2). </section></span><blockquote style="margin: 20px 0px; padding: 10px 10px 10px 20px; border-style: none; border-width: 3px; border-color: rgba(0, 0, 0, 0.4); width: auto; height: auto; display: block; overflow: auto"><span style="display: block; text-align: left"><span>“</span></span><p style="padding: 8px 0px; text-align: left; margin: 0px"><span>否则，</span><span data-formula="(\theta_k-\theta_{k+1})(\theta_{k+1}-\theta_{k+2})&lt; 0"><span data-formula="(\theta_k-\theta_{k+1})(\theta_{k+1}-\theta_{k+2})&lt; 0"> (𝜃_(𝑘)−𝜃_(𝑘+1))(𝜃_(𝑘+1)−𝜃_(𝑘+2))&lt;0 </span></span><span>恒成立，对</span><span data-formula="1\le k\le 1013"><span data-formula="1\le k\le 1013"> 1≤𝑘≤1013 </span></span><span>求积即得矛盾．</span></p></blockquote><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>从而</span></p><span><section data-formula="x_k+x_{k+1}=|\theta_{k+2}-\theta_k|
\le\frac{\pi}{2}.
" style="text-align: center; overflow: auto; display: block"> 𝑥_(𝑘)+𝑥_(𝑘+1)=|𝜃_(𝑘+2)−𝜃_(𝑘)|≤(𝜋)/(2). </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>因此</span></p><span><section data-formula="2\sin x_k\sin x_{k+1}\le 1-\cos(x_k+x_{k+1})\le 1.
\tag{2}
" style="text-align: center; overflow: auto; display: block"> 2sin⁡𝑥_(𝑘)sin⁡𝑥_(𝑘+1)≤1−cos⁡(𝑥_(𝑘)+𝑥_(𝑘+1))≤1.;(2) </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>将上述两个相邻下标删去，记剩余下标组成的集合为 </span><span data-formula="I"><span data-formula="I"> 𝐼 </span></span><span>，则 </span><span data-formula="|I|=1011"><span data-formula="|I|=1011"> |𝐼|=1011 </span></span><span>．令</span></p><span><section data-formula="A=\prod_{i\in I}\cos x_i,
B=\prod_{i\in I}\sin x_i.
" style="text-align: center; overflow: auto; display: block"> 𝐴=∏_(𝑖∈𝐼)cos⁡𝑥_(𝑖),𝐵=∏_(𝑖∈𝐼)sin⁡𝑥_(𝑖). </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>由各因子均在 </span><span data-formula="[0,1]"><span data-formula="[0,1]"> [0,1] </span></span><span>内，以及式 </span><span data-formula="(2)"><span data-formula="(2)"> (2) </span></span><span>，得到</span></p><span><section data-formula="\begin{aligned}
\prod_{i=1}^{1013}\cos x_i
+
2\prod_{i=1}^{1013}\sin x_i
&amp;=
A\cos x_k\cos x_{k+1}
+
2B\sin x_k\sin x_{k+1}\\
&amp;\le A+B.
\end{aligned}
" style="text-align: center; overflow: auto; display: block"> ∏_(𝑖=1)^(1013)cos⁡𝑥_(𝑖)+2∏_(𝑖=1)^(1013)sin⁡𝑥_(𝑖) =𝐴cos⁡𝑥_(𝑘)cos⁡𝑥_(𝑘+1)+2𝐵sin⁡𝑥_(𝑘)sin⁡𝑥_(𝑘+1); ≤𝐴+𝐵.; </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>由于 </span><span data-formula="I"><span data-formula="I"> 𝐼 </span></span><span>中至少还有两个下标，任取不同的 </span><span data-formula="p,q\in I"><span data-formula="p,q\in I"> 𝑝,𝑞∈𝐼 </span></span><span>。其余因子均不超过 </span><span data-formula="1"><span data-formula="1"> 1 </span></span><span>，故</span></p><span><section data-formula="A\le\cos x_p\cos x_q,
B\le\sin x_p\sin x_q.
" style="text-align: center; overflow: auto; display: block"> 𝐴≤cos⁡𝑥_(𝑝)cos⁡𝑥_(𝑞),𝐵≤sin⁡𝑥_(𝑝)sin⁡𝑥_(𝑞). </section></span><span><section data-formula="\begin{aligned}
A+B
&amp;\le
\cos x_p\cos x_q+\sin x_p\sin x_q\\
&amp;=\cos(x_p-x_q)\\
&amp;\le 1.
\end{aligned}
" style="text-align: center; overflow: auto; display: block"> 𝐴+𝐵 ≤cos⁡𝑥_(𝑝)cos⁡𝑥_(𝑞)+sin⁡𝑥_(𝑝)sin⁡𝑥_(𝑞); =cos⁡(𝑥_(𝑝)−𝑥_(𝑞)); ≤1.; </section></span><p style="text-align: left; margin: 0px; padding: 8px 0px"><span>证毕．</span></p></section>]]></description>
</item>
<item>
  <title>今年为什么“十五的月亮十七圆”</title>
  <link>https://www.encifanggen.com/article/h_df6e4085ba202c13</link>
  <guid isPermaLink="true">https://www.encifanggen.com/article/h_df6e4085ba202c13.html</guid>
  <pubDate>Sat, 26 Sep 2026 00:00:00 +0000</pubDate>
  <description><![CDATA[<blockquote>
<p>2026 年中秋｜时间均为北京时间（UTC+8），月相时刻取到分钟．</p>
</blockquote>
<p>今年中秋是 9 月 25 日，八月十五．满月却在 9 月 27 日 0 时 49 分，已经是八月十七．</p>
<p>满月只比 26 日结束的午夜晚了 49 分钟．若再早 49 分钟，它就退回 26 日，成了“十六圆”；早 49 分钟整，它落在 27 日 0 时 00 分，仍算十七．今年就压在十七这一边．</p>
<p>先看农历的日子是怎么数的．</p>
<h2>十七是数出来的</h2>
<p>新月称朔，满月称望．农历以朔落在的那一天为初一，初一自零时起算．</p>
<p>设朔发生在初一上午 11 时 27 分．这一日已经过了 11 小时余，而月龄仍自零起算：月龄指从朔起经过的时间，与钟点无关．</p>
<p>以初一零时为原点，时间以天为单位．记朔在初一零时之后 $u$ 天，自朔至望又经过 $\Delta$ 天．朔必落在初一之内，故</p>
<p>$$0\le u&lt;1$$</p>
<p>到望时，初一零时之后已过 $u+\Delta$ 天．日序自初一计起，满月所在的日序 $n$ 为</p>
<p>$$n=1+\lfloor u+\Delta\rfloor \tag{1}$$</p>
<p>$\lfloor x\rfloor$ 是向下取整，只计完整经过的天数．加 1 是因为过零整天仍是初一，过满一整天才是初二．</p>
<p>把 (1) 反过来写：满月落在第 $k$ 天，等价于</p>
<p>$$k-1-\Delta\le u&lt;k-\Delta \tag{2}$$</p>
<p>$\Delta$ 定时，日序只由 $u$ 落在哪个长度为 1 的区间决定．</p>
<p>十七圆的充要条件是 $16\le u+\Delta&lt;17$，即</p>
<p>$$u\ge 16-\Delta \tag{3}$$</p>
<p>注意到上界 $u&lt;17-\Delta$ 恒成立：由 $u&lt;1$ 且 $\Delta&lt;16$ 即得．于是要问十七圆，只要问初一这一天的朔够不够晚，(3) 就是这个条件．</p>
<h2>除以 2 得不出十七</h2>
<p>先考虑最简单的情形：日月之间的相对角度匀速变化．朔望月平均 29.5306 天，半个周期即</p>
<p>$$\Delta_0=\frac{29.5306}{2}=14.7653 \tag{4}$$</p>
<p>即 14 天 18 小时 22 分．代入 $0\le u&lt;1$，无论朔在初一几点，总有</p>
<p>$$14.7653\le u+\Delta_0&lt;15.7653$$</p>
<p>取整加 1，故 $n\in\{15,16\}$．匀速的假设允许十五圆和十六圆，给不出十七．</p>
<p>但它足以解释那句俗语．设朔发生的时刻在一天之内均匀分布，由 (2) 反解得</p>
<table>
<thead>
<tr>
<th>日序 $n$</th>
<th>$u$ 的范围</th>
<th>占比</th>
</tr>
</thead>
<tbody>
<tr>
<td>15</td>
<td>$0\le u&lt;0.235$</td>
<td>23.5%</td>
</tr>
<tr>
<td>16</td>
<td>$0.235\le u&lt;1$</td>
<td>76.5%</td>
</tr>
</tbody>
</table>
<p>十六只要 $u\ge 15-\Delta_0\approx0.235$，占去全天的七成半．十六比十五多，这就是“十五的月亮十六圆”的来处．</p>
<p>一般地，由 (2)(3) 得</p>
<p>$$P(n=17)=\max(0,\ \Delta-15) \tag{5}$$</p>
<p>因 $u&lt;1$，$\Delta\le 15$ 时十七圆的概率为零：$\Delta$ 不越过 15 天，十七圆无从谈起．实际的朔到望间隔在 13.90 天与 15.61 天之间浮动，15 天落在其中偏上的位置，故十七圆少见．2001 至 2100 年的 100 次中秋月中，十六圆 48 次，十五圆 38 次，十七圆 14 次，十四圆 0 次．</p>
<p>常见的说法是“29.53 不是整数，所以凑不出十七”，这并不成立．取整只决定日序取 15 还是 16，而这两个值本来都能取到．会变的是 $\Delta$：(4) 把 $\Delta$ 钉死在 14.7653，$\Delta$ 一变，(2) 的区间整体平移，(5) 才有正值．</p>
<h2>月亮走得不匀</h2>
<p>朔、望由日月的地心视黄经差定义：两者相同为朔，相差 180° 为望．记月球与太阳的地心视黄经为 $\lambda_M(t)$ 与 $\lambda_S(t)$，其差</p>
<p>$$\theta(t)=\lambda_M(t)-\lambda_S(t) \tag{6}$$</p>
<p>即月相角．角度连续展开，越过 360° 不归零．取朔在 $t_0$、望在 $t_1$，令 $\theta(t_0)=0$，则望的定义为</p>
<p>$$\theta(t_1)-\theta(t_0)=\pi \tag{7}$$</p>
<p>相对角速度</p>
<p>$$\omega(t)=\frac{d\theta}{dt}=\frac{d\lambda_M}{dt}-\frac{d\lambda_S}{dt} \tag{8}$$</p>
<p>自朔至望，各段时间转过的角度之和恰为半圈：</p>
<p>$$\int_{t_0}^{t_1}\omega(t)\,dt=\pi \tag{9}$$</p>
<p>两端除以用时，得这一段的平均相对角速度 $\bar\omega=\pi/\Delta$，即</p>
<p>$$\Delta=\frac{\pi}{\bar\omega} \tag{10}$$</p>
<p>半圈的角度 $\pi$ 固定，故 $\Delta$ 只由这一段的平均相对角速度决定：$\bar\omega$ 变小，$\Delta$ 变长．$\omega$ 为常数时，可以用半圈除以角速度；$\omega$ 变化时，角度走了一半，时间未必走了一半．(4) 之所以不成立，原因就在这里．</p>
<p>不均匀的一部分来自椭圆轨道．我们先把地月运动简化为二体问题，开普勒第二定律给出地月连线在相等时间扫过相等面积．记地月距离为 $r$，月球在轨道平面内、自近地点方向量起的角度为 $\nu$，则</p>
<p>$$r^2\frac{d\nu}{dt}=h,\qquad \frac{d\nu}{dt}=\frac{h}{r^2} \tag{11}$$</p>
<p>$h$ 是常数．距离在分母且取平方：近则快，远则慢．记半长轴 $a$、偏心率 $e$，近地点与远地点距离分别为 $a(1-e)$ 与 $a(1+e)$．由 (11) 两式相除，距离消去：</p>
<p>$$\frac{\dot\nu_{\text{近}}}{\dot\nu_{\text{远}}}=\left(\frac{1+e}{1-e}\right)^2 \tag{12}$$</p>
<p>取月球轨道 $e\approx0.0549$，得 1.246，近地点比远地点快约 25%．$e$ 增至 0.1 时该值为 1.494．</p>
<p>要注意 $\dot\nu$ 是轨道角速度，不是 (8) 的相对角速度 $\omega$，两者还差太阳方向的变化这一项；真实轨道也不是一条固定不变的椭圆．(11)(12) 只回答快慢从哪来．</p>
<h2>今年慢了 19 小时</h2>
<p>历表给出的这一轮是：朔在 9 月 11 日 11 时 27 分，望在 9 月 27 日 0 时 49 分．以分钟计，</p>
<p>$$\Delta=15\times1440+13\times60+22=22402$$</p>
<p>即 15 天 13 小时 22 分，也就是 15.556944 天．与 (4) 相比</p>
<p>$$\Delta-\Delta_0=0.791644\ \text{天}=19.00\ \text{小时}$$</p>
<p>比半个平均朔望月多了 19 小时．由 (10)，</p>
<p>$$\bar\omega=\frac{180°}{15.556944}=11.5704$$</p>
<p>单位为度每天．平均周期模型给出 $\omega_0=360°/29.5306=12.1907$，单位相同，前者低 5.09%．两个平均角速度之比就是两段时间之比的反比：</p>
<p>$$\frac{\bar\omega}{\omega_0}=\frac{\Delta_0}{\Delta}=\frac{14.7653}{15.5569}=0.9491$$</p>
<p>历表还给出下一次朔在 10 月 10 日 23 时 50 分．这一轮月相被望切成两段：</p>
<table>
<thead>
<tr>
<th>分段</th>
<th>用时</th>
<th>平均角速度</th>
</tr>
</thead>
<tbody>
<tr>
<td>朔 → 望</td>
<td>22402 分 = 15 天 13 时 22 分</td>
<td>11.5704°/天</td>
</tr>
<tr>
<td>望 → 下一次朔</td>
<td>20101 分 = 13 天 23 时 1 分</td>
<td>12.8949°/天</td>
</tr>
</tbody>
</table>
<p>两段的黄经差同为 180°，用时差 38 小时 21 分，平均角速度差 11.4%．两段相加</p>
<p>$$22402+20101=42503\ \text{分}=29\ \text{天}\ 12\ \text{时}\ 23\ \text{分}$$</p>
<p>这一轮朔望月为 29.515972 天，比 29.5306 天短 21 分钟．整轮偏短，前半段却比一半长近 19 小时．所以即便把这一轮的朔望月量得很准，也不能除以 2 去求满月时刻：前半段和后段本来就差 38 小时．</p>
<h2>越过午夜的那 49 分钟</h2>
<p>9 月 11 日为八月初一，朔在当日 11 时 27 分，故</p>
<p>$$u=\frac{11\times60+27}{1440}=\frac{687}{1440}=0.477083$$</p>
<p>自初一零时至望</p>
<p>$$u+\Delta=\frac{687+22402}{1440}=\frac{23089}{1440}=16+\frac{49}{1440}$$</p>
<p>$23089=16\times1440+49$．代入 (1)</p>
<p>$$n=1+\left\lfloor 16+\frac{49}{1440}\right\rfloor=1+16=17$$</p>
<p>余量即 49 分钟．由 (3)，今年要够到十七，$u$ 至少为</p>
<p>$$16-\Delta=0.443056=10\ \text{时}\ 38\ \text{分}$$</p>
<p>实际 $u$ 为 11 时 27 分，多出的就是那 49 分钟．等价地，$\Delta_{\text{临界}}=16-u=15\ \text{天}\ 12\ \text{时}\ 33\ \text{分}$，实际为 15 天 13 小时 22 分．</p>
<p>注意到 27 日 0 时 00 分仍属十七．望早到 49 分钟以上，就退回二十六日，成为十六圆；早 49 分钟整时，望在 27 日 0 时 00 分，仍是十七．今年多出的这 49 分钟，刚好把它留在十七这一边．</p>
<h2>三晚都看着圆</h2>
<p>事实上，望只是一个时刻，月亮却能连着几晚看着圆．我们不妨把月球近似为球体，并忽略月食．设 $\alpha$ 为日—月—地夹角，顶点在月球．平行光照明、远距离观察时，视圆盘被照亮的面积比例为</p>
<p>$$f=\frac{1+\cos\alpha}{2} \tag{13}$$</p>
<p>由面积相加可得．视圆盘半径 $R$，面积 $\pi R^2$；明暗界线是大圆，投影为以 $R$ 与 $R\cos\alpha$ 为半轴的半椭圆；受照面积为半圆加此半椭圆，故</p>
<p>$$f=\frac{\frac12\pi R^2+\frac12\pi R^2\cos\alpha}{\pi R^2}=\frac{1+\cos\alpha}{2}$$</p>
<p>$\alpha=90°$ 时 $f=1/2$，即上弦月．</p>
<p>$\alpha$ 很小时，用弧度展开 $\cos\alpha=1-\frac{\alpha^2}{2}+\frac{\alpha^4}{24}-\cdots$，得</p>
<p>$$1-f=\frac{\alpha^2}{4}-\frac{\alpha^4}{48}+O(\alpha^6) \tag{14}$$</p>
<p>无一次项：$\alpha$ 减半，缺掉的面积约为四分之一．$\alpha=10°$ 时首项给出 0.7615%，加次项为 0.7596%，与 (13) 的 99.2404% 相符．</p>
<p>望附近有 $\alpha\approx\bar\omega(t_1-t)$，代入 (14) 的平方项</p>
<p>$$1-f\approx\frac{\bar\omega^2}{4}(t_1-t)^2 \tag{15}$$</p>
<p>取 $\bar\omega=0.21277$ 弧度每天，系数为 0.01132．偏离望 1 天，月面缺约 1.1%；偏离 2 天，缺约 4.5%．缺到 1% 需 $\alpha\approx0.2$ 弧度，约 11.5°，相当于偏离望 0.94 天．</p>
<p>以 21 时计</p>
<table>
<thead>
<tr>
<th>夜晚</th>
<th>偏离望</th>
<th>$f$</th>
</tr>
</thead>
<tbody>
<tr>
<td>八月十五</td>
<td>27.8 小时</td>
<td>98.5%</td>
</tr>
<tr>
<td>八月十六</td>
<td>3.8 小时</td>
<td>99.97%</td>
</tr>
<tr>
<td>八月十七</td>
<td>20.2 小时</td>
<td>99.2%</td>
</tr>
</tbody>
</table>
<p>三夜相差不到 1.5 个百分点，肉眼难分．十六夜离望最近，故最圆；十五夜已过 98%，细看或不觉得圆满；十七夜离望已十几小时，反而略逊于十六．</p>
<p>所以今年赏月，二十六日天黑后就可以出门，不必守到 27 日 0 时 49 分．</p>
<p><strong>说明</strong>：本文以日月地心视黄经差 180° 定义“望”．(1)–(5) 是取整与计时，(6)–(12) 是角度与角速度，(13)–(15) 是照明几何，分别用来确定农历日序、解释朔望间隔的长短、估算月面外观，均不代替精密天文历表．文中时刻按世界时换算为北京时间，已与两份独立历表核对；朔望间隔的浮动区间与百年中秋月圆统计取自公开天文资料．(14) 略去 $\alpha^6$ 及其后各项，(15) 另用了望附近的线性近似，故表中 $f$ 是估算值，不是实测亮度．</p>]]></description>
</item>
</channel></rss>
