文化课数学导论 · LWLAymh的备忘录

概统导论

习惯的更改

这一部分主要是和组合相关,文化课中的组合内容有一些很奇怪的形式,比如竞赛中为了避免巨量的字母符号所带来的丑陋形式,会将写作,而文化课中不允许此类更改,再者文化课中将称作二项式的第项(从第项开始编号),此等同样是一个需要改正的习惯.

从线性角度审视

首先我们有.

我们都知道期望满足线性可加,也就是,这很好理解,因为期望从一开始定义就是所有情况下的答案的加和,因此根据我们的加法交换律和结合律就可以导出上面的式子.

我们还知道期望的乘法在相互独立的条件下是可以直接乘的,也就是若和相互独立,,同样是拆期望那个式子,使用乘法分配律得到.

而方差在相互独立的条件下同样是线性可加的,也就是只要和相互独立,.从形式上证明是好证明的,我们考虑:

或者你也可以卷积然后求导啊!

如何从感性上理解这一点呢?很遗憾,笔者暂时没有想出从感性上理解的方式.从感觉上来讲,笔者比较相信这和独立变量以及正交性有关,查询相关资料得到了协方差的概念,也就是当两个变量独立的时候协方差为,不然要再加上两倍的协方差.笔者的能力也就到此了.

对于数据统计部分,我们会发现它在做的其实都是一个套路:将数据放在均值的两侧,也就是减去均值,这样新的值的均值为,并且缩放权值,使得方差恰好为.这个做法在正态分布那里就已经展示了它的强大.这是下面概统的极重要的思想,似乎被称作"标准化".如果我们痴迷于这个思想,就会发现概统的一切复杂的公式的目的只有两个:让误差均值为的前提下,使得方差最小.

分布列

两点分布

直接写的话也就是,事实上这么写可能不太严谨,因为两点分布的和两个事件互为对立,但笔者仍然选择这种形式来写,因为看着舒服.

考虑概率生成函数,自然是.由此式子轻松推得.

这里非要炫技用一下概率生成函数是因为笔者快忘了这玩意怎么用了,这个东西在下面几乎不会再用到了.

二项式分布

所谓重伯努利试验,也就是次两点分布的累计,满足,我们关注两个事情,也就是二项式分布的,也就是将两点分布的均值与方差给拆开单独累加了.

超几何分布

所谓不放回取球,考虑目前有个数字,有个是,剩下个是,取出次,取出了个的概率.简单组合一下得到此概率为,注意这里必须保证.

由范德蒙德卷积得知,,因此该分布列所有情况之和为.

考虑其均值,从感性上讲必定是.

从理性上讲,首先可以吸收恒等式+范德蒙德卷积,其次可以概率生成函数.

结合来讲,考虑每一个事件:它必然形如之类的,表示每一次取出时拿到的球.不难发现对于事件的全集,我们交换前两个球,仍然唯一对应到了事件的全集.也就是说取出的顺序并不重要,第一次取得到的概率,和第二次取得到的概率完全相等,这必然意味着两次的期望相等.

方差是,不太想管这个东西了.

正态分布

前面的分布大都是离散的,而正态分布是连续函数,因此我们写,是不是看着非常震撼!其中的方差是,期望是.本着闲着没事干的原则,我们来彻底冷静一下剖析整个正态分布函数:

众所周知,标准正态分布满足,此时的函数也就是.一个好奇是,你凭啥说所有情况下的概率之和为,事实上这其实是因为的积分是,不会求这个积分.

观察这个函数,你会发现它其实是想要模拟一个钟形曲线,也就是中间部分要更高,两边要更低.如果只是这样,我们完全可以用函数模拟,但这样的曲线并不圆滑,中间有个小突起,这是因为绝对值本身的分段函数性质,因此直接把上面那个东西换成平方得到一个更圆滑的曲线,如果想要这个曲线横向放缩,则对横坐标使用变换,这就是的由来,将,也就是在那里除去一个.而对这个曲线进行横向移动,也就是将.

这也就引出所谓的原则了,同样是积分.

成对数据的统计

样本相关系数

对于若干数据,我们先进行标准化,也就是减去均值后再除以方差,这样做使得分别的均值为,方差为.下面默认已经标准化过了.

不妨构造维向量,考虑它们的点乘,不难发现由于方差为,因此,因此它们的点乘为,设.

如果,,此时必有,因此我们断言(为啥呢?其实是不太理解的啊)当越靠近的时候,之间的线性关系越强.

最小二乘法

我们在上面的角度审视中提出了一个观点:在满足均值为的前提下,使得方差最小.由此我们审视所谓的一元线性回归方程:.

现在我们要做的就是,已知若干组数据,去构造一组满足上面的条件.不妨令,若,必有,带入解得当最小的时候,.

提出质疑:为啥这里不需要对数据进行标准化呢?

因为标准化没有用,我们的目的是找到那个使得最小,标准化说到底只是为了保证的工具,没有必要在这里标准化.

独立性检验

使用卡方分布,懒得去学细节了.

独立性检验其实是依赖于这么一件事实:那就是如果两个事件独立,我们得知,那么我们反推,如果我们在现实中的估计中,发现和差的太大,那么我们就认定其没有独立性.

接下来不妨设在测试过程中估算出:.那么.我们计算它与的差,平方后除以然后做四遍求和化简,得到.

这有什么用呢?通过牛逼数学家的计算,我们可以认为如果独立性成立,那么.或者给出我们经验上的准则:

选取一个较小的,并得知其对应的,如果,推断独立性不成立,犯错的概率是.反之断言其独立性成立,犯错的概率不可知,肯定越大犯错的概率越小.

函数导论

常用对数表

常用指数表

基本函数的图像及性质

极值与极限

的时候,有最大值.

另外.

预处理函数

分离对数

Example

令,已知是极大值点,求.

