柯西不等式
對於數列a和b,有以下恆成立
\[\sum_^na_i^2 \sum_^n b_i^2 \ge (\sum_^na_ib_i)^2\]令
\(a=\sum a_i^2,b=\sum a_ib_i,c=\sum b_i^2\)
構造以下式子
\[f(x)=ax^2+2bx+c=\sum(a_ix+b_i)^2 \ge 0
\\ a_i^2x^2+2a_ib_ix+b_i^2\ge 0
\]\(\********\le 0\)，然後就得證了
例子：有\(x_1,x_2,\dots,x_\ge 0\)，\(x_+x_i+x_ \le 1(x_0=x_,x_=x_1)\)
求：\(\sum_^(x_*x_)\)
這個系列實際上可以是\(0,\dfrac 12 ,0 ,\dfrac 12,\dots \dots\)
實際上我們可以直接把第二個小於號看成等於號
\[x_0 x_2+x_1x_3\le (1-x_1-x_2)x_2+x_1(1-x_1-x_2)
\\=(x_1+x_2)[1-(x_1+x_2)]
\]然後換元法，二次函式求最大值
又乙個例子:
有\(x_1,x_2,\dots,x_n\in z_+\)，\(\forall i,x_i \not=10,\sum_^nx_i=10n\)
求\((\prod_^nx_i)^\)的最大值
9 11 9 11 9 11……這樣迴圈下去就可以了
\((\prod x_i)^\le \dfrac n=10\)
實際上就是均值不等式
再乙個例子：
設\(f(x)=\sum_^na_ix^\)，\(f(x)\)有\(n\)個實數根，\(\forall i,a_i \ge 0\)
求\(f(m)\)的最大值
這是乙個n-1元函式
n個根設這n個根為\(-x_1,-x_2,-x_3,-x_4,-x_5,-x_6,\dots,-x_n\)
然後\[f(m)=(m+x_1)(m+x_2)(m+x_3)\dots \dots (m+x_n)
\]\(m+x_i=m*1+x_i \ge (m+1) \sqrt[m+1]\)
還有：設n次多項式\(f(x)\)滿足\(f(k)=\dfrac 1k (k=1,2,\dots ,n+1)\)
求：\(f(n+2)\)
從上一題吸取一點經驗
設\(g(x)=x*f(x)-1\)
\(k=1,2,3,\dots ,n+1\)
\(g(k)=k*f(k)-1=0\)
\(g(x)=(x-1)(x-2)\dots(x-n-1)\)
所以\((-1)^！*c=-1\)
\(c=\dfrac \)
\(g(x)=\dfrac *(x-1)(x-2)\dots(x-n-1)\)
然後\((n+2)*f(n+2)-1=g(n+2)=(-1)^n\)
則\(f(n+2)=\dfrac \)
二階線性遞推數列的特徵方程
\(a_=c_1a_+c_2a_n\)這乙個遞推式的特徵方程為：
\[x^2=c_1x+c_2
\]如果這個方程的兩個解為：\(x_1,x_2\)
則\(a_n\)的通項公式為:\(a_n=c_1x_1^n+c_2x_2^n\)
比如斐波那契數列的特徵方程就可以求
\(f_=f_+f_n\)
例子：已知數列a滿足：
\(a_1=-4,a_2=-7,a_=5a_-6a_n\)
求\(a_n\)的通項公式
實際上用剛才的特徵方程就好了
又乙個例子:
求\(\lfloor(\dfrac } )^n \rfloor\)的個位數字
發現上面的其實是\(x^2-5x+1=0\)的兩個解
然後\(x^2=5x-1\)
\(a_=5a_-a_n\)
\(a_n=c_1(\dfrac } )^n+c_2(\dfrac } )^n\)
\(a_n=(\dfrac } )^n+(\dfrac } )^n\)
所以\(a_0=2,a_1=5\)
然後用\(a_=5a_-a_n\)，在加的時候不斷模10算出來它的迴圈節就可以了
還有乙個例子：
求所有的數對\((p,n)\),滿足\(p^n\)=\(n^p\),\(p\)是質數，\(n\)是正整數
假設\(n=p^x\),所以\(p^n=p^=np\)
\(p^n=p^\)
\(p^=p^\)
所以\(xp=p^x \to x=p^\)
但是我們觀察到$n=p \space or \space n=2,p=4 $（或者相反）就可以了
n是乙個偶數，給定乙個n*n的矩陣b，\(b_=(i+j) \space mod \space n\)
選出盡量多個格仔，使得其中任意兩個格仔不在同一行，不在同一列，格仔中的元素不同
給出方案
還有：\(m(a)\)表示使\((a+b)|ab\)為的正整數的b的個數
求\(m(a)\)
設\(\dfrac =c\)
然後\(ab=ac+bc\)
\(ab-ac-bc=0\)
\(ab-ac-bc+a^2=a^2\)
\((a-c)(a+b)=a^2\)
所以我們就結束了
\(ans=\dfrac 2\),\(d_0(x)\)為x約數的個數
如何求\(a^2\)的約數個數
\(d_0(12)=(2+1)*(1+1)=6\)
然後\(d_0(12^2)=(4+1)*(2+1)=15\)
然而還有：
一次考試有m道題目，有n個同學參加
如果某道題目正好有x個同學沒有答對，那麼答對的所有同學得x分
求第一名的分數和最後一名分數之和的最大值
可以很容易看出最大值為m*(n-1)
平面上有2n個點，沒有三點共線，任意兩點之間連線段
將其中\(n^2+1\)條邊染成紅色，剩下的邊染成藍色
求同色的三角形最多有多少個？
矩陣的相關概念
若矩陣a，向量x，數\(\lambda\)滿足：
\(ax=\lambda x\)則稱$\lambda \(為\)a\(的特徵值，\)x\(為\)\lambda\(相對應的\)a$的特徵向量
求解方法：
\((a-\lambda i)x=0\)先求解\(|a-\lambda i|=0\)再求解方程
如果\(ab=i\),則a,b互為對方的逆，記為\(b^,a^\)
求解方法：通過矩陣變換將\([a|i]\)消成\([i|b]\)，則\(b=a^\)
矩陣的對角化：（三角矩陣\(o(n^3)\)）的矩陣快速冪
\(a=p^dp\)，其中\(d\)為對角矩陣
(d中元素為a的特徵值，p為相對應的特徵的向量矩陣)
全程NOIP計畫 思維與構造題
什麼是構造題？不同於維護資料結構並回答詢問的資料結構，尋找最大值和最小值的最值問題，計數問題，但構造體致力於讓你給出一組方案，使得在一定的限制內滿足某些條件，方案通常不唯一，構造方法也可以不唯一 比如 1.給定乙個排列，允許元素交換操作，輸出一組操作使之排序 2.輸入乙個數，輸出乙個邊長為整數的非直...
運輸計畫noip
靠！這道題tm搞了我好幾天，真是煩死人！早上打了乙個倍增的tm只有95分qaq。然後一氣之下開始不斷卡常，各種玄學優化，可是就是t。tat。可惡！晚上我就直接打了個tarjan，還好跑過了，可是打的我身心俱殘！彷彿想起了打splay的歲月，各個 3000 不過一次就打成功了，還算比較好吧。先上95分...
noip數學基礎
前言 同餘基礎 進製轉換 高精度 排列組合與計數問題 noip 基礎數學 趙和旭清華大學 2019 年 7 月 17 日 noip 基礎數學 清華大學 前言 同餘基礎 進製轉換 高精度 排列組合與計數問題 前言 我今天主要介紹的一點數學知識。希望大家可以在學習的過程中培養一下數學思想，而不是背 過各...