pkusc2018数学题

原本这些题都是高一上做的，现在大一重新回看这些题，发现有的题有更好的方法，有的空有结果的题，现在可以给出正确性证明

T1：$=(a+b)(b+c)(c-a)$

T2：

由已知：${\Sigma }_{1\le i<j\le n}{a}_i{a}_j=1$，
令$S={\Sigma }_{1\le i\le n}{a}_i$，
假设不存在这种删数方案，那么$\forall i\in n，S-a_i>\sqrt{2}$，
则$(S-a_i)a_i>\sqrt{2}{a}_i$，
$\Sigma (S-a_i)a_i>\sqrt{2}\Sigma a_i$
$2\Sigma a_i{a}_j>\sqrt{2}S$，
$S<\sqrt{2}$
所以假设不成立

T3：

$(\frac{1+i}{1-i}{)}^n=1$
$i^n=1$
$n_{min}=4$

T4：

（我的证法有点假，但是网上查到的总感觉有错或者某些部分被带过）
设$n$个站按顺时针顺序编号为$0,1,2,...,n-1$，第$i$个站可加油$a_i$，与下一站距离为$d_i$
要求证的命题转化为：
$\exists x\in [0,n)$，使得$\forall i\in [0,n)a_x+...+a_{(x+i-1)modn}\ge d_x+...+d_{(x+i-1)modn}$
发现$a$的每一项与$d$对应，那么，设$b_i=a_i-d_i$
不妨设答案为$x$（从第$x$个车站出发）
对于所有满足$b_i+b_{(i+1)modn}\ge 0$的$i$，如果$b_x+...+b_{(i-1)modn}\ge 0$，那么$b_x+...+b_{(i+1)modn}\ge 0$，所以$b_i$和$b_{(i+1)modn}$可并作$b_i$，同时在$b$数组中删除$b_{(i+1)modn}$，$n$作为$b$的数组大小，也要减$1$，
到最后，$n$必定为$1$，因为若$n>1$，那么$\forall i\in [0,n)b_i+b_{(i+1)modn}<0$，
即$\Sigma b_i<0$，与条件相悖，所以最终$n$为$1$也就是说一定有解

T5：

注意$2$右边那个三是三次方根，不是$2$的三次

我的做法

这题我是几何画板上把图像画出来，看到三个根分别为$-0.62、0.62、1$再做的，我估计只能用导数法二分求根，牛顿迭代法这种暴力方法先保留几位小数，然后猜答案
当然，已经知道答案以后，过程就好写了
两边同时三次方，移项得到
$y^9+3y^6+3y^3-16y+9=0$
因式分解得到：
$[(y^2+1)(y+1{)}^2+y^6+y^4+2y^2+8](y^2+y-1)(y-1)=0$
第一项恒大于$0$，第二项有$y_1=(\sqrt{5}-1)/2，y_2=(-1-\sqrt{5})/2$两个根，
第三项有$y=1$一个根

奥数老师的做法（看起来更像正解）

设$t^3=2y-1$，则$y=\frac{t^3+1}{2}$
$2t=(\frac{t^3+1}{2}{)}^3+1$
$2t-2=(\frac{t^3+1}{2}{)}^3-1$
$=(\frac{t^3+1}{2}-1)((\frac{t^3+1}{2}{)}^2+\frac{t^3+1}{2}+1)$
$=\frac{t^3-1}{2}\cdot \frac{t^6+3t^3+7}{4}$
$16(t-1)=(t-1)(t^2+t+1)(t^6+3t^3+7)$
而此时发现，原式两边同时三次方得到的式子把$y-1$提出（$y$的一个解是$1$很容易看出）能得到：
$(y-1)(y^8+y^7+y^6+4y^5+4y^4+4y^3+7y^2+7y-9)=0$
即$(y-1)[(y^2+y+1)(y^6+4y^3+7)-16]=0$
$16(y-1)=(y-1)(y^2+y+1)(y^6+3y^3+7)$
$y$恒等于$t$
再代入开始的方程$t^3=2y-1$
可得到：$y^3-2y-1=0$
即$(y-1)(y^2+y-1)=0$
可解出$y$

upd：
$2$除过去能发现左右互为反函数，在图像上就是关于$y=x$对称，那么它们的交点也必定在$y=x$上，只要列出$\frac{y^3+1}{2}=y$就能解出$y$的值

T6：

$n=2^{2017}$
最小我不会证，但应该是最小的
$m^{2^{2017}}-1=(m^{2^{2016}}+1)(m^{2^{2016}}-1)$
$m^{2^{2016}}-1=(m^{2^{2015}}+1)(m^{2^{2015}}-1)$
$...$
$m^{2^1}-1=(m^{2^0}+1)(m^{2^0}-1)$
upd：
$m^n\equiv 1(mod{2}^{2018})$
$m$为正奇数，故$(m,2^{2018})=1$，$m^{\phi (2^{2018})}\equiv 1$，$n|\phi (2^{2018})=2^{2017}$
即$n$的最小值为$2$的幂次
当$m=4k\pm 1$时$m^2-1$能被$8$整除，且未必被$16$或更高幂次整除
$m^{2^t}+1(t\ge 1)$时，能被$2$整除，且不可能被$4$整除，故能保证$m^n$被$2^{2018}$整除的最小$n=2^{2016}$
此时$m^n=(m^{2^{2015}}+1)(m^{2^{2014}}+1)...(m^{2^1}+1)(m^{2^1}-1)$
因数中共有$2015+3=2018$个$2$

T7：

这个公式我以前查$\pi$的时候查到过，好像叫什么梅钦公式，证明也很简单
令$\alpha =arctan(\frac{1}{5})$，$\beta =arctan(\frac{1}{239})$
$tan2\alpha =\frac{2tan\alpha }{1-ta{n}^2\alpha }=\frac{5}{12}$，
$tan4\alpha =\frac{2ta{n}^{2}2\alpha }{1-ta{n}^{2}2\alpha }=\frac{120}{119}$，
$tan(4\alpha -\beta )=\frac{tan4\alpha -tan\beta }{1+tan4\alpha tan\beta }=1$
$4arctan\frac{1}{5}-arctan\frac{1}{239}=\frac{\pi }{4}$

T8：

$S=(\sqrt{S1}+\sqrt{S2}+\sqrt{S3}{)}^2$

T9：

这个我不确定对不对
我先假设棱锥每个面都与球体相切，且球体与棱锥底面相切（下面空间大，肯定要尽量下移）
于是算了半天得到一个超长的式子：
$\frac{nq\sqrt{a^2-\frac{q^2}{4si{n}^2\frac{\pi }{n}}}}{tan\frac{\pi }{n}\sqrt{4a^2-q^2}+qn}$

T10：

$n-1$
应该是对的吧，不知道怎么证
upd：
正确性显然
要证明其是最小值，可以通过改变求解的问题
有两个堆，第一堆初始有一颗石子（比较基准），每次放入一颗石子，在放之前无法得知落入哪堆（代表一次比较），问至少放几次能保证其中有一堆里有k+1颗石子
最劣情况就是第二堆->第一堆->第二堆->第一堆…