考虑分离对数后操作多项式,我们显然可找到,下面只考虑.此时.

考虑令,由于,只需证明即可.

而:

则,.验证一下.

消去指数

Example

令,若,求.

,于是上面的条件等价于是的最小值点.

考虑,则恒成立.

讨论的正负,看.

接下来的讨论是简单的.

消元法

这个的话大概是这样,我们找到一个,使得,然后换元.

比如这个题,你就可以凑成,然后做三角换元.

齐次化构造

Example1(对数平均不等式)

求证.

两边证明方式类似,这里只证明右半边,下面的证明的每一步均为充要的,因而可以倒退.

换元,令,然后下面大力求导.

Example2

已知函数,若是的两个零点,求证.

我们来分析已知,我们目前知道的是:

我们想要知道的是:.

这就是整个题全部的部分,和前面的函数其实一点关系都没太有.那么这个东西怎么搞呢?我们先把给换掉,事实上我们根据前面的方程有.

于是我们只需要证明:,这是一个很显然的齐次化形式.

Example3

已知函数,其有两个零点,求证.

同样分析已知,我们得到的是:

通过简单线代知识我们知道,如果我们想把这两个条件同时用上,我们最好先相加再相减,这样这一步推下来就是充要的:

这里先把所求变形一下,我们把它改成.

发现了什么?这个东西等价于,至此,我们用上了第二个式子,并且将其蕴含到了答案中.

接下来用第一个式子代换即可.

Example4

已知有三个不同的零点,求的范围,并求证.

考虑两边同时除以,这样得到,令得到.

考察的两根,根据韦达定理,首先需要满足,然后.

接下来考察函数,这个函数图像我们很熟悉,如果想要最后有三个零点,又因为中必有一负,因此.由此立得.

接下来考虑后面那个东西,其实就是简单韦达定理,随便做做.

同构化构造

Example1

若时,恒成立,求取值范围.

一般这种题先判的正负,注意到的时候右边恒大于,因此.

观察这个式子,发现形式似乎很相似,更进一步地,我们把常数放进,自然有:.

考虑令,则:

接下来分析函数的单调性,就可以得到.

不等式相关

基本不等式相关

方程角度的审视

我们曾经下过这么一个论断:即对于有一个方程限制的双变量,求另一个式子的最值,我们是可以有一套机械化方法探路的.具体而言,这个方法基于大部分情况下,我们只需要两个二元方程就可以得到确定的(唯一或者唯二或者常数个)原本的两个变量的值.

于是我们设一个常数来表示其中一个方程,另一个方程自然是题目给出的限制条件,我们只需要把所求转化为对于这个常数的限制就好了.

如果我们再去仔细揣摩这个过程,我们会发现一些更有趣的事情:即只要我们能做到"降次"这件事,我们似乎一定存在方程的解.这可能类似于所谓的齐次化构造.

那这意味着什么呢?在绝大多数情况下我们拿到的方程都是非齐次的方程,这给了我们机会去降次.

我们给出一个例题:

Example

已知,求的最小值.

这个题有一个方式是观察到是直角三角形的三条边然后使用三角换元.但我们接下来会给出一个更加厉害的做法:

我们想要知道它的最小值,就是想要证明下面这个不等式并且证明等号成立:

如果,那么不等式显然成立,下面只需要证明的情况:

变形方程得到,使用这个式子来降次:

要严谨一点的话我们需要证明,.这非常简单,因为.

这就足够了么?不需要证明存在一个使得带入到原方程中有解么?这个其实是显然易证的.

那么:

这个等号可以取到,也就是说,只要满足:

那么这个就是一个下界,特别地,如果满足:

那么这个就是一个下确界,也就是我们想要求的最小值.

事情还没有解决(即使这个时候你已经能猜到是一个解了),接下来我们必须求出一个.

我们看上去走投无路了对么?其实不然,你发现这个式子两边的次是不等的,我们可以使用它降次!换言之,把这个带入到上面去!

我想你这个时候又会发现我们走投无路了,但稍微思考一下就会发现,这个方程一定没有常数项(或者说是这个方程的一个解).

这样得到了一个二次方程,我们自然可以解出.

泰勒展开

抽象函数的泰勒展开

常用泰勒展开公式

极值点偏移

Example1

已知函数,其有两个零点,求证.

极值点偏移的形式,应该是形如有两个解,然后使得满足一定条件.因此我们先变形条件:

也就是目前我们构造出了函数,观察图像立得.

我们发现,,这个形式看上去非常正确!但是问题在于,我们好像不太能去变形不等式了,怎么办呢?

考虑对着我们要证明的东西去搞,极值点偏移可以解决相加性问题,因此我们变形所求为,然后令,带入立有:

而恰好也是满足的这么一个函数!于是我们就解决了问题.

Example2

,,求证.

首先变形条件得到,得到,左半部分就是经典极值点偏移.

那么右半部分怎么做呢?我们来考虑:

,其在,考察极值点偏移,我们想要证明,我们就想办法把和扔到同一个区间里,而它们确实同在这个区间内.

比较有启发性的是,你发现和这两对必有一对在同一个区间内部.

现在我们就可以套路化了:

对着上面那个函数证明即可.

Example3

在有两个零点,求证.

首先要证明的范围啊,我们不加证明地给出:,并且.

这个其实差不多啊,简单来说就是首先列方程:

我们知道,一般双变量的问题加法会比较好做(原理是加法便于看单调区间),因此现在我们有两条路可走:要么变化所求,两边取,要么变化已知.

我们发现如果变化所求,我们还得对已知两边取,这也太麻烦了,不如直接变化已知.具体地,我们把已知的式子相乘就可以得到和之间的关系,带下来就可以了.然后观察单调区间做极值点偏移.最后的式子应该形如,也就是.

但是这样有一个问题,我们把带进去,你会发现最后我们的式子同时带有,这个就难做了,咋办呢?考虑拿操作一下把消掉就好了.

