-
Notifications
You must be signed in to change notification settings - Fork 26
/
Copy path教案-导数与积分.tex
5446 lines (5140 loc) · 296 KB
/
教案-导数与积分.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\chapter{导数与积分}
\section{导数}
\begin{itemize}[leftmargin=\inteval{\myitemleftmargin}pt,itemsep=
\inteval{\myitemitempsep}pt,topsep=\inteval{\myitemtopsep}pt]
\item 基本初等函数的导数与积分公式:
\begin{table}[h]
\centering
\begin{tabular}{c|c|c|c|c|c|c|c}
\hline
$ \int f(x)\d x $& $ \frac{1}{\alpha+1}x^{\alpha+1} $ & $ \frac{1}{\ln a}a^x $ &
$ \e^x $ & $ x(\ln x-1) $ & $ -\cos x $ & $ \sin x $ & $ -\ln|\cos x| $ \\
$ f(x) $ & $ x^{\alpha} $ & $ a^x $ & $ \e^x $ & $ \ln x $ & $ \sin x $ &
$ \cos x $ & $ \tan x $ \\
$ f'(x) $ & $ \alpha x^{\alpha-1} $ & $ (\ln a) a^x $ & $ \e^x $ &
$ \frac{1}{x} $ & $ \cos x $ & $ -\sin x $ & $ \frac{1}{\cos ^2 x} $ \\
\hline
\end{tabular}
\end{table} \\
以上省略了不定积分的积分常数。即使上表中的$ x $取复数,表中公式依然正确。
研究自变量取复数时函数的性质的数学分支,被称为“复变函数论”或“复分析”。
\item 导数运算法则:
\begin{align*}
& \left[c_1f(x)+c_2g(x)\right]'=c_1f'(x)+c_2g'(x) \\
& \left[f(x)\cdot g(x) \right]'= f'(x)\cdot g(x)+f(x)\cdot g'(x) \\
& \left[ \dfrac{f(x)}{g(x)}\right]' =\dfrac{f'(x)\cdot g(x)-f(x)\cdot g'(x)}{g^2(x)}
\end{align*}
在以上两式中令$ g(x)=x^n $,有
\begin{align*}
& \left[f(x)\cdot x^n \right]'= x^n f'(x)+nx^{n-1}f(x) \\
& \left[ \dfrac{f(x)}{x^n}\right]' =\dfrac{xf'(x)-nf(x)}{x^{n+1}}
\end{align*}
若以上两式中的$ n=1 $,则$ [xf(x)]'=xf'(x)+f(x),\ \left[ \dfrac{f(x)}{x}\right]'=\dfrac{xf'(x)-f(x)}{x^{2}} $.\\
\item 复合函数求导法则:$ [g(f(x))]'=g'(u)f'(x) $,再将$ u $换回$ f(x) $. 比如$ [\ln f(x)]'=\dfrac{f'(x)}{f(x)} $.\\
设$ f(x)=(x-x_0)^ng(x) $,则
\begin{align*}
\ln f(x) &=n\ln(x-x_0)+\ln g(x) \q (\text{两边求导}) \\
\frac{f'(x)}{f(x)} &=\frac{n}{x-x_0}+\frac{g'(x)}{g(x)}
\end{align*}
\item 可导奇函数的导(函)数是偶函数,可导偶函数的导(函)数是奇函数。
\item 牛顿-莱布尼茨公式(微积分基本公式):
\begin{gather*}
\int_a^bf'(x)\d x=f(b)-f(a)
\end{gather*}
% 匀速圆周运动的向心加速度推导。费马原理,反射和折射定律,光程极小。
\item 用定义证明基本初等函数的导数公式:\\
$\diamond$ 幂函数$ x^{\alpha} $:当指数$ \alpha $为正整数时,可以使用二项式定理证明,如下:
\begin{align*}
\lim_{\Delta x \to 0}\dfrac{(x+\Delta x)^n-x^n}{\Delta x}
=&\lim_{\Delta x \to 0} \dfrac{C_n^1x^{n-1}\Delta x+C_n^2x^{n-2}(\Delta x)^2
+\cdots + C_n^n (\Delta x)^n}{\Delta x} \\
=&\lim_{\Delta x \to 0}\left[ C_n^1x^{n-1}+C_n^2x^{n-2}\Delta x +\cdots+C_n^n
(\Delta x)^{n-1}\right] = nx^{n-1}
\end{align*}
当指数$ \alpha $为任意非0实数时,导数公式仍然是$ (x^{\alpha})'=\alpha x^{\alpha-1} $,
证明过程略。\\
\\
$\diamond$ 指数函数$ \e^x $:
\begin{align*}
\lim_{\Delta x \to 0}\dfrac{\e^{x+\Delta x}-\e^x}{\Delta x}=
\e^x \cdot \lim_{\Delta x \to 0}\dfrac{\e^{\Delta x}-1}{\Delta x} =\e^x
\end{align*}
上面利用了(\ref{(e^x-1)/x极限})式。\\
\\
$\diamond$ 对数函数$ \ln x $:
\begin{align*}
\lim_{\Delta x \to 0}\dfrac{\ln(x+\Delta x)-\ln x}{\Delta x}
=\lim_{\Delta x \to 0}\dfrac{\ln(1+\dfrac{\Delta x}{x})}{\Delta x}
=&\dfrac{1}{x}\cdot \lim_{\Delta x \to 0}\ln\left[ \left( 1+\dfrac{\Delta x}{x}\right)^{\frac{x}{\Delta x}} \right] \\
=&\dfrac{1}{x}\ln \e=\dfrac{1}{x}
\end{align*} \\
$\diamond$ 正弦函数$ \sin x $:
\begin{align*}
\lim_{\Delta x \to 0}\dfrac{\sin(x+\Delta x)-\sin x}{\Delta x}
=&\lim_{\Delta x \to 0}\dfrac{2\cos(x+\dfrac{\Delta x}{2})\sin(\dfrac{\Delta x}{2})}{\Delta x} \\
=&\lim_{\Delta x \to 0}\cos\left( x+\dfrac{\Delta x}{2}\right) \dfrac{\sin(\dfrac{\Delta x}{2})}
{\dfrac{\Delta x}{2}} =\cos x
\end{align*}
上面利用了(\ref{sinx/x极限})式。
\item 三个数学软件求导数的语法
\begin{table}[!htbp]
% \vspace{-2mm}
\centering
\begin{tabular}{|r|l|}
\hline
MATLAB & syms x; diff(x*exp(x), x, 3) \\ \hline
Maple & diff(x*exp(x), [x\$3]) \\ \hline
Mathematica & D[x*Exp(x), \{x, 3\}] \\ \hline
\end{tabular}
% \vspace{-3mm}
\end{table} \\
其中,exp(x)或Exp(x)就是指数函数$ \e^x $,3就是指3阶导数。对于Mathematica,
还可通过网站https://www.wolframalpha.com/在线执行语句。
GeoGebra网站也可以求导,不过wolframalpha的功能更强。
\item $^*$ 罗必塔(L'Hospital)法则:当$ x\to x_0 $时,如果$ f(x) $和
$ g(x) $均趋于0或$ \pm \infty $,那么
\begin{gather*}
\lim\limits_{x\to x_0}\dfrac{f(x)}{g(x)}=
\lim\limits_{x\to x_0}\dfrac{f'(x)}{g'(x)}
\end{gather*}
例如,当$ \alpha >0 $时,$ \lim\limits_{x\to 0}x^{\alpha}\ln x=\lim\limits_{x\to 0}
\dfrac{\ln x}{x^{-\alpha}}=\lim\limits_{x\to 0}\dfrac{\frac{1}{x}}{-\alpha x^{-\alpha -1}}=\lim\limits_{x\to 0}\dfrac{x^{\alpha}}{-\alpha}=0 $.
特别地,
\begin{gather}\label{limit_xlnx=0}
\lim\limits_{x\to 0} x\ln x=0
\end{gather}
是一个常用的结果。
\item $^*$ 斯托尔茨(Stolz)定理:设$ \{y_n \} $
是严格单调递增且趋于正无穷大的数列,如果
\begin{gather*}
\lim\limits_{n\to\infty}\dfrac{x_n-x_{n-1}}{y_n-y_{n-1}}=a \quad
(a\ \text{可以是有限量或者} \pm \infty)
\end{gather*}
那么$ \lim\limits_{n\to\infty}\dfrac{x_n}{y_n}=a $.
斯托尔茨定理可以看成离散形式的罗必塔法则。
\item 直观地讲,当自变量充分大的时候,底数大于1的指数函数的增长速度
快于一切幂函数,而底数大于1的对数函数的增长速度慢于一切正数幂的幂函数。
同时满足以下条件的$ f(x) $是不存在的:\\
(I)当自变量充分大的时候,$ f(x) $单调递增,且$ f(x)<\ln x $;\\
(II)$ \lim\limits_{x\to+\infty}f(x)=+\infty $;\\
(III) $ f(x) $是基本初等函数,且不包含对数函数。
举几个例子,$ \ln\ln x <\ln x \ (x>1) $,$ \ln\ln x $符合(I),(II),
但不符合(III),而且$ \ln\ln x $比$ \ln x $更加复杂,不适合用于缩放。
$ \dfrac{2(x-1)}{x+1}<\ln x\ (x>1) $,$ \dfrac{2(x-1)}{x+1} $符合
(I),(III),但不符合(II).
\item 如果多项式$ f(x) $具有$ m $重根,那么可以写成$ f(x)=(x-x_0)^mg(x) $,其中
$ g(x_0)\neq 0 $,
\begin{align*}
f'(x)=&m(x-x_0)^{m-1}g(x)+(x-x_0)^mg'(x) \\
f''(x)=&m(m-1)(x-x_0)^{m-2}g(x)+2m(x-x_0)^{m-1}g'(x)+(x-x_0)^mg''(x) \\
\cdots
\end{align*}
可以证明:$ f'(x_0)=f''(x_0)=\cdots=f^{(m-1)}(x_0)=0,\ f^{(m)}(x_0)\neq 0 $. \\
比如$ f(x)=(x-1)^3(x+2) $,那么
\begin{align*}
f'(x) =&3(x-1)^2(x+2)+(x-1)^3 \\
f''(x)=&6(x-1)(x+2)+6(x-1)^2 \\
f^{(3)}(x) =&\ 6(x+2)+18(x-1) \\
f^{(4)}(x) =&\ 24
\end{align*}
$ f'(1)=f''(1)=0,\ f^{(3)}(1)\neq 0,\ f^{(4)}(1)\neq 0 $. \\
$ y=(x-1)^k(x-3),\ k=1,2,3,4 $的图像如下:
\begin{figure}[!htbp]
\centering
\includegraphics[width=0.6\linewidth]{有重根的多项式与x轴相切}
\end{figure}
\item $^*$ 偏导数是针对含有多个自变量的函数而言的,对某一个自变量求偏导数时,只需要把其它
的自变量看成常数即可。比如$ z=f(x,y)=x^2+xy+y^3+\sin(xy) $,那么
\begin{align*}
z\ \text{对}\ x\ \text{的偏导数:} &\dfrac{\partial z}{\partial x}=
2x+y+y\cos(xy) \\
z\ \text{对}\ y\ \text{的偏导数:} &\dfrac{\partial z}{\partial y}=
x+3y^2+x\cos(xy)
\end{align*}
$ \partial $符号的英文读法是“partial”,中文读法是“偏”。
\item 函数$ y=f(x) $图像上有一点$ P(x_1,f(x_1)) $,函数$ y=g(x) $
图像上有一点$ Q(x_2,g(x_2)) $,求$ |PQ| $的最小值。\\
令$ F(X_1,x_2)=(x_2-x_1)^2+[g(x_2)-f(x_1)]^2 $,
\begin{align}
& \dfrac{\partial F}{\partial x_1}=-2(x_2-x_1)-2[g(x_2)-f(x_1)]f'(x_1)=0
\label{两函数图像距离最小1} \\
& \dfrac{\partial F}{\partial x_2}=2(x_2-x_1)+2[g(x_2)-f(x_1)]g'(x_2)=0
\label{两函数图像距离最小2}
\end{align}
$ \vec{PQ}=(x_2-x_1,g(x_2)-f(x_1)) $,$ P $点的切向量为
$ \vec{t_1}=(1,f'(x_1)) $,$ Q $点的切向量为$ \vec{t_2}=(1,g'(x_2)) $,
(\ref{两函数图像距离最小1})、(\ref{两函数图像距离最小2})式意味着
$ \left\{
\begin{aligned}
& \vec{PQ}\cdot \vec{t_1} =0 \\
& \vec{PQ}\cdot \vec{t_2} =0
\end{aligned}
\right. $,即$ \vec{PQ}\perp\vec{t_1},\ \vec{PQ}\perp\vec{t_2} $,
$ \vec{t_1}//\vec{t_2} $,这就是$ |PQ| $取得最小值的必要(不充分)条件。
\item 设$ \Delta ABC $的三个顶点的坐标分别为$ (x_i,y_i)\ (i=1,2,3) $,
平面上有一动点$ P(x,y) $,求$ |PA|+|PB|+|PC| $的最小值。\label{费马点求偏导} \\
令$ F(x,y)=\sqrt{(x-x_1)^2+(y-y_1)^2}+\sqrt{(x-x_2)^2+(y-y_2)^2}+
\sqrt{(x-x_3)^2+(y-y_3)^2} $,
\begin{align*}
&\dfrac{\partial F}{\partial x}=\dfrac{x-x_1}{\sqrt{(x-x_1)^2+(y-y_1)^2}}
+\dfrac{x-x_2}{\sqrt{(x-x_2)^2+(y-y_2)^2}}+
\dfrac{x-x_3}{\sqrt{(x-x_3)^2+(y-y_3)^2}}=0 \\
&\dfrac{\partial F}{\partial y}=\dfrac{y-y_1}{\sqrt{(x-x_1)^2+(y-y_1)^2}}
+\dfrac{y-y_2}{\sqrt{(x-x_2)^2+(y-y_2)^2}}+
\dfrac{y-y_3}{\sqrt{(x-x_3)^2+(y-y_3)^2}}=0
\end{align*}
移项,然后两边平方,
\begin{align*}
& \Big[\dfrac{x-x_1}{\sqrt{(x-x_1)^2+(y-y_1)^2}}
+\dfrac{x-x_2}{\sqrt{(x-x_2)^2+(y-y_2)^2}}\Big]^2=
\Big[-\dfrac{x-x_3}{\sqrt{(x-x_3)^2+(y-y_3)^2}}\Big]^2 \\
& \Big[\dfrac{y-y_1}{\sqrt{(x-x_1)^2+(y-y_1)^2}}
+\dfrac{y-y_2}{\sqrt{(x-x_2)^2+(y-y_2)^2}}\Big]^2=
\Big[-\dfrac{y-y_3}{\sqrt{(x-x_3)^2+(y-y_3)^2}}\Big]^2
\end{align*}
以上两式相加,
\begin{gather*}
1+\dfrac{2[(x-x_1)(x-x_2)+(y-y_1)(y-y_2)]}{\sqrt{(x-x_1)^2
+(y-y_1)^2}\cdot \sqrt{(x-x_2)^2+(y-y_2)^2}}+1=1 \\
\dfrac{(x-x_1)(x-x_2)+(y-y_1)(y-y_2)}{\sqrt{(x-x_1)^2
+(y-y_1)^2}\cdot \sqrt{(x-x_2)^2+(y-y_2)^2}}=
\dfrac{\vec{AP}\cdot \vec{BP}}{|\vec{AP}|\cdot|\vec{BP}|}=
\cos\angle APB=-\dfrac{1}{2}
\end{gather*}
所以,$ \angle APB=120^{\circ} $. 同理可得$ \angle BPC=\angle CPA
=120^{\circ} $. 当$ \Delta ABC $的最大内角小于$ 120^{\circ} $时,
$ PA,PB,PC $互成$ 120^{\circ} $,$ P $点是$ \Delta ABC $的费马点;
当$ \Delta ABC $的最大内角大于$ 120^{\circ} $时,
$ \angle APB,\angle BPC,\angle CPA $无法同时等于$ 120^{\circ} $,
此时的钝角顶点就是到三个顶点距离之和最小的点。
见本书第\pageref{费马点朝内朝外两种}页的图。
\item 常考函数的导数、极值点和图像。
\begin{table}[h]
\centering
\begin{tabular}{c|ccc}
函数 & 导数 & 极小值点 & 极大值点 \\
\hline
$ x\e^x $ & $(x+1)\e^x $ & $(-1,-1/\e) $ & $ - $ \\
$ \e^x/x $ & $ (x-1)\e^x/x^2 $ & $ (1,\e) $ & $ - $ \\
$ x/\e^x $ & $ -(x-1)/\e^x $ & $ - $ & $ (1,1/\e) $ \\
$ x\ln x $ & $ 1+\ln x $ & $ (1/\e,-1/\e) $ & $ - $ \\
$ \ln x/x $ & $ (1-\ln x)/x^2 $ & $ - $ & $ (\e,1/\e) $ \\
$ x/\ln x $ & $ (\ln x-1)/\ln^2 x $ & $ (\e,\e) $ & $ - $
\end{tabular}
\end{table}
\begin{figure}[h]
\centering
\includegraphics[width=0.6\linewidth]{6个函数图像.pdf}
\end{figure}
\item 把$ \e^x\geq x+1 $中的$ x $换成$ f(x) $,即$ \e^{f(x)} \geq f(x)+1 $,
可以衍生出无穷无尽的不等式,比如把
$ x $换成$ x-1 $,有$ \e^{x-1}\geq x $,
两边同乘$ \e $,有$ \e^x\geq \e x $,这是$ \dfrac{\e^x}{x} $的极小值为
$ \e $的体现,而$ y=\e x $正是$ y=\e^x $在点$ (1,\e) $
处的切线。$ \e^x $的反函数为$ \ln x $,$ \e x $的反函数为$ \dfrac{x}{\e} $,
所以$ \e^x\geq \e x $两边取反函数可得 $ \ln x\leq \dfrac{x}{\e} $.
这是$ \dfrac{\ln x}{x} $的极大值为$ \dfrac{1}{\e} $的体现,
$ y=\dfrac{x}{\e} $是$ y=\ln x $在点$ (\e,1) $处的切线。
\item $ x $换成$ x-\alpha $,有
$ \e^{x-\alpha}\geq x-\alpha+1 $,两边同乘$ \e^{\alpha} $,有
$ \e^x \geq \e^{\alpha}(x-\alpha+1) $.直线$ y=\e^{\alpha}(x-\alpha+1) $
正是$ y=\e^x $在点$ (\alpha,\e^{\alpha}) $处的切线。
取反函数或者取对数后又有新的不等式。
\item $ x $换成$ \alpha x (\alpha>0)$,有
$ \e^{\alpha x}\geq \alpha x+1 $,当$ 1+\alpha x>0 $时,
两边同时开$ \alpha $次方,有$ \e^x\geq (1+\alpha x)^{\frac{1}{\alpha}} $.
\item $ x $换成$ -\alpha x (\alpha>0)$,有
$ \e^{-\alpha x}\geq -\alpha x+1 $,当$ 1-\alpha x>0 $时,两边同时取倒数,
有$ \e^{\alpha x}\leq \dfrac{1}{1-\alpha x} $,两边同时开$ \alpha $次方,有
$ \e^x \leq \left(\dfrac{1}{1-\alpha x} \right)^{\frac{1}{\alpha}} $.
当$ \alpha=1 $时,有$ \e^x \leq \dfrac{1}{1-x} $;
当$ \alpha=2 $时,有$ \e^x \leq \sqrt{\dfrac{1}{1-2x}} $;当$ \alpha=\dfrac{1}{2} $时,有$ \e^x \leq \dfrac{1}{(1-\dfrac{x}{2})^2} $. \\
另外,比较幂级数系数也能看出,当$ x \in (0, 1) $时,$ \e^x < \dfrac{1}{1-x} $:
\begin{align*}
\e^x=1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots < 1+x+x^2+x^3+\cdots =\dfrac{1}{1-x}
\end{align*}
\item 当$ x>1 $时,$ \dfrac{x}{\ln x}\geq \e $,$ x\geq \e\ln x $,将
$ x $换成$ x^{1/r}\ (r\in \textbf{R},r>1) $,有
$ x^{1/r}\geq \e\ln x^{1/r}=\dfrac{\e}{r}\ln x $.
(当然,此不等式对于$ r\in(0,1) $也是成立的,但这种左右“相去甚远”的
不等式几乎是毫无用处。)
比如,$ r=2 $时,$ \sqrt{x}\geq \dfrac{\e}{2}\ln x $,
$ \dfrac{2}{\e}\sqrt{x}\geq \ln x $;
$ r=3 $时,$ \sqrt[3]{x}\geq \dfrac{\e}{3}\ln x $,
$ \dfrac{3}{\e}\sqrt[3]{x}\geq \ln x $.
\item $^*$ 函数$ x\ln x $和$ \dfrac{x}{\ln x} $在有关质数的研究中会遇到,
例如,第$ n $个质数的大小大约为$ n[\ln n+\ln(\ln n)-1] $.
\ 第$ 10^8 $个质数是2038074743,
$ 10^8[8\ln 10+\ln(8\ln 10)-1]\approx 2033415473.088 $,相对误差只有0.2$ \% $ .
\item 自然对数的底数$ \e $小于3的证明如下:
\begin{align}
\left( 1+\dfrac{1}{n}\right)^n =&1+C_n^1\left(\dfrac{1}{n}\right)+
C_n^2\left(\dfrac{1}{n}\right)^2+\cdots +C_n^n\left(\dfrac{1}{n}\right)^n \nonumber \\
&<2+\dfrac{1}{2!}+\dfrac{1}{3!}+\dfrac{1}{4!}+\cdots +\dfrac{1}{n!} \nonumber\\
&<2+\dfrac{1}{2}+\dfrac{1}{2^2}+\dfrac{1}{2^3}+\cdots +\dfrac{1}{2^{n-1}} \quad (n>2,n!>2^{n-1}) \nonumber \\
=&2+\dfrac{\dfrac{1}{2}-\dfrac{1}{2^n}}{1-\dfrac{1}{2}}=3-\dfrac{1}{2^{n-1}}<3 \label{e小于3的证明}
\end{align}
当$ n>2 $时,$ \left( 1+\dfrac{1}{n}\right)^n =\left(\dfrac{n+1}{n} \right)^n <3 $,即$
(n+1)^n<3n^n\leq n^{n+1} $.\ $ 999^{998} < 998^{999} $也可由此证明。
根据均值不等式,
\begin{align*}
\left( 1+\dfrac{1}{n}\right)^n=1\cdot \left( 1+\dfrac{1}{n}\right)^n
<\left[\dfrac{1+n\left(1+\frac{1}{n}\right)}{n+1} \right]^{n+1}
=\left( 1+\dfrac{1}{n+1}\right)^{n+1}
\end{align*}
说明数列$ \left\{ \left( 1+\dfrac{1}{n}\right)^n \right\} $是单调递增且有上界的。
$ x\neq 0 $时,
$ 1+x<\e^x $,令$ x=\dfrac{1}{n} $,则$ 1+\dfrac{1}{n}<\e^{1/n} $,
所以$\left( 1+\dfrac{1}{n}\right)^n<\e $.
$ 1-x<\e^{-x} $,令$ x=\dfrac{1}{n+1} $,则$ 1-\dfrac{1}{n+1}=\dfrac{n}{n+1}<\e^{-1/(n+1)},
\dfrac{n+1}{n}>\e^{1/(n+1)} $,所以$ \e < \left( 1+\dfrac{1}{n}\right)^{n+1} $.
于是:
\begin{align}\label{e的两边夹不等式}
\left( 1+\dfrac{1}{n}\right)^{n} < \e < \left( 1+\dfrac{1}{n}\right)^{n+1}
\end{align}
同时取对数后可得:
\begin{align*}
\dfrac{1}{n+1} < \ln \dfrac{n+1}{n}=\dfrac{\ln (n+1)-\ln n}{(n+1)-n} < \dfrac{1}{n}
\end{align*}
这个不等式相当于在区间$ [n,n+1] $上对$ \ln x $应用拉格朗日中值定理。
\item 重要例子:绝对值函数$ y=|x| $在\textbf{R}上连续,但在$ x=0 $处不可导。
此例子还能说明,$ \lim\limits_{\Delta x\to 0}\dfrac{f(x+\Delta x)-
f(x-\Delta x)}{2\Delta x} $不能替代$ \lim\limits_{\Delta x\to 0}
\dfrac{f(x+\Delta x)-f(x)}{\Delta x} $作为导数的定义,否则会得出$ y=|x| $
在$ x=0 $处的导数为0的结论。进一步地,$ \lim\limits_{\Delta x\to 0}
\dfrac{f(x+\lambda_1\Delta x)-f(x-\lambda_2\Delta x)}{(\lambda_1+
\lambda_2)\Delta x} $也不能作为导数的定义。
\item 对于可导函数,$ f'(x_0)=0 $是“$ x=x_0 $为$ f(x) $的
极值点”的必要不充分条件。当$ f'(x_0)=0 $时,\\
\mycircled{1} 若$ f''(x_0)>0 $,则$ x_0 $是$ f(x) $的极小值;\\
\mycircled{2} 若$ f''(x_0)<0 $,则$ x_0 $是$ f(x) $的极大值;\\
\mycircled{3} 若$ f''(x_0)=0 $,则$ x_0 $可能是$ f(x) $的极值点,也可能不是。
比如,$ y=x^3 $和$ y=x^4 $在$ x=0 $处的一阶、二阶导数均为0,$ x_0=0 $不是
$ y=x^3 $的极值点,但是$ y=x^4 $的极小值点。
\item 假设点$ (x_0,y_0) $不在曲线$ y=f(x) $上,要在曲线$ y=f(x) $上找一条经过点$ (x_0,y_0) $的切线,只需求解方程:$ \dfrac{y_0-f(x)}{x_0-x}=f'(x) $. 这一方法也可在圆锥曲线的题目中使用。
\item 对于三次函数$ y=f(x)=ax^3+bx^2+cx+d $,作平移变换$ x=t-\dfrac{b}{3a} $,那么
\begin{align*}
ax^3+bx^2+cx+d=&\ a\left(t-\dfrac{b}{3a}\right)^3+b\left(t-\dfrac{b}{3a}
\right)^2+c\left(t-\dfrac{b}{3a}\right)+d\\=&\ at^3+\left(c-\dfrac{b^2}{3a}
\right)t+\dfrac{2b^3}{27a^2}-\dfrac{bc}{3a}+d
\end{align*}
这样就消去了二次项,剩下的三次函数和一次函数都是中心对称图形,这说明任意三次函数都是
中心对称图形,对称中心的坐标为$ \left(-\dfrac{b}{3a},f\left(-\dfrac{b}{3a}\right)\right) $,对称中心也是三次函数的拐点(二阶导数为0,且二阶导数在此点左右异号)。对三次函数求导,
$ y'=3ax^2+2bx+c $,该二次函数的对称轴是$ x=-\dfrac{b}{3a} $,
与对称中心的横坐标一致。
\item 从平面上任意一点向三次函数$ y=f(x)=ax^3+bx^2+cx+d $作切线的条数问题。
\begin{figure}[H]
\centering
\includegraphics[width=0.7\linewidth]{三次函数切线条数}
\end{figure}
过三次函数对称中心的切线的方程为$ y=\left(c-\dfrac{b^2}{3a}
\right)\left(x+\dfrac{b}{3a}\right)+f\left(-\dfrac{b}{3a}\right) $. 上图中的虚线就是过对称中心的切线,切线与三次曲线将平面分为四个区域,\\
(I) 在$ A $和$ A' $区域,以及对称中心处,只能作1条切线;\\
(II) 在切线和三次曲线上(除对称中心外),能作2条切线;\\
(III) 在$ B $和$ B' $区域能作三条切线。
\item $^*$ 对任意$ n $次首一多项式$ P(x) $(最高次项系数为1的多项式),设$ M $代表
$ |P(x)| $在区间$ [-1,1] $上的最大值,那么无论其它项的系数怎么变化(保持首一),
$ M $总是大于等于$ \dfrac{1}{2^{n-1}} $. 该结论可借助第一类切比雪夫多项式
$ T_n(\cos x)=\cos nx $进行证明\footnote{证明可参见
https://zhuanlan.zhihu.com/p/105766114 }。例如,首一的三次多项式$ x^3+ax+b $
在区间$ [-1,1] $上的最大值不小于$ \dfrac{1}{4} $。\\
\end{itemize}
\section{泰勒级数}
\begin{itemize}[leftmargin=\inteval{\myitemleftmargin}pt,itemsep=
\inteval{\myitemitempsep}pt,topsep=\inteval{\myitemtopsep}pt]
\item $^*$ 函数$ f(x) $在$ x=x_0 $处的泰勒(Taylor)级数
(也被称为幂级数)
\begin{align*}
f(x)=&\ f(x_0)+\dfrac{f'(x_0)}{1!}(x-x_0)+\dfrac{f''(x_0)}{2!}
(x-x_0)^2\\ &\ + \dfrac{f'''(x_0)}{3!}(x-x_0)^3+\cdots+
\dfrac{f^{(n)}(x_0)}{n!}(x-x_0)^n+\cdots
\end{align*}
特别地,当$ x_0=0 $时,
\begin{align*}
\e^x=&\ 1+x+\dfrac{x^2}{2!}+\dfrac{x^3}{3!}+\cdots+\dfrac{x^n}{n!}+\cdots \\
\sin x=&\ x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\cdots +(-1)^n
\dfrac{x^{2n+1}}{(2n+1)!} +\cdots \\
\cos x=&\ 1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\cdots +(-1)^n
\dfrac{x^{2n}}{(2n)!} +\cdots \\
\tan x=&\ x+\dfrac{1}{3}x^3+\dfrac{2}{15}x^5+\dfrac{17}{315}x^7+\cdots +
4^n(4^n-1)\dfrac{|B_{2n}|x^{2n-1}}{(2n)!}+\cdots \\
\dfrac{1}{1+x}=&\ 1-x+x^2-x^3+\cdots (-1)^{n-1}x^{n-1}+\cdots \\
\ln(1+x)=&\ x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\dfrac{x^4}{4}+
\cdots (-1)^{n-1}\dfrac{x^n}{n}+ \cdots
\end{align*}
\textbf{注}\ $ \tan x $的泰勒级数中的$ B_{2n} $是伯努利数。\\
$ (2k)!!=2k(2k-2)(2k-4)\cdots 6\cdot 4 \cdot 2,
\ (2k+1)!!=(2k+1)(2k-1)(2k-3)\cdots 5\cdot 3\cdot 1 $ . \\
\\
按照二项式定理对$ (1+x)^n $进行展开,与它在$ x_0=0 $处的泰勒展开是一样的。
如果指数不是整数,那么$ (1+x)^{\alpha} $在$ x_0=0 $处的泰勒展开为
\begin{align}\label{牛顿广义二项式定理}
&\ (1+x)^{\alpha}\nonumber \\
=&\ 1+\alpha x+\dfrac{\alpha(\alpha
-1)}{2!}x^2+\dfrac{\alpha(\alpha-1)(\alpha-2)}{3!}+\cdots+
\dfrac{\alpha(\alpha-1)\cdots(\alpha-n+1)}{n!}x^n+\cdots
\end{align}
如果对组合数$ C_n^k $进行推广,允许下标$ n $不是正整数
(但上标$ k $还是正整数),
即$ C_\alpha^k=\dfrac{1}{k!} \alpha(\alpha-1)\cdots
(\alpha-k+1) $,那么(\ref{牛顿广义二项式定理})式可以写成
\begin{gather*}
(1+x)^{\alpha}= 1+C_{\alpha}^1 x+C_{\alpha}^2 x^2+
C_{\alpha}^3 x^3+\cdots+C_{\alpha}^n x^n +\cdots
\end{gather*}
前面的一些项保持了与普通二项式定理一致的形式。所以,(\ref{牛顿广义二项式定理})
式也被称为牛顿广义二项式定理。当$ \alpha=\dfrac{1}{2} $时,
\begin{gather*}
\sqrt{1+x}= 1+\dfrac{1}{2}x-\dfrac{1}{2\cdot 4}x^2+
\dfrac{1\cdot 3}{2\cdot 4\cdot 6}x^3-\cdots +(-1)^{n-1}\dfrac{(2n-3)!!}
{(2n)!!}x^n+\cdots
\end{gather*}
\\
泰勒级数可以作为$ f(x) $在$ x=x_0 $附近的近似替代,$ |x-x_0| $越小,
泰勒级数取的项数越多,近似替代的精度就越高。比如:$ x_0=0,\ x=0.1,\
\e^{0.1}=1.1051709180\cdots,\ 1+x=1.1,\ 1+x+\dfrac{x^2}{2}=1.105,\
1+x+\dfrac{x^2}{2}+\dfrac{x^3}{6}=1.10516666,\ 1+x+
\dfrac{x^2}{2}+\dfrac{x^3}{6}+\dfrac{x^4}{24}=1.105170833,\cdots $.
\item 三个数学软件计算泰勒级数的语法
\begin{table}[H]
%\vspace{-2mm}
\centering
\begin{tabular}{|r|l|}
\hline
MATLAB & syms x; taylor(exp(x), x, 0, 'Order', 3) \\ \hline
Maple & taylor(exp(x), x=0, 3) \\ \hline
Mathematica & Series[Exp[x], \{x, 0, 3\}] \\ \hline
\end{tabular}
\vspace{-3mm}
\end{table}
\noindent 其中的0就是$ x_0 $,3就是展开到$ x^{3-1} $或$ x^3 $
(不同软件有区别)。
\item $^*$ 自然对数$ \ln x $的手工计算方法 :
当$ |x|<1 $时,等比数列求和公式
\begin{gather*}
\dfrac{1}{1+x}=1-x+x^2-\cdots+(-x)^{n-1}+\cdots
\end{gather*}
两边在区间$ [0,x] $上积分,可以得到$ \ln(1+x) $的泰勒级数,
\begin{align}\label{ln(1+x)泰勒级数}
\ln(1+x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\cdots +\dfrac{(-1)^{n-1}x^{n}}{n}+\cdots
\end{align}
把上式的$ x $换成$ -x $,
\begin{gather}\label{ln(1-x)泰勒级数}
\ln(1-x)=-x-\dfrac{x^2}{2}-\dfrac{x^3}{3}-\cdots -\dfrac{x^{n-1}}{n}-\cdots
\end{gather}
用(\ref{ln(1+x)泰勒级数})式减去(\ref{ln(1-x)泰勒级数})式,
\begin{align}\label{ln(1+x)_(1-x)幂级数}
\ln\dfrac{1+x}{1-x}=2\left(x+\dfrac{x^3}{3}+\dfrac{x^5}{5}+\cdots +\dfrac{x^{2k-1}}{2k-1} +\cdots \right)
\end{align}
等号右侧取的项越多,则越精确。如果$ x\in (0,1) $,那么
\begin{gather}\label{exp(2x)帕德逼近}
\ln\dfrac{1+x}{1-x}>2x, \quad \quad \dfrac{1+x}{1-x}>\e^{2x}
\end{gather}
现在估算$ \ln 5 $,令$ \dfrac{1+x}{1-x}=5 $,解得$ x=\dfrac{2}{3} $,那么
\begin{align*}
\ln5\approx 2\left[\dfrac{2}{3}+\dfrac{(\frac{2}{3})^3}{3} \right]
=\dfrac{124}{81} \approx 1.530864
\end{align*}
而$ \ln 5 $的精确值是$ 1.609438\cdots $
\footnote{2014年新课标全国II卷导数大题考察了求$ \ln2 $的近似值。}.
令$ \dfrac{1+x}{1-x}=t $,解得$ x=\dfrac{t-1}{t+1} $,在
(\ref{ln(1+x)_(1-x)幂级数})式等号右侧只取一项,那么
\begin{align} \label{lnt帕德逼近}
\ln t\approx \dfrac{2(t-1)}{t+1}
\end{align}
$ \dfrac{2(t-1)}{t+1} $实际上就是$ \ln t $在$ t=1 $处的$ (1,1) $阶帕德(Pade)逼近(下一节将进行介绍),而$ \dfrac{1+x}{1-x} $就是$ \e^{2x} $在$ x=0 $处的的$ (1,1) $阶帕德逼近。
在(\ref{ln(1+x)_(1-x)幂级数})式等号右侧取两项,
\begin{align}\label{lnt近似-泰勒取两项}
\ln t\approx 2\left[\dfrac{t-1}{t+1}+\dfrac{1}{3}\left(\dfrac{t-1}{t+1}\right)^3
\right]=\dfrac{8(t^3-1)}{3(t+1)^3}=\dfrac{(t-1)(8t^2+8t+8)}{3(t^3+3t^2+3t+1)}
\end{align}
不过,上式的精度不如以下的$ (3,3) $阶帕德逼近
\begin{align}\label{lnt帕德近似3_3}
\ln t \approx&\ \dfrac{11(t-1)^3+60(t-1)^2+60(t-1)}{3(t-1)^3+36(t-1)^2
+90(t-1)+60} \nonumber \\
=&\ \dfrac{11t^3+27t^2-27t-11}{3(t^3+9t^2+9t+1)}=
\dfrac{(t-1)(11t^2+38t+11)}{3(t^3+9t^2+9t+1)}
\end{align}
\begin{figure}[!htbp]
\centering
\includegraphics[width=1\linewidth]{lnx帕德逼近}
\end{figure}
\item 在计算机软件里\footnote{微软将Windows系统自带的计算器开源了,
地址是https://github.com/microsoft/calculator \\
在calculator-master\textbackslash src\textbackslash
CalcManager\textbackslash Ratpack文件夹下,
exp.cpp文件包括了指数函数和对数函数的C语言实现,
trans.cpp文件包含了三角函数$ \sin,\cos,\tan $的实现,不过阅读难度较大。
本书第\pageref{指数函数与三角函数算法}页对指数函数与三角函数的算法也作了简单介绍。},
是用(\ref{ln(1+x)_(1-x)幂级数})式来计算任意的对数值。
首先使用换底公式$ \log_a t_0=\dfrac{\ln t_0}{\ln a} $,然后分别计算
$ \ln t_0,\ \ln a $. 现假设要计算$ \ln t_0 $,如果$ t_0 $不在区间
$ I= \Big[\dfrac{\sqrt{2}}{2},\sqrt{2}\Big] $内,
那就除以$ 2^n\ (n\in \textbf{Z}) $,使$ \dfrac{t_0}{2^n}=t $
位于区间$ I $内(目的就是让$ t $尽量接近1)。
为了在区间$ I $内获得更好的精度,
还使用了一些函数逼近的方法对(\ref{ln(1+x)_(1-x)幂级数})
式中的系数作了轻度的修改(在此不做详细介绍)。
令$ \dfrac{1+x}{1-x}=t $,然后反解出$ x $,
因为$ \dfrac{\sqrt{2}}{2}\leq t\leq \sqrt{2} $,所以$ |x|\leq
(\sqrt{2}-1)^2=0.171572\cdots $. 将$ x $
代入(\ref{ln(1+x)_(1-x)幂级数})式右侧,取到$ x $的15次方,精度大致可以
达到$ 2^{-58}\approx 3.5\times10^{-18} $. 那么,
\begin{gather*}
\ln t_0=n\ln 2+\ln t=n\ln 2+\ln\dfrac{1+x}{1-x}\approx n\ln 2+
2\left(x+\dfrac{x^3}{3}+\dfrac{x^5}{5}+\cdots+\dfrac{x^{15}}{15}\right)
\end{gather*}
$ \ln 2 $会事先算好存起来,在计算机程序中当常数使用。
\item $ f(x)=\ln\dfrac{1+x}{1-x} $满足函数方程$ f(x_1)+f(x_2)=
f\left(\dfrac{x_1+x_2}{1+x_1x_2}\right) $,
\begin{align*}
f(x_1)+f(x_2) =\ln\dfrac{(1+x_1)(1+x_2)}{(1-x_1)(1-x_2)}
&=\ln\dfrac{1+(x_1+x_2)+x_1x_2}{1-(x_1+x_2)+x_1x_2}\\
&=\ln\dfrac{1+\dfrac{x_1+x_2}{1+x_1x_2}}{1-\dfrac{x_1+x_2}{1+x_1x_2}}=
f\left(\dfrac{x_1+x_2}{1+x_1x_2}\right)
\end{align*}
\item 10以内的质数的自然对数值:
\begin{gather*}
\ln2=0.693147\cdots,\q \ln3=1.098612\cdots \\
\ln5=1.609438\cdots,\q \ln7=1.945910\cdots
\end{gather*}
$ \ln 3 $的估算:\\
方法一:
\begin{align}
\ln 3 =\ln(2.72+0.28)=\ln 2.72+\ln\Big(1+\frac{0.28}{2.72}\Big)
\approx 1+\frac{0.28}{2.72}\approx 1.103
\end{align}
方法二:(假设已知$ \ln 2 $)
\begin{align*}
\ln 3=2\ln 2+\ln \dfrac{3}{4}\approx 2\times 0.6931+
\ln\dfrac{1-\frac{1}{7}}{1+\frac{1}{7}}\approx
1.3862-2\times\dfrac{1}{7}\approx 1.1005
\end{align*}
$ \ln 5 $的估算:(假设已知$ \ln 2 $)
\begin{align*}
\ln 5=2\ln 2+\ln \dfrac{5}{4}\approx 2\times 0.6931+
\ln\dfrac{1+\frac{1}{9}}{1-\frac{1}{9}}\approx
1.3862+2\times\dfrac{1}{9}\approx 1.6084
\end{align*}
$ \ln 7 $的估算:\\
方法一:
\begin{align*}
\ln 7 =\ln(7.29-0.29)=\ln7.29+\ln\Big(1-\frac{0.29}{7.29}\Big)
\approx 2-\frac{0.29}{7.29}\approx 1.960 \label{ln7估算方法}
\end{align*}
方法二:(假设已知$ \ln 2 $)
\begin{align*}
\ln 7=3\ln 2+\ln \dfrac{7}{8}\approx 3\times 0.6931+
\ln\dfrac{1-\frac{1}{15}}{1+\frac{1}{15}}\approx
2.0193-2\times\dfrac{1}{15}\approx 1.9460
\end{align*}
\item 和e有关的一些数值:
\begin{gather*}
1.6^2=2.56<\e<2.89=1.7^2,\q 1.6<\sqrt{\e}\approx 1.648721<1.7 \\
\e<2.744=1.4^3,\q \sqrt[3]{\e}\approx 1.395612\approx 1.4 \\
\e^2\approx 7.389056,\q \e^3\approx 20.085536\approx 20.1 ,
\q \e^4\approx 54.598150\approx 50.6
\end{gather*}
\item 常用平方根:
\begin{gather*}
\sqrt{2}\approx1.414,\ \sqrt{3}\approx1.732,\ \sqrt{5}\approx2.236,\
\sqrt{6}\approx2.449,\ \sqrt{7}\approx2.646,\ \sqrt{10}\approx3.162
\end{gather*}
\\
常用平方数:
\begin{table}[H]
\centering
\begin{tabular}{|c|c|c|c|c|}
\hline
$ 11^2=121 $ & $ 12^2=144 $ & $ 13^2=169 $ & $ 14^2=196 $ & $ 15^2=225 $\\ \hline
$ 16^2=256 $ & $ 17^2=289 $ & $ 18^2=324 $ & $ 19^2=361 $ & $ 20^2=400 $\\ \hline
$ 21^2=441 $ & $ 22^2=484 $ & $ 23^2=529 $ & $ 24^2=576 $ & $ 25^2=625 $\\ \hline
$ 26^2=676 $ & $ 27^2=729 $ & $ 28^2=784 $ & $ 29^2=841 $ & $ 30^2=900 $\\ \hline
$ 31^2=961 $ & $ 32^2=1024 $ & $ 33^2=1089 $ & $ 34^2=1156 $ & $ 35^2=1225 $\\ \hline
\end{tabular}
\end{table}
\bigskip
\item 开二次方的估算方法:假设要估算$ \sqrt{a}\ (a>0) $,
可先找出正整数$ k $,满足$ k^2<a<(k+1)^2 $. \\
\mycircled{1}割线法:在函数$ y=\sqrt{x} $上取两点$ (k^2,k) $
和$ ((k+1)^2,k+1) $,用过这两点的割线\\ $ y-k=\dfrac{
(k+1)-k}{(k+1)^2-k^2}(x-k^2) $来近似代替函数$ y=\sqrt{x} $
在区间$ (k^2,(k+1)^2) $内的部分,所以
$ \sqrt{a}\approx k+\dfrac{a-k^2}{2k+1} $,结果偏小。 \\
\mycircled{2}切线法:在函数$ y=\sqrt{x} $上,用过点$ (k^2,k) $的切线$ y-k=\dfrac{1}{2k}(x-k^2) $来近似代函数$ y=\sqrt{x} $
在区间$ (k^2,(k+1)^2) $内的部分,所以,
$ \sqrt{a} \approx k+\dfrac{a-k^2}{2k}=
\dfrac{1}{2}\left(k+\dfrac{a}{k}\right) $,结果偏大。
结合\mycircled{1}和\mycircled{2}可以看出,
$ k+\dfrac{a-k^2}{2k+0.5} $是更好的近似。切线法实际上是只取了泰勒级数的前两项,即$ f(x)=\sqrt{x} \approx f(x_0)+f'(x_0)(x-x_0) $,如果取更多的项,比如$ \dfrac{f''(x_0)}{2!}(x-x_0)^2,
\dfrac{f'''(x_0)}{3!}(x-x_0)^3\cdots $,就能获得更高的精度。\\
\mycircled{3}将切线法迭代使用。记$ \varphi(x)=\dfrac{1}{2}
\left(x+\dfrac{a}{x}\right) $,那么$ \varphi(x) $的不动点
\footnote{不动点就是方程$ x=\varphi(x) $的根,
参见本书第\ref{sec数列}章“数列”的“不动点”小节。}和极小值点\footnote{
考虑函数$ g(x)=Ax+\dfrac{B}{x}\ (A,B>0) $,其不动点是$ \sqrt{\dfrac{B}{1-A}} $,
只要让$ \sqrt{\dfrac{B}{1-A}}=\sqrt{a} $,
那么迭代数列$ a_{n+1}=g(a_n)=Aa_n+\dfrac{B}{a_n} $就会收敛到$ \sqrt{a} $.
$ g(x) $的极小值点是$ x=\sqrt{\dfrac{B}{A}} $,
如果让不动点与极小值点重合,那么迭代数列$ a_{n+1}=g(a_n) $的收敛速度是最快的。
令$ \sqrt{\dfrac{B}{1-A}}=\sqrt{\dfrac{B}{A}}=\sqrt{a} $,
那么$ A=\dfrac{1}{2},\ B=\dfrac{a}{2},\ g(x)=\dfrac{1}{2}\left(
x+\dfrac{a}{x}\right) $,此时,$ g(x) $恰好与切线法的形式一致。}
都是$ x=\sqrt{a} $.定义数列$ \{a_n\} $,
令$\ a_1=k,\ a_{n+1}=\varphi(a_n)=\dfrac{1}{2}\left(
a_n+\dfrac{a}{a_n}\right) $. 通过不断地迭代计算$ a_n $,
就能逐步逼近$ \sqrt{a} $.
容易验证,$ a_{2}=\dfrac{1}{2}\left(a_1+\dfrac{a}{a_1}\right)
=\dfrac{1}{2}\left(k+\dfrac{a}{k}\right)
\in (\sqrt{a},\sqrt{a}+\dfrac{1}{2}) $.
%\mycircled{3}迭代法:$ 0<A<1,B>0 $,数列$ a_{n+1}=Aa_n+\dfrac{B}{a_n} $的不动点
%\footnote{参见本书第\ref{sec数列}章“数列”的“不动点”小节。}是
%$ \sqrt{\dfrac{B}{1-A}} $,只要让$ A,B $满足$ \sqrt{\dfrac{B}{1-A}}=\sqrt{a} $,
%就可以通过不断计算$ a_n $来逼近$ \sqrt{a} $.如果让函数$ Ax+\dfrac{B}{x} $的
%不动点恰好是它的极小值点($ x=\sqrt{\dfrac{B}{A}} $),那么迭代收敛的速度是最快的。即
%$ \sqrt{\dfrac{B}{1-A}}=\sqrt{\dfrac{B}{A}}=\sqrt{a} $,所以$ A=\dfrac{1}{2},
%B=\dfrac{a}{2} $.选取$ a_1=k $,那么$ a_2=\dfrac{1}{2}\left(a_1+\dfrac{a}{a_1}\right)=
%\dfrac{1}{2}\left(k+\dfrac{a}{k}\right) $,这与切线法的结果一样。按照
%$ a_{n+1}=\dfrac{1}{2}a_n+\dfrac{a}{2a_n} $
%继续计算$ a_3,a_4\cdots $,便能不断提高精度。
下面用数学归纳法证明数列$ \{a_n\} $确实收敛到$ \sqrt{a} $.
假设$ \sqrt{a}<a_n<\sqrt{a}+\dfrac{1}{2^{n-1}}\ (n\geq 2) $,
那么$ \dfrac{1}{a_n} < \dfrac{1}{\sqrt{a}} $,
\begin{align*}
& a_{n+1}=\dfrac{1}{2}\left(a_n+\dfrac{a}{a_n}\right)>
\sqrt{a_n\cdot\dfrac{a}{a_n}}=\sqrt{a} \\
& a_{n+1}=\dfrac{1}{2}a_n+\dfrac{a}{2a_n}<\dfrac{1}{2}
\left(\sqrt{a}+\dfrac{1}{2^{n-1}} \right)+\dfrac{a}{2}\cdot \dfrac{1}{\sqrt{a}}=\sqrt{a}+\dfrac{1}{2^n}
\end{align*}
实际上,数列$ a_n $的通项公式是可以计算出来的,
见本书第\ref{sec数列}章的(\ref{根式迭代序列的通项})式。 \\
\\ %\newpage
\noindent \item $^*$ 开三次方的估算:假设要估算$ \sqrt[3]{a} $,
先找出正整数$ k $,满足$ k^3<a<(k+1)^3 $. \\
\mycircled{1}割线法:$ \sqrt[3]{a}\approx k+\dfrac{a-k^3}{3k^2+3k+1} $,结果偏小。 \\
\mycircled{2}切线法:$ \sqrt[3]{a}\approx k+\dfrac{a-k^3}{3k^2}=\dfrac{1}{3}\left(2k+\dfrac{a}{k^2}\right) $,结果偏大。\\
\mycircled{3}将切线法迭代使用。定义数列$ \{a_n\} $,令$\ a_1=k,\ a_{n+1}=\dfrac{1}{3}\left(2a_n+\dfrac{a}{a_n^2}\right) $,
那么该数列的不动点是$ \sqrt[3]{a} $,函数$ y=\dfrac{1}{3}\left(2x+\dfrac{a}{x^2}\right) $的极小值点
\footnote{考虑函数$ g(x)=Ax+\dfrac{B}{x^2}\ (A,B>0) $,其不动点是
$ \sqrt[3]{\dfrac{B}{1-A}} $,只要让$ \sqrt[3]{\dfrac{B}{1-A}}=\sqrt[3]{a} $,
那么迭代数列$ a_{n+1}=g(a_n)=Aa_n+\dfrac{B}{a_n^2} $就会收敛到$ \sqrt[3]{a} $.
为求其极小值点,利用三变量均值不等式,
$ Ax+\dfrac{B}{x^2}=\dfrac{1}{2}Ax+\dfrac{1}{2}Ax+\dfrac{B}{x^2}\geq
3\sqrt[3]{\dfrac{1}{2}Ax\cdot\dfrac{1}{2}Ax\cdot\dfrac{B}{x^2}}=3\sqrt[3]{
\dfrac{A^2B}{4}} $,当$ \dfrac{1}{2}Ax=\dfrac{B}{x^2},\ x=\sqrt[3]{
\dfrac{2B}{A}} $时,取得极小值。
如果让不动点与极小值点重合,那么迭代数列$ a_{n+1}=g(a_n) $的收敛速度是最快的。
令$ \sqrt[3]{\dfrac{B}{1-A}}=\sqrt[3]{\dfrac{2B}{A}}=\sqrt[3]{a} $,
那么$ A=\dfrac{2}{3},\ B=\dfrac{a}{3},\ g(x)=\dfrac{1}{3}\left(
2x+\dfrac{a}{x^2}\right) $,此时,$ g(x) $恰好与切线法的形式一致。
2011年上海春季高考的数列大题,
是用$ a_{n+1}=\dfrac{1}{2}\left(a_n+\sqrt{\dfrac{a}{a_n}}\right) $
来获得$ \sqrt[3]{a} $的近似值。}也恰好是$ x=\sqrt[3]{a} $.
%\mycircled{3}迭代法:$ a_{n+1}=Aa_n+\dfrac{B}{a_n^2} $,该数列的不动点是
%$ \sqrt[3]{\dfrac{B}{1-A}} $,极小值点\footnote{$ A>0,B>0 $,利用三变量均值不等式,
%$ Ax+\dfrac{B}{x^2}=\dfrac{1}{2}Ax+\dfrac{1}{2}Ax+\dfrac{B}{x^2}\geq
%3\sqrt[3]{\dfrac{1}{2}Ax\cdot\dfrac{1}{2}Ax\cdot\dfrac{B}{x^2}}=3\sqrt[3]{
%\dfrac{A^2B}{4}} $,当$ \dfrac{1}{2}Ax=\dfrac{B}{x^2},\ x=\sqrt[3]{
%\dfrac{2B}{A}} $时,取得极小值。}是$ \sqrt[3]{\dfrac{2B}{A}} $,同样地,
%让不动点恰好是它的极小值点,$ \sqrt[3]{\dfrac{B}{1-A}}=
%\sqrt[3]{\dfrac{2B}{A}}=\sqrt[3]{a} $,
%$ A=\dfrac{2}{3},B=\dfrac{a}{3} $,$ a_{n+1}=\dfrac{1}{3}\left(2a_n+
%\dfrac{a}{a_n^2}\right) $,$
%a_1=k,a_2=\dfrac{1}{3}\left(2k+\dfrac{a}{k^2}\right),\cdots $,与切线法一样。\\
%\myfootnote{\ \ 2011年上海春季高考的数列大题,是用$ a_{n+1}=\dfrac{1}{2}\left(a_n+
% \sqrt{\dfrac{a}{a_n}}\right) $来获得$ \sqrt[3]{a} $的近似值。}
\end{itemize}
\section{帕德逼近}
\begin{itemize}[leftmargin=\inteval{\myitemleftmargin}pt,itemsep=
\inteval{\myitemitempsep}pt,topsep=\inteval{\myitemtopsep}pt]
\item 帕德(Pade)逼近\footnote{可查阅Wolfram
MathWorld上的Pade Approximant条目。}:在某个$ x_0 $附近,
用有理函数(分子分母都是多项式)
\begin{gather*}
R_{m,n}(x)=\dfrac{a_mx^m+a_{m-1}x^{m-1}+\cdots+a_1x+a_0}
{b_nx^n+b_{n-1}x^{n-1}+\cdots+b_1x+b_0}
\end{gather*}
去逼近$ f(x) $,将$ R_{m,n}(x) $称为$ f(x) $的$ (m,n) $阶帕德逼近。
计算帕德逼近的系数有如下两种方法:\\
\textbf{方法一}(推荐)\ 先将$ f(x) $在$ x_0 $处展开成泰勒级数,
$ f(x)=c_0+c_1x+c_2x^2+\cdots $,然后
\begin{gather*}
c_0+c_1x+c_2x^2+\cdots=
\dfrac{a_mx^m+a_{m-1}x^{m-1}+\cdots+a_1x+a_0}
{b_nx^n+b_{n-1}x^{n-1}+\cdots+b_1x+b_0} \\
(c_0+c_1x+c_2x^2+\cdots)(b_0+b_1x+\cdots+b_nx^n)=
a_0+a_1x+\cdots+a_mx^m \\
c_0b_0+(c_0b_1+c_1b_0)x+(c_0b_2+c_1b_1+c_2b_0)x^2+\cdots
=a_0+a_1x+\cdots+a_mx^m
\end{gather*}
让左右两侧同次幂系数相等,即
\begin{align*}
\begin{cases}
c_0b_0=a_0 \\
c_0b_1+c_1b_0=a_1 \\
c_0b_2+c_1b_1+c_2b_0=a_2 \\
c_0b_3+c_1b_2+c_2b_1+c_3b_0=a_3 \\
c_0b_4+c_1b_3+c_2b_2+c_3b_1+c_4b_0=a_4 \\
\q\q \vdots
\end{cases}
\end{align*}
以上共有$ m+n+1 $个方程。
不妨假设$ b_0=1 $(举个例子,假设$ b_0\neq 0 $,那么
$ \dfrac{a_1x+a_0}{b_1x+b_0}=\dfrac{\frac{a_1}{b_0}x+
\frac{a_0}{b_0}}{\frac{b_1}{b_0}x+1} $,所以可以直接设$ b_0=1 $),
然后求解以上方程组即可。如果假设$ b_0=1 $后出现了不可能成立的方程组,
那就假设其它的未知系数为1,比如设$ b_1=1 $. \\
\textbf{方法二}(不推荐)\ 解如下方程组
\begin{align*}
\begin{cases}
f(x_0)=R_{m,n}(x_0) \\
f'(x_0)=R_{m,n}'(x_0) \\
f''(x_0)=R_{m,n}''(x_0) \\
f'''(x_0)=R_{m,n}'''(x_0) \\
\q\q\vdots \\
f^{(m+n)}(x_0)=R_{m,n}^{(m+n)}(x_0)
\end{cases}
\end{align*}
以上共有$ m+n+1 $个方程。
因为对$ R_{m,n}(x) $求导比较麻烦,所以不如方法一方便。
\item 以$ f(x)=\e^x $为例,计算在$ x=0 $处的$ (2,2) $阶帕德逼近。\\
\textbf{方法一}\ 设$ R_{2,2}(x)=\dfrac{a_0+a_1x+a_2x^2}{1+b_1x+b_2x^2} $,则
$ c_0=1 $,$ c_1=1 $,$ c_2=\dfrac{1}{2} $,
$ c_3=\dfrac{1}{6} $,$ c_4=\dfrac{1}{24}\cdots $,
\begin{gather*}
\begin{cases}
c_0=a_0 \\
c_0b_1+c_1=a_1 \\
c_0b_2+c_1b_1+c_2=a_2 \\
c_1b_2+c_2b_1+c_3=a_3=0 \\
c_2b_2+c_3b_1+c_4=a_4=0
\end{cases} \Rightarrow
\begin{cases}
1=a_0 \\
b_1+1=a_1 \\
b_2+b_1+\dfrac{1}{2}=a_2 \\
b_2+\dfrac{1}{2}b_1+\dfrac{1}{6}=0 \\
\dfrac{1}{2}b_2+\dfrac{1}{6}b_1+\dfrac{1}{24}=0
\end{cases}
\end{gather*}
解得,$ b_1=-\dfrac{1}{2},\ b_2=\dfrac{1}{12} $,$ a_0=1,\
a_1=\dfrac{1}{2},\ a_2=\dfrac{1}{12} $.所以,
\begin{gather*}
R_{2,2}(x)=\dfrac{1+\dfrac{1}{2}x+\dfrac{1}{12}x^2}{1
-\dfrac{1}{2}x+\dfrac{1}{12}x^2}=
\dfrac{12+6x+x^2}{12-6x+x^2}
\end{gather*}
方法二计算过于繁琐,在此略去。
\item 三个数学软件计算帕德逼近的语法
\begin{table}[!htbp]
%\vspace{-2mm}
\centering
\begin{tabular}{|r|l|}
\hline
MATLAB & syms x; pade(exp(x), x, 'Order', [2, 3]) \\ \hline
Maple & with(numapprox): pade(exp(x), x, [2, 3]) \\ \hline
Mathematica & PadeApproximant[Exp(x), \{x, 0, \{2, 3\}\}] \\ \hline
\end{tabular}
%\vspace{-3mm}
\end{table} \\
其中的[2, 3]或\{2, 3\}就是$ (m,n) $.
\item $ f(x)=\e^x $在$ x=0 $处的$ (0,0)\sim(3,3) $阶帕德逼近表。
\begin{table}[H]
%\vspace{-2mm}
\centering
\begin{tabular}{|c|c|c|c|c|}
\hline
\diagbox[width=3em,height=2.1em]{$ n $}{$ m $} & 0 & 1 & 2 & 3 \\
\hline
0 & $ \frac{1}{1} $ & $ \frac{x+1}{1} $ & $ \frac{x^2+2x+2}{2} $ & $ \frac{x^3+3x^2+6x+6}{6} $ \\ \hline
1 & $ \frac{1}{-x+1} $ & $ \frac{x+2}{-x+2} $ & $ \frac{x^2+4x+6}{-2x+6} $ & $ \frac{x^3+6x^2+18x+24}{-6x+24} $ \\ \hline
2 & $ \frac{2}{x^2-2x+2} $ & $ \frac{2x+6}{x^2-4x+6} $ & $ \frac{x^2+6x+12}{x^2-6x+12} $ & $ \frac{x^3+9x^2+36x+60}{3x^2-24x+60} $ \\ \hline
3 & $ \frac{6}{- x^3+3x^2-6x+6} $ & $ \frac{6x+24}{- x^3+6x^2-18x+24} $ & $ \frac{3x^2+24x+60}{- x^3+9x^2-36x+60} $ & $ \frac{x^3+12x^2+6x+120}{- x^3+12x^2-6x+120} $ \\ \hline
\end{tabular}
%\vspace{-2mm}
\end{table}
从表中可以看出$ n=0 $(分母为常数)时的帕德逼近就是泰勒级数。
表中关于主对角线对称(比如$ (2,0) $和$ (0,2) $)的函数有一个性质:
分子分母颠倒,把所有的$ x $换成$ -x $.
\item $ f(x)=\ln(x+1) $在$ x=0 $处的$ (1,0)\sim(3,3) $阶帕德逼近表。
%\renewcommand\arraystretch{1.5}
\begin{table}[H]
% \vspace{-2mm}
\centering
\begin{tabular}{|c|c|c|c|}
\hline
\diagbox[width=3em,height=2.1em]{$ n $}{$ m $} & 1 & 2 & 3 \\
\hline
0 & $ x $ & $ \frac{-x^2+2x}{2} $ &
$ \frac{2x^3-3x^2+6x}{6} $ \\ \hline
1 & $ \frac{2x}{x+2} $ & $ \frac{x^2+6x}{4x+6} $ &
$ \frac{-x^3+6x^2+24x}{18x+24} $ \\ \hline
2 & $ \frac{12x}{-x^2+6x+12} $ &
$ \frac{3x^2+6x}{x^2+6x+6} $ &
$ \frac{x^3+21x^2+30x}{9x^2+36x+30} $ \\ \hline
3 & $ \frac{24x}{x^3-2x^2+12x+24} $ &
$ \frac{57x^2+90x}{-x^3+21x^2+102x+90} $ &
$ \frac{11x^3+60x^2+60x}{3x^3+36x^2+90x+60} $ \\ \hline
\end{tabular}
% \vspace{-1mm}
\end{table}
\item $ f(x)=\cos x $在$ x=0 $处的
$ (0,0)\sim(4,4) $阶帕德逼近表。
\begin{table}[H]
% \vspace{-1mm}
\centering
\begin{tabular}{|c|c|c|c|}
\hline
\diagbox[width=3em,height=2.1em]{$ n $}{$ m $} & 0 & 2 & 4 \\
\hline
0 & $1$ & $\frac{-x^2+2}{2}$ & $\frac{x^4-12x^2+24}{24}$ \\ \hline
2 & $\frac{2}{x^2+2}$ & $\frac{-5x^2+12}{x^2+12}$ & $\frac{3x^4-56x^2+120}{4x^2+120}$ \\ \hline
4 & $\frac{24}{5x^4+12x^2+24}$ & $\frac{-244x^2+600}{3x^4+56x^2+600}$ & $\frac{313x^4-6900x^2+15120}{13x^4+660x^2+15120}$ \\ \hline
\end{tabular}
% \vspace{-1mm}
\end{table}
\noindent 因为$ \cos x $是偶函数,所以上表中没有出现$ x $的奇数次项。
\item $ f(x)=\sin x $在$ x=0 $处的$ (1,1)\sim(3,3) $阶帕德逼近表。
\begin{table}[H]
% \vspace{-2mm}
\centering
\begin{tabular}{|c|c|c|}
\hline
\diagbox[width=3em,height=2.1em]{$ n $}{$ m $} & 1 & 3 \\
\hline
1 & $x$ & $\frac{-x^3+6x}{6}$ \\ \hline
3 & $\frac{6x}{x^2+6}$ & $\frac{-7x^3+60x}{3x^2+60}$ \\ \hline
\end{tabular}
% \vspace{-2mm}
\end{table}
\noindent $ \sin x $是奇函数,表中的函数全部除以$ x $之后,
就没有$ x $的奇数次项了。
\item $ f(x)=\tan x $在$ x=0 $处的$ (1,1)\sim(3,3) $阶帕德逼近表。
\begin{table}[H]
% \vspace{-2mm}
\centering
\begin{tabular}{|c|c|c|}
\hline
\diagbox[width=3em,height=2.1em]{$ n $}{$ m $} & 1 & 3 \\
\hline
1 & $x$ & $\frac{x^3+3x}{3}$ \\ \hline
3 & $\frac{3x}{-x^2+3}$ & $\frac{x^3-15x}{6x^2-15}$ \\ \hline
\end{tabular}
% \vspace{-2mm}
\end{table}
\noindent $ \tan x $是奇函数,表中的函数全部除以$ x $之后,
就没有$ x $的奇数次项了。
\item 泰勒级数和帕德逼近的共同点是都是局部近似,离展开点$ x_0 $越近就越精确,当$ |x-x_0|\to+\infty $时,误差可能趋于无穷大。另外,在某些特殊的点,可能不存在泰勒级数和帕德逼近。比如$ f(x)=\sqrt{x} $在$ x_0=0 $处就不存在,因为此处的切线斜率为无穷大。任何正整数次幂函数在$ x_0=0 $处的切线斜率都不可能是无穷大,这意味着不存在泰勒级数。如果尝试计算泰勒级数,会发现$ f'(x_0),f''(x_0),f'''(x_0)\cdots $都趋于无穷大,确实写不出泰勒级数。而有理函数如果要实现切线斜率无穷大,就需要让分母趋于0,此时导数值和函数值都趋于无穷大,没法像$ f(x)=\sqrt{x} $那样让函数值有限而只让导数值趋于无穷大。
除了泰勒级数,还有其它类型的级数,比如洛朗(Laurent)级数,包含负整数次幂;比如皮瑟(Puiseux)级数,包含负数次幂项、分数次幂项和$ \ln x,\ln\ln x\cdots $.
\end{itemize}
\section{拉格朗日中值定理}
\begin{itemize}[leftmargin=\inteval{\myitemleftmargin}pt,itemsep=
\inteval{\myitemitempsep}pt,topsep=\inteval{\myitemtopsep}pt]
\item 如果函数$ f(x) $满足:
(1)在闭区间$ [x_1,x_2] $上连续;
(2)在开区间$ (x_1,x_2) $内可导。\\
那么至少存在一点$ \xi\in(x_1,x_2) $,使得$ f'(\xi)=\dfrac{f(x_2)-f(x_1)}{x_2-x_1} $.
(至少能作出一条和割线斜率相等的切线)。
%当$ f'(x) $在区间$ [x_1,x_2] $上递增时(注意不是$ f(x) $递增,此时$ f''(x)>0 $),
%有$ f'(x_1)<f'(\xi)<f'(x_2) $;$ f'(x) $递减时($ f''(x)<0 $),有
%$ f'(x_1)>f'(\xi)>f'(x_2) $.
\begin{figure}[h]
\centering
\includegraphics[width=0.4\linewidth]{拉格朗日中值定理主图}
\end{figure}
反比例函数$ y=\dfrac{1}{x} $在区间$ [-1,1] $内不连续($ x=0 $处不连续),
所以该函数不存在与过$ (-1,-1),(1,1) $两点的割线斜率相同的切线。
绝对值函数$ y=|x| $在\textbf{R}上连续,但在$ x=0 $处不可导,
所以该函数不存在与过$ (-1,1),(1,1) $两点的割线斜率相同的切线。
下面来分析为什么函数的凹凸性与二阶导数的正负有关。记
$ u=\lambda x_1+(1-\lambda)x_2,\ \lambda\in(0,1) $,假设$ \lambda f(x_1)+
(1-\lambda)f(x_2) >f(\lambda x_1+(1-\lambda)x_2)=f(u) $,那么:
\begin{align*}
\lambda f(x_1)+(1-\lambda)f(x_2) & >\left[ \lambda +(1-\lambda) \right] f(u) \\
(1-\lambda)\left[ f(x_2)-f(u)\right] &>\lambda \left[f(u)- f(x_1) \right] \\
\dfrac{f(x_2)-f(u)}{ \lambda } &> \dfrac{f(u) - f(x_1)}{1-\lambda} \\
\dfrac{f(x_2)-f(u)}{ \lambda (x_2-x_1)} &> \dfrac{f(u) - f(x_1)}{(1-\lambda)(x_2-x_1)}
\end{align*}
因为
\begin{align*}
u-x_1 =&\lambda x_1+(1-\lambda)x_2-x_1=(1- \lambda)(x_2-x_1) \\
x_2-u =&x_2-\lambda x_1-(1-\lambda)x_2=\lambda (x_2-x_1)
\end{align*}
所以:
\begin{align}\label{GeXianXieLv}
\dfrac{f(x_2)-f(u)}{ x_2-u} > \dfrac{f(u) - f(x_1)}{u-x_1}
\end{align}
(\ref{GeXianXieLv})式含义很明确,代表两条割线斜率的大小关系。
根据拉格朗日中值定理,存在$ \xi_1 \in (x_1,u),\xi_2 \in (u,x_2) $,使得
$ f'(\xi_1)=\dfrac{f(u) - f(x_1)}{u-x_1}, \ f'(\xi_2)=\dfrac{f(x_2)-f(u)}{ x_2-u} $,
于是(\ref{GeXianXieLv})式成为$ f'(\xi_2) > f'(\xi_1) $,由于$ x_1,x_2 $的任意性(并且两者可以任意接近),
$ \xi_1,\xi_2\ (\xi_1<\xi_2) $也具有一定的任意性。所以,$ f'(\xi_2) > f'(\xi_1) $
意味着$ f'(x) $单调递增,$ f''(x) > 0 $. \\
\\
\textbf{三角函数} \\
$ 0<x_1<\xi<x_2<\pi$,\ $ (\sin x)'=\cos x $在$ [0,\pi] $上递减,于是有
\begin{align*}
\cos x_1>\dfrac{\sin x_2 - \sin x_1}{x_2 -x_1}=\cos \xi>\cos x_2
\end{align*}
如果不使用中值定理,要证明上面的不等式成立,可以固定$ x_1 $,然后对$ x_2 $求导。
判断导数的正负号时,可以只看分子,不看分母,因为分母是一个平方式。\\
\\
\textbf{指数函数和对数函数} \\
$ (\e^x)'=\e^x $在\textbf{R}上递增;$ (\ln x)'=\dfrac{1}{x} $在$ (0,+\infty) $上递减。\\
$ u\neq 0 $时,$ \e^u>1+u $,令$ u=x_2-x_1>0 $,则$ \e^{x_2-x_1}-1>x_2-x_1 $,
$ \dfrac{\e^{x_2-x_1}-1}{x_2-x_1}>1 $,两边同乘$ \e^{x_1} $便得到下列不等式的左半部分。
利用$ \e^{-u}>1-u $,右半部分可类似证明。
\begin{align*}
\e^{x_1}<\dfrac{\e^{x_2}-\e^{x_1}}{x_2-x_1} = \e^{\xi} <\e^{x_2}
\end{align*}
因为$ u\neq 1 $时,$ \ln u<u-1 $,令$ u=\dfrac{x_2}{x_1},\ \ln\dfrac{x_2}{x_1}< \dfrac{x_2}{x_1}-1 $,这
就是下式的左半部分。利用$ \ln \dfrac{1}{u}<\dfrac{1}{u}-1 $,右半部分可类似证明。
\begin{align*}
\dfrac{1}{x_1}>\dfrac{\ln x_2-\ln x_1}{x_2-x_1}=\dfrac{1}{\xi} >\dfrac{1}{x_2}
\end{align*}
$ \e^x $与$ \ln x $互为反函数,两者的图像关于直线$ y=x $对称,请结合图像思考上面的不等式。\\
\\
\textbf{幂函数} \\
$ (x^{\alpha})'=\alpha x^{\alpha-1} $,当$ \alpha > 1 $时递增。
以下均认为 $ 0<x_1<\xi<x_2 $ \\
若$ m,n $均为整数且互质,
\begin{align*}
\dfrac{x_2^{\frac{n}{m}}-x_1^{\frac{n}{m}}}{x_2-x_1} =&\dfrac{\left(x_2^{\frac{1}{m}}
-x_1^{\frac{1}{m}}\right) \left( x_2^{\frac{n-1}{m}}+x_2^{\frac{n-2}{m}}x_1^{\frac{1}{m}}
+ \cdots +x_2^{\frac{1}{m}}x_1^{\frac{n-2}{m}}+x_1^{\frac{n-1}{m}}\right) }{\left(
x_2^{\frac{1}{m}} -x_1^{\frac{1}{m}} \right) \left(x_2^{\frac{m-1}{m}}+x_2^{\frac{m-2}{m}}
x_1^{\frac{1}{m}}+ \cdots +x_2^{\frac{1}{m}}x_1^{\frac{m-2}{m}}+x_1^{\frac{m-1}{m}} \right) } \\
=&\dfrac{x_2^{\frac{n-1}{m}}+x_2^{\frac{n-2}{m}}x_1^{\frac{1}{m}}+ \cdots
+x_2^{\frac{1}{m}}x_1^{\frac{n-2}{m}}+x_1^{\frac{n-1}{m}} }{x_2^{\frac{m-1}{m}}
+x_2^{\frac{m-2}{m}}x_1^{\frac{1}{m}}+\cdots +x_2^{\frac{1}{m}}x_1^{\frac{m-2}{m}}
+x_1^{\frac{m-1}{m}} }
\end{align*}
$ m=1,n $为大于1的正整数时,
\begin{align*}
nx_1^{n-1}<\dfrac{x_2^n-x_1^n}{x_2-x_1}=x_2^{n-1}+x_2^{n-2}x_1+\cdots +
x_2x_1^{n-1}+x_1^{n-1}=n\xi^{n-1} < nx_2^{n-1}
\end{align*}
$ \dfrac{n}{m}=\dfrac{1}{2} $时,
\begin{align*}
\dfrac{1}{2\sqrt{x_1}}>\dfrac{\sqrt{x_2}-\sqrt{x_1}}{x_2-x_1}=\dfrac{1}{\sqrt{x_2}+\sqrt{x_1}}
=\dfrac{1}{2\sqrt{\xi}}>\dfrac{1}{2\sqrt{x_2}}
\end{align*}
$ \dfrac{n}{m}=\dfrac{3}{2} $时,
\begin{align*}
\dfrac{3}{2}\sqrt{x_1}< \dfrac{x_2^{3/2}-x_1^{3/2}}{x_2-x_1}=
\dfrac{(\sqrt{x_2}-\sqrt{x_1})(x_2+\sqrt{x_2x_1}+x_1)}{x_2-x_1}=
\dfrac{x_2+\sqrt{x_2x_1}+x_1}{\sqrt{x_2}+\sqrt{x_1}} < \dfrac{3}{2}\sqrt{x_2}
\end{align*}
容易验证:$ \dfrac{3}{2}\sqrt{x_1}(\sqrt{x_2}+\sqrt{x_1})<x_2+\sqrt{x_2x_1}+x_1
<\dfrac{3}{2}\sqrt{x_2}(\sqrt{x_2}+\sqrt{x_1}) $.\\
$ \dfrac{n}{m}=-1 $时,
\begin{align*}
-\dfrac{1}{x_1^2}<\dfrac{\frac{1}{x_2}-\frac{1}{x_1}}{x_2-x_1}=-\dfrac{1}{x_1x_2}<
-\dfrac{1}{x_2^2}