切割线放缩

基本的切割线不等式

乍一看非常平凡,事实上有一些不平凡的推论:

考虑,左右两边分别求和得到上面的式子.

这个怎么证明呢?考虑左右取负,也就是需要证明.

考虑,两边求和得到上式.

考虑,也就有,两边求和得到上式.

一般的切割线放缩

Example1

设,若有两个实数根,求证:.

注意到下凸,考虑求出两条切线,那么这两条切线与的交点之差要大于等于,两条割线交点之差要小于等于.

先求好求的割线,一般而言,我们考虑边界情况,也就是的情况,为了让这种情况有解,我们的割线必过.

考虑直接选取和作为另外两个点,这两条割线就是和.做差立得上面的式子.

那么后半边怎么证明呢?我们考虑一个想法是:这题既然出出来了,它必然不可能是虚的.因此我们要找的切点不可能过于离谱.

另外一个事实是,我们考虑如果我们找到了一条切线,那么由于不等式的右边是定值,我们肯定想要让令一条切线稍微平均一下,使得尽可能地小对吧!

我们不妨设我们要找的两个切点,一个横坐标是,另一个是,其中,那么两条切线分别是:

那么,现在我们要做的就是找到一组,使得:

感觉很难搞啊,我们不妨让,自然有:

然后我们凑系数,上面的式子,我们大胆猜测:

考虑让,则,带入发现正好适配.

凹凸性反转

Example1

求证:.

这个式子看上去就很震撼,那么我们该怎么处理呢?

我们知道常数项在导数中是好处理的,而且我们通过强大的注意力,发现右边那个式子如果乘以,他就是一个凸函数了,而左边也是有凹凸性的.

因此我们变形为,然后证明左边的最小值右边的最大值.

比较大小

接下来以一个题为例,介绍一下几种估算/严谨的比较大小方式.

Example1

已知,求比较的大小关系.

二阶导数

我们上面声明过了二次导数可以判断极值类型,我们用这个方式来计算和的大小关系.

构造函数,则.

考察,,,则是一个极小值点,并在接下来有着增大的趋势.因此我们可以估算.

估算定积分

考察和的大小关系,不妨设,则.

注意到,,考虑估算一下积分,那么.

你可能会觉得这个,是不是不太能那么肯定地估算啊.但是实际上,我们考察,这个东西在上直觉上平均值是大于的,这样就有道理多了(真的么).

泰勒展开

上面提过了,这里略过.

正经做法

接下来开抄标答.

令.

这样当的时候所有的数字都被正确表示了.

比较:

考虑它们都有乘除项,考虑使用对数把乘除改为加减,立有:

注意到的时候,又注意到其在上单减,这样立有.

比较:

注意到的时候,又注意到其在上单增,这样立有.

经验教训:在构造函数的时候,你一定要找一些简单一点的函数来构造,最好不要带有系数.

数列导论

递归式的求解

特征根法

一个常系数的阶线性递推关系形如:

当时,称作齐次线性递推.

特征方程

我们称方程是该递推关系的特征方程,方程的解叫做该递推关系的特征根.

二阶线性齐次递推

若其特征方程有两个不同的根和,那么存在两个常数和,满足.

若其特征方程有两个相同的根,那么存在两个常数和,满足.

先考虑前者的证明,首先考虑对于或者的情况,我们考虑求出一组和来满足:

若,可以解得:

接下来考虑数学归纳:

接下来考虑后者,首先我们有,考虑初始条件:

接下来我们考虑数学归纳:

我们接下来只需证明即可.根据方程,不难发现,根据,自然得证.

更一般的情况

在上面做的时候,我们已经发现了这个问题的棘手.甚至动用了求根公式.那有没有什么办法能让这个方法拓展到更高维呢?我们引入线性代数.

重定义向

由于《线性代数》一书的作者与笔者使用字母习惯略有差异,为了防止出错,下面一律使用原书的使用习惯,可能会与前面的定义不尽相同.

给定,其中,对于所有的,若有下列式子成立:

则称为一个阶线性差分方程(或递归关系).为了简化,通常取.若是零序列,则称其是一个齐次线性方程.

引入矩阵

我们注意到,对于齐次差分方程而言,如果不给定,只是构造一组满足条件的的话,自然的想法是令.其中是辅助方程的一个根.

注意到如果我们将上面的内容看作是这样一个映射,这显然是一个线性变换.这意味着齐次方程的解集就是的核,设为,不难发现只要给定,这个解就唯一确定,将它们看作自由变量,这意味着.

还没完,注意到我们解方程可以解出个根,如果这个根互不相同,这意味着它们必然线性无关.这样的话我们就可以轻松求得所有的解集,就算给定了,我们也可以用解集的基通过线性组合拟合出来答案.

至于如果这个根有重根的话怎么办,我们发现这可能拟合失败.根据上面的经验,我们发现我们需要找到另外几组线性无关的的向量来拟合.

最后,如果对于非齐次线性递推的答案,可能就需要猜根了.总之需要猜出总共个线性无关的根,然后拟合初值.我们如此做:对于一个出现了次的根,我们注意到都是满足条件的解,且他们线性无关.这个结论是怎么得到的呢?

首先,我们注意到如果初始条件成立,我们只要错位相减就可以做数学归纳,也就是说我们需要证明初始条件成立,下面以作为例子,即证明:

是满足条件的.

用一下简单的生成函数技巧,如果有两个作为根,必然意味着原方程形如,其中是一个关于的多项式.

我们把它写开:,然后我们用去代替,不难发现代替后右边还是个多项式,而左边变成了,这意味着这个根一定可行.

对于更高次的问题,只需要用二项式定理解决一下就行.

不过!我们可以用导数解决这个问题:我们对原方程两边求导.

这样我们就可以数学归纳解决.

另外,我们注意一个问题:,一定是这个方程的一个根,高次是同理的.

再进一步

我们注意到齐次差分方程一定能写成的形式.如果我们取的特征向量的线性组合作为,不难发现一定是满足条件的.

更进一步,如果我们定义元素和为的向量为概率向量,由概率向量组成的矩阵为概率矩阵,那么确定了初始向量的齐次差分方程最后一定会收敛到一个值.证明的话直接求通项然后去求极限即可.

再再进一步

我们都知道矩阵加速:也就是,.而我们又知道CH定理:,我们用多项式取膜,有,这就是解.

数列中的求和问题

和式的基本运算

分配律:.

结合律:.

交换律:,其中是集合的重新排列.

交换求和顺序:

一般分配律:.

交换顺序法

Example1(等差数列求和)

等差数列求和：

Example2(切比雪夫单调不等式)

令.

考虑恒等式.

那么我们有:

又有,显然有以下式子:

上式被称为切比雪夫单调不等式.

Example3(拉格朗日恒等式)

有限微积分

移位算子

定义移位算子，使得.

差分算子

定义差分算子，类似于无限微积分中的D算子.

另外,不难发现有.

逆差分算子

定义逆差分算子,可以得到有限微积分的基本定理:

这里的又被称为不定和式,是差分等于的一个函数类.

值得一提的是,这里的与无限微积分中的有一定区别,这里的可以是满足的任意一个函数而不非得是常数函数.

定和式

如果,那么有.

值得一提的是,如果,显然有.

但如果,那么.

事实上,我们一定有:.

一些基本的公式

类比无限微积分中的，有:

\Delta(x^{{\underline{m}})=mx}{\underline{m-1}}，\sum mx^{\underline{m-1}}\delta x=x^{\underline{m}}+C，m\ne 0\

类比无限微积分中的，有:

令H(x)=\sum_{i=1}^{x\frac{1}{i}\\Delta(H(x))=x}{\underline{-1}}，\sum x^{\underline{-1}}\delta x =H(x)+C\

类比无限微积分中的,有:

$，$

根据组合数公式,有:

Example1

仍然考虑平方和公式：

我们有:.

那么:

整理即可得到封闭形式.

值得一提的是:

与前面的方法不同，这里没有使用三次的二项式公式，而是使用了二次的斯特林公式负责将一般幂转化为下降幂.

分部求和法则(Abel求和法)

两边取不定和，即可得到分部求和法则:

分部求和用一般和式表达如下,下式又被称为Abel求和法:

Example1

求.

根据分部求和法则，我们有:

改为定和式形式，显然有:

Example2

求.

令.

带入分部求和法则，显然有:

带入即可求出原式.

Example3

求.

令,则.

根据分部求和法则,有:

Example4

求.

令.

根据分部求和法则,有:

基础数论在数列中的应用

Example

令.求,以及的最小的一百项之和.

对于前者,我们知道:

所以.

而同理,.于是后者是简单的.

构造双射在数列中的应用

设,现在将中的元素排序并提取成一个数列,求使得最小的正整数.

写出数列,它长这样:

不妨设在第行列,显然和构成双射.

那么我们现在无非有两个思路:要么找到一个方式使得对于给定的能快速表达,要么反之.显然反之比较简单.

考虑设前行共有个数,不难发现.

显然,对于来说,它对应的就是.

令为前行数字之和,不难发现.

接下来考虑找到这个最小的,显然,接下来只考虑的情况.

那么我们可以轻松写出和的表达式,下面直接给出:

讨论一下这个判定式取还是取,这样就做完了.

不等式放缩在数列中的应用

几何导论

三角相关

三角恒等变换

两角和差公式

倍角公式

半角公式

和差化积

值得一提的是,如果你对和差化积特别熟悉,你不难发现下面这个式子:

如果细看会发现,这其实就是和差化积与二倍角公式并用得到的推论,但实际上用处远比和差化积要多.

积化和差

万能公式

令,则:

当然,这个所谓的万能公式其实一点用都没有,因为我们有更强大的公式:

补充公式

周期函数与初等数论

我们知道,处理三角中的周期性问题时,需要设一些取值为整数的来解决问题,这引发我们思考:是否可以将初等数论中的模法来解决这一类问题呢?

Example1

已知函数,,求和的表达式.

正确做法应该是强设,但我们来使用模法.

必须要注意的一点是,我们这里的和都不是整数,这意味着我们必须时刻保证同余式子左侧是整数,也就是在操作的时候不可以使用任何逆元!换句话说,你两边同时做乘法的时候,只可以同时乘以整数,不可以同时乘以分数.

不妨令为单位,我们必有以下式子:

下面推导,首先将上面两个式子直接相减,立有:

对于,考虑类似的做法,将第一个式子乘以后与第二个式子相加,立有:

这样我们得到的必须满足的条件就有以下几条:

向量相关

旋转模型

自己瞎起的名字.

Example1

已知,绕点顺时针旋转得到,求以表示.

先来说文化课做法,我们直接表示,令:

对于这个式子,我们发现如果我们能得到和就可以解决了对吧.

这两个怎么求得呢?我们发现是的一条临边.观察正弦定理和余弦定理可知,正弦定理可以帮助我们求出,余弦定理可以帮助我们求出.

然而,如果我们再冷静一下,会得到一个更厉害一点的做法:

我们直接建系,立刻可以求出和的坐标表示,将用旋转矩阵转过去,拿叉积算一下两个向量所生成的三角形面积即可.

如果要把这个做法对应到文化课可以拿到分的做法的话,首先叉积可以去掉,改为直接暴力算.至于旋转的话可能需要一些操作例如三角换元之类的.

爪子模型

比起套模型,我们来总结一下向量中的两个做题法则:

如果存在两条不共线向量,已知它们的夹角以及边长,这个题至少可以通过设单位向量暴力运算解决.
如果通篇题目不涉及边长,或者是涉及边长,但所求是角,将某个边长当作是一定没有问题的,这样可以少掉一个未知量,为将来的做题提供更明确的道路.

直接来看题:

Example1

中,,点在上且满足,有,求.

这题通篇没有提到任何的边长,我们可以直接钦定,于是有.

考虑我们要求,而我们有一条很奇怪的边,似乎不满足任何性质,我们立刻想到要把它用的两条边向量表示,除此之外没有任何别的表示方式.

后面就没有什么了,这题的难点在于后面的解方程过程,但只要你敢让,后面的解方程极其简单.

奔驰定理及三角形四心

奔驰定理

对于内一点,立有.

看到的证明都略麻烦,下面给出一个容易理解的证明.

我们物理上学过拉密定理,其实也就是运用三角形法则以及正弦定理.利用拉密定理,令,我们要证奔驰定理,也就是要证明:

考虑,后者根据拉密定理显然成立.

外心

有正弦定理,.

考虑三个三角形的面积可以表示为,又考虑到圆中的是圆心角是圆周角的两倍,立有.

下面给出一个例题:

Example1

在中,,若是其外心,且.

先给出我一开始的想法:

在没学奔驰定理之前,我们看到这个外心,第一反应肯定是使用,也就是这三个长度都是好求的.因此,我们考虑对上面的式子两边平方,得到一个关于的方程.但是这样没有解决问题.

考虑我们只用了,用上,这样的话我们两边同时加上,就可以得到的另一个方程,可以解出两组解,直接舍也可以舍,不然的话根据也可以舍一个解.

但是这样太蠢了啊,我们考虑直接凑奔驰定理:

考察奔驰定理,立有,简单题.

Example2

已知相异两点分别为的外心和垂心,若,求.

这题要用到的性质是,我们一定要知道,这也是外心的一个很重要的性质.

由此,我们让左边凑出,然后两边同时乘以就可以解决.注意到最后解方程的时候要么,要么三角形等边,但是我们声明过相异两点.

重心

首先重心将中线三等分,这个我竟然一直没细想过怎么证明啊,只是觉得倍长中线肯定能证明.

事实上用不到那么麻烦,你直接连接两个中点,立有中位线,然后以重心为两个三角形的顶点,立有一组对顶角且对边平行的的相似.

又考察三条中线将整个三角形分成了六部分,这六部分的面积是相等的.

为啥呢?因为你可以先把三角形分成三部分(也就是每个顶点连到重心),然后将这三部分内部的两个小三角形证明面积相等(因为此时重心是它的顶点,沿着中线连下去就还是这个三角形的中线),再利用上面的三等分结论就显然了啊.

结合奔驰定理,立有若是重心,则必有.

然后听说有个物理理想实验的理解方式,大概是说这与力矩结合一下就可以得到这是他物理重心的结论,不会.

垂心

若是重心,立有,将,立有.同时顺带证明了三条高交于一点.

根据奔驰定理还有.

内心

根据奔驰定理,立有.

立体几何相关

基本概念

直线

使用直线的方向向量和直线上一点.那么方程显然为:

如果换元,我们还有参数方程:

平面

使用平面上的一点和该平面的法向量来表示一个平面,不妨设,则该平面的方程显然为:

如果我们令,那么平面方程为:

夹角

两直线夹角.

直接求方向向量的夹角,然后取正值.

对于方向向量分别是,也就有.

直线与平面的夹角

同样使用向量,不妨设方向向量,法向量,那么.

另外,由上面这个式子,不难得到一些特殊情况下的判定标准:

若直线与平面平行,则.
若直线与平面垂直,则.注意这里分母可能除以,我们实际上应该是三个形如的参数方程,这里简化了.

交点

联立方程硬解.

基本定理

参考:https://zhuanlan.zhihu.com/p/401766934

三余弦定理(最小角定理)

这个定理说明直线与平面的夹角,是所有包含直线的平面与这个平面形成的夹角中最小的那一个.并且偏移量决定了差距.

三正弦定理(最大角定理)

这个定理说明二面角是另一个平面上的直线与平面的夹角中最大的那个,并且偏移量决定了差距.

圆锥曲线

约定

对于所有对称情况结论只讨论一种(其它情况可通过坐标变换得到),但是例题以及做题方法除外.

大部分涉及斜率的存在性问题,统一不予考虑.如果遇到实际例题,只需特别处理那几个特殊情况即可(需要判断过原点的直线,需要判断平行于轴的直线),显然大部分情况下是平凡的.

椭圆

定义

第一定义

平面内与两定点距离之和为常数()的点轨迹.即:.

第二定义

平面内一动点到定点与准线()的距离比是常数的点轨迹,即.

第三定义

平面内一动点到两定点的斜率乘积等于定值的轨迹称为椭圆.

椭圆方程

标准方程

由定义不难得到椭圆的标准方程:.

一般方程

,这样设的好处在于如果不知道焦点的位置,仍然可以设方程并进行代数运算,最后判断一下和的大小关系即可.

椭圆重要元素

焦半径

若,则,.

焦点弦

过的弦.

注意到焦点弦最短时.

焦点三角形

即,令,有以下性质:

.
.
(当在短轴上取等).
.

Example

Example1

已知椭圆,是椭圆上一点,的角平分线交轴于,求离心率取值范围.

注意到,又有到和的距离相等,用等积法,显然.

然后用三角形不等式做差就行.

双曲线

定义

第一定义

平面内与两定点距离之差为常数()的点轨迹.即:.

第二定义

平面内一动点到定点与准线()的距离比是常数的点轨迹,即.

第三定义

平面内一动点到两定点的斜率乘积等于定值的轨迹称为双曲线.

双曲线重要元素

焦半径

若,则,.

渐近线

如果换个方向的双曲线,事实上就是把双曲线标准方程的等号右边写成得到的两个直线方程.

焦点三角形

即,令,有以下性质:

抛物线

定义

第一定义

平面内一动点到定点与准线的距离相等的点轨迹.

抛物线重要元素

焦点弦

~~我曾经以为整理完二项式恒等式后再也不会有同样恐怖的结论群了~~

直线为过焦点的弦,,倾斜角为,准线与轴交点为,作,垂直于准线于,则:

,,.
.
,.
.
.
三点共线,三点共线.
以为直径的圆与抛物线的准线相切.
以为直径的圆与相切.
以或为直径的圆与轴相切.

通用解法

联立方程

点参

不设直线斜率,直接通过设点坐标并且导出直线斜率.

这种做法通常要么不能做,要么能做并且非常简单,需要强大的构造能力.

弦长公式

已知直线上有两点,这条直线的斜率为,那么.

点差法

设圆锥曲线上两点,其中点,有.

把这两个点带入圆锥曲线方程并做差,可以通过平方差公式消去几项.然后可以表示出直线斜率,大概做做.

垂径定理

已知直线与曲线交于两点,这条直线的斜率为,的中点为,那么:

在椭圆中,.
在双曲线中,.
在抛物线中,.

小联立

如果题目中有两条直线,它们之间的斜率满足一定关系,那么可以通过把这两个直线的斜率都设出来,然后再添加一个方程来实现.

这个方法的优点在于,有的时候分离出的方程会让原始式子简单很多.

缺点在于,有的时候会让原始式子复杂很多.

大联立

直接设主要直线的方程,然后其它直线均通过主要直线方程导出.

最常用的方法.

齐次化

本质是平移坐标系.

简单来说,如果图中有两条有公共点的直线,,我们可以将公共点平移至原点,这样和的方程都方便表达.然后设的方程为(注意这个式子不能表示过原点的直线,需要特判).

由于进行了平移,新得到的圆锥曲线方程可能存在一次项和零次项,我们将一次项乘以,零次项乘以,这样就得到了一个齐次式子.将两边同时除以后就得到了一个和有关的方程.

换句话说,某种意义下,齐次化应该算是点参和大联立的结合体:大部分情况下,能用点参的条件是斜率可以用点坐标轻松表示,而如果点的坐标比较奇怪就没办法表示,而齐次化可以完美解决这个问题.

非对称性韦达定理

大概就是求出一个用一个方程的根表达的式子,然后需要继续化简.

通常的做法是寻找方程的和之间的关系来做.

当然还有一种情况是问形如是定值的问题,这个时候一定有.

还没完,非对称性韦达定理的应用巨多,例如令,自然有.

还比如有,我们可以用配凑技巧改写作,也就有,类似上面的做法也可以求.

硬解定理

设直线与曲线相交于和.

那么联立方程是:.

判别式:.

韦达定理:

配凑法

参考:https://zhuanlan.zhihu.com/p/521025768.

先猜结论,再对着结论构造一个对称式子,从而声明这个式子就是答案.

问题在于咋构造,通常前面的部分还是按部就班来.最后来一步"注意到"来机械降神.

感觉没什么太大用,因为小题直接猜结论,大题按部就班不会太慢.

应用

Example1(大联立/点参)

已知抛物线,若位于抛物线上轴上方不同的两点,直线的斜率分别为,且满足,求证:过定点,并求出的取值范围.

注意到和之间的关系很复杂,这个时候就别惦记你那小联立了,老老实实拿大联立做吧.

设,则,显然.

直接带入方程,有:

而直接大联立得到的式子是:

带入,得到,因此过定点,与联立得到.

还没完,这种题一定要检查一遍条件.注意到为轴上方两点的性质没用到,这意味着,带入方程得到:

化简得到,解得,于是.

这啥暴力计算啊...没啥好方法嘛?

首先显然的一点是:由于是在做抛物线,直线方程设成反式肯定会好算很多.~~(整理到这里才意识到可以设反式,但是懒得改前面的内容了)~~

看上去式子太复杂确实不太可能用小联立做.问题在于,和的斜率看上去都很好表示,为何不能用点参做呢?

我们尝试直接用点参:

我们毫不费力就导出了用反式之后做的式子,这仿佛在预示我们点参是有用的,让我们继续:

显然过定点,并且通过和的关系也很好求斜率的范围.

另外值得一提的是,通常情况下,不要用那个的方程直接表示直线,你做抛物线的很重要的一个目标是通过消参来让式子变得更简洁,而不是去硬着头皮算,上面这个直线方程咋消参啊.

Example2(齐次化)

已知椭圆,在椭圆上,,,求证:过定点.

注意到,设,,那么我们要求的也就是和之间的关系.

第一步先要把椭圆方程配出来,显然.

显然?这咋配的啊.

其实简单来说也就是令,我们有,带入就可以得到关于的方程,然后再带回和就行.

我们开始推导:

令,也就得到了.用一遍韦达定理,有:.

也就有:,显然过定点.

Example3(小联立)

已知椭圆,是该椭圆上两动点,分别为在轴上的射影,而且,记,求的最大值.

出现了两条直线!提问:使用大联立还是小联立.

考虑这么一个事实:大联立的用处应该体现在直线很重要的时候,而这个题除了两点以外,和半毛钱关系都没有.而且如果使用小联立,那么两个斜率之间的关系也很好表示,因此我们选择小联立.

设,:

而联立方程,有:

代入计算即可求解.

当然这个题斜率形式很好看,拿点参肯定也是可以做的,但是没啥必要,因为斜率关系很好看.

等一下,大联立真的没啥希望嘛?

确实没啥希望,因为直线有两个未知量,我们还需要拿限制它们的关系,不如直接小联立.

Example4(非对称性韦达定理)

已知椭圆,,直线过且交椭圆于两点.求问:轴上是否存在异于的一点,使得是定值.

直接设,.我们有:

坏了,这咋做.

我们用一下韦达定理得到:

注意到,代入,有:

若是定值,那么就有:,解得,.

所以.

Example5(配凑法)

已知椭圆,过的直线交椭圆于两点,过作直线的垂线,垂足为,求证:过定点.

根据对称原理,显然这个定点一定在轴上.

我们先写大联立的式子:设,带入有.再设,自然有:

接下来呢,我们想一下我们要求什么:我们要求出的表达式:形如,然后声明是定点.

这又意味着啥呢,这意味着在这条直线上,除了那个定点以外,一定有.而我们现在有两个点和,又猜出,也就是我们要找到一个满足.

我们倒着推:

这是啥,这是非对称性韦达定理.

这一步已经可以暴力化简了.但那样还不如直接做呢.所以我们直接选择从非对称性韦达定理的角度推过来.

观察韦达定理的关系式,我们有:

做到这一步发现要做完了,不难发现.

等一下,最后咋就这么巧就凑出来了呢?

因为你都确定了了,肯定是可以凑出来的,除非它真的不过定点.

极点极线

定义

几何定义

~~感觉这个定义大概率没啥用~~

过不在二次曲线上的一点作直线交二次曲线于两点(离近的是),则在上有且只有一点,使得(即构成一调和点列).当绕着旋转时,的轨迹是一条直线(或一部分),这条直线叫做点关于二次曲线的极线,而叫做关于该曲线的极点.

以椭圆为例子,接下来我们声明:.

证明:我有一个绝妙的证法,可惜这里地方太小,写不下.

代数定义

对于不在二次曲线上的一点,我们称它的极线为.

而对于在二次曲线上的点,我们也可以这么定义,不难发现此时极线就是过极点的切线.

证明:我有一个绝妙的证法,可惜这里地方太小,写不下.

基本性质

性质1(配极原理)

对于同一条二次曲线,如果点的极线经过点,那么点的极线经过点.

证明:我有一个绝妙的证法,可惜这里地方太小,写不下.

性质2(配极原理推论)

两点连线的极点是这两点的极线的交点;两直线交点的极线是这两直线的极点的连线.

证明:由性质1,显然.

性质3(极点与极线的位置关系)

ps:对于双曲线而言:我们所说的在内部指的是平面中被双曲线分为的三部分平面中对称的那两部分.抛物线类似.

设四边形(对边不平行)内接于二次曲线,则对角线交点的极线是两组对边交点的连线.反之同理,若在二次曲线内部,那以这个点为对角线交点的内接四边形对边交点的连线就是它的极线.这告诉我们:若一个点在二次曲线内,那它的极线一定在二次曲线外.反之亦然成立.
若一个点在二次曲线上,那它的极线就是过这个点的二次曲线的切线.
若一个点在二次曲线外,那它的极线就是过这个点向二次曲线作两条切线,这两条切线与二次曲线的交点的连线.

证明:我有一个绝妙的证法,可惜这里地方太小,写不下.

使用方法

通过极点极线猜结论,然后想办法证明结论.

Example1

已知,求证:.

设直线,,则在上.

又注意到显然是在单位圆上,而是单位圆关于的极点.又注意到与单位圆至少有一个交点,因此要么在圆上要么在圆外,得证.

Example2

已知椭圆,,过的直线交椭圆于两点(不与重合).,,设.求证:是定值,求出这个定值并求出面积的最小值.

一眼极点极线,通过极点极线知识不难得知.

我们先来看已知之后怎么做:

设,再设,则:,不难算出.

此时.不难发现只需求出即可.而轴,所以.

接下来咋做?第一问求得和的关系不能白求啊!

我们有,带入,求得.

于是.注意到,显然可以用基本不等式计算,最后得到.

好,问题就差一步极点极线的证明了.

这个时候,我们先说出,然后我们声明这两条直线的交点的横坐标一定是,然后代入验证即可.

好吧我也觉得很无赖,没办法.

隐函数求导

大概是这样的:

拿椭圆举例子,我们假设椭圆方程是.

我们将看作的函数,对两边求导,自然得到:

这是个方程,你可以解得.而这就是椭圆过这一点切线的斜率.用点斜式就可以得到方程.

目前没发现这方法在除了推导切线方程以外有啥用.

线性变换

大概率没啥用的方法,不过思想还是挺重要的.

~~(好吧我特意写这么一栏只是因为我线代学魔怔了)~~

简单来说就是把一般的图形变成特殊的图形,然后乱做.

线性变换的问题在于角的变化有点随意.不过边长以及斜率的变化都可以控制.

~~不过感觉只有椭圆是迫真有用的东西~~

旋转矩阵

向量逆时针旋转后得到的答案是,其中

\cos\theta,-\sin\theta\

\sin\theta,\cos\theta

\end{bmatrix}

你要不喜欢矩阵表示也不是不行,那向量旋转得到,其中

y'=xsin\theta+ycos\theta

椭圆转化成圆

我们注意到圆的方程是,而椭圆的方程形如.

我们注意到上面的式子等价于:.我们将原坐标系中的所有坐标全部变成之后,就得到了一个新的坐标系.在新的坐标系中,我们只需要对着圆做就行.

换成线性代数语言,令满足椭圆方程,令满足圆的方程,自然有:

双曲线转化为反比例函数

注意到反比例函数的方程是,而双曲线的方程是.

这个要硬配可能有些抽象.我们拿矩阵导一导.

首先先转化为的形式,需要左乘矩阵.

然后这个形式和我们所需要的反比例函数的形式只差一步旋转了.旋转矩阵为

\frac{1}{\sqrt{2}},-\frac{1}{\sqrt{2}}\

\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}}

\end{bmatrix}

把两个东西乘起来得到矩阵

\frac{1}{a},-\frac{1}{b}\

\frac{1}{a},\frac{1}{b}

\end{bmatrix}

验证一下,我们有.带入反比例函数的方程:

对着矩阵求逆一下得到:逆矩阵为

\frac{a}{2},\frac{a}{2}\

-\frac{b}{2},\frac{b}{2}

\end{bmatrix}

验证一下,我们有,带入双曲线方程得到:

要觉得矩阵部分比较魔怔也可以直接看上面的普通描述.

抛物线转化为二次函数

这个比较简单,交换即可,小问题.

极坐标

平面内取一点为极点,引一条射线叫做极轴,再选定单位长度和单位角度以及角度正方向,就建立了一个极坐标系.

对于平面上任意一点,令,为以为始边,沿角度正方向(一般是逆时针方向)转到的夹角.那么我们称为的极坐标,其中叫做极径,叫做极角.

有可能取负,我们通常认为.

通常情况下默认.如果遇到和直角坐标系结合的问题,通常默认原点为极点,轴正半轴为极轴且二者单位长度相等.下文如无特殊说明均按此建立极坐标.

注意到若在直角坐标系中坐标为,在极坐标中坐标为,若自然有:

看到这里,聪明的你可能已经发现了不对劲:那这玩意怎么做坐标系变换呢?这玩意难道能乱乘矩阵嘛?这俩项单位都不一样欸.

别急,你注意到这个东西看上去不太能整什么抽象的坐标系,做的时候直接考虑转化为平面直角坐标系再做.

圆的极坐标方程

显然是.

另外,如果中心在,半径为的方程咋求呢?

我们考虑本质是坐标系变换,想都别想先转平面直角坐标系,自然有:

另外由于,这个公式应该不难背.

直线的极坐标方程

过定点,且倾斜角为:.

这个咋推的呢,先换回平面直角坐标系,假设过定点,倾斜角为,我们自然有.

于是有:

其实本质还是极坐标轴变换,因为过极点的直线是显然的.

我们再来考虑一个:求过定点和的直线方程.

同理的:

太丑了吧,甚至不对称?

(网上的资料这一步可以继续往下化简,用一些三角函数知识).

这个故事教给我们:极坐标系下是很难表示一些直线的.

那表示曲线呢?

圆锥曲线的极坐标方程

优美的来了!

我们注意到圆锥曲线的一种定义是:到准线距离和到定点距离之比为常数的曲线.令.

假定定点为原点,极轴垂直于准线,为定点到准线的距离,又设曲线上一点为,自然有:.

于是有:

值得一提的是这玩意不能将圆理解为的圆锥曲线.

参数方程

在平面直角坐标系中,曲线上任意一点的坐标都是某个变量的函数.

圆的参数方程

,其中是.

直线的参数方程

,其中是倾斜角,是参数,.

注意到.事实上,设,也就是直线的单位方向向量,则.

椭圆的参数方程

,其中称为的离心角.

值得注意的是,这里的并非,而是将椭圆线性变换回圆后对应点的对应圆心角.

Example1

在椭圆上求一点,使到直线的距离最小.

直接令,则,其中.

于是,此时,那么就有,.

则.

Example2

已知椭圆,有一内接矩阵(),求矩阵最大面积.

直接令,则,.

双曲线的参数方程

,其中称为的离心角,通常规定.

其实本质也就是三角恒等式.

Example1

圆上有一点,双曲线上有一点,求.

设,则:

Example2

求证:等轴双曲线平行于实轴的弦在两顶点所张的角均为直角.

设,则.注意到.

Example3

已知双曲线,是双曲线同支上相异两点,线段的垂直平分线与轴相交于点,求证:.

设,则中点.

于是中垂线方程为.

代入,求得.

也就是要比较和的大小关系,注意到同支,所以.

抛物线的参数方程

,其中称为的离心角,意义是该点和原点所确定直线的斜率,注意这个参数方程不能表示抛物线顶点.

事实上,我们可以有一个别的参数方程表达:,这个参数方程可以表示顶点.

Example1

若抛物线上有不同两点,所对应的参数分别是,求直线所在直线的斜率.

Example2

是抛物线上异于顶点的两动点,且,上有一点满足,求的轨迹方程.

设,注意到:

因为,所以,.

因为,又有,所以,.

接下来咋做捏?注意到我们好像忘记了三点共线的性质,拿向量做这个东西.

那么有.

化简得到.

等一下,这咋想到的啊.

首先注意到我们有两个点,自然要设出它们的参数方程.然后呢?然后我们发现最后一定和有关.但是我们要求的是的方程,其中不能带有,因此考虑把的坐标设出来,再用这个坐标表示,表示不出来表示也可以,然后消掉即可.

当然这题还有一个做法,注意到一定在以为直径的圆上,同理,这两个圆的方程分别为:

也就是说,是同一个方程的两个根,根据韦达定理自然有,于是直接有.

还没完,注意到一定是一个根,要去掉,所以答案就是.

Example3

已知是抛物线上的三个点,且与轴垂直,直线和分别与抛物线的轴交于两点,求证:抛物线的顶点平分.

设,注意到,.

可求得,于是得证.

蒙日圆

参考:https://zhuanlan.zhihu.com/p/591258689

定义

过圆锥曲线外一点作两条互相垂直的切线,那么这一点的轨迹是一个圆,这个圆被称为蒙日圆,又叫外准圆.

方程

椭圆的蒙日圆方程

设椭圆为,其蒙日圆方程为.

证明:直接设椭圆上一点就可以导出.

双曲线的蒙日圆方程

设双曲线为,其蒙日圆方程为.

证明:其实注意到椭圆的证明中设是复数也是成立的,自然得证双曲线.

我知道你在想啥,你在想有没有可能一个点向双曲线能做出超过两条切线.事实上根据渐近线的原理这是不可能滴.

抛物线的蒙日圆方程

设抛物线,其蒙日圆方程为.

有一说一,直线是半径无穷大的圆.