forked from jamesfang8499/math3
-
Notifications
You must be signed in to change notification settings - Fork 0
/
7.tex
1802 lines (1478 loc) · 71.5 KB
/
7.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{正弦函数的图象和性质}
\subsection{正弦函数的图象}
我们知道正弦函数的定义域是$(-\infty, +\infty)$, 且它是个奇函数,故它的图象可在$x$轴的正、负方向无限延伸,且图象关于原点对称.
我们先用描点法作出它的图象,列出$x$由0到$2\pi$每隔$\frac{\pi}{6}$
取值的正弦值表如下:
\begin{center}
\begin{tabular}{c|ccccccc}
\hline
$x$ & 0& $\frac{\pi}{6}$& $\frac{\pi}{3}$& $\frac{\pi}{2}$& $\frac{2\pi}{3}$& $\frac{5\pi}{6}$& $\pi$\\
$\sin x$ & 0 & $\frac{1}{2}$ & $\frac{\sqrt{3}}{2}$ & 1 & $\frac{\sqrt{3}}{2}$ & $\frac{1}{2}$ & 0\\
\hline
$x$ && $\frac{7\pi}{6}$& $\frac{4\pi}{3}$& $\frac{3\pi}{2}$& $\frac{5\pi}{3}$& $\frac{11\pi}{6}$&$2\pi$\\
$\sin x$ && $-\frac{1}{2}$ & $-\frac{\sqrt{3}}{2}$ & $-1$ & $-\frac{\sqrt{3}}{2}$ & $-\frac{1}{2}$ & 0\\
\hline
\end{tabular}
\end{center}
把表内$x,y$的每一对值作为点的坐标,在直角坐标系内作出对应的点,将它们依次连结成平滑曲线,这条曲线就是$[0, 2\pi]$上正弦函数$y=\sin x$的图象(图7.1).
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, scale=1.3]
\draw[->](-1,0)--(7.5,0)node[right]{$x$};
\draw [->](0,-2)--(0,2)node[right]{$y$};
\draw[domain=-pi/6 :13*pi/6, samples=1000, very thick] plot(\x, {sin(\x r)});
\foreach \x in {-1,...,13}
{
\draw (\x/6*pi,0)--(\x/6*pi,.1);
\draw (\x/6*pi, {sin(\x/6*pi r)})[fill=black] circle(1pt);
}
\draw (0,1)--(.1,1);
\draw (0,-1)--(.1,-1);
\node at (0,1)[left]{1};
\node at (0,-1)[right]{$-1$};
\node at (-.2,.2){$O$};
\node at (-1/6*pi,0)[below]{$-\frac{\pi}{6}$};
\node at (1/6*pi,0)[below]{$\frac{\pi}{6}$};
\node at (2/6*pi,0)[above]{$\frac{\pi}{3}$};
\node at (3/6*pi,0)[below]{$\frac{\pi}{2}$};
\node at (4/6*pi,0)[above]{$\frac{2\pi}{3}$};
\node at (5/6*pi,0)[below]{$\frac{5\pi}{6}$};
\node at (6/6*pi,0)[above]{$\pi$};
\node at (7/6*pi,0)[above]{$\frac{7\pi}{6}$};
\node at (8/6*pi,0)[below]{$\frac{4\pi}{3}$};
\node at (9/6*pi,0)[above]{$\frac{3\pi}{2}$};
\node at (10/6*pi,0)[below]{$\frac{5\pi}{3}$};
\node at (11/6*pi,0)[above]{$\frac{11\pi}{6}$};
\node at (12/6*pi,0)[below]{$2\pi$};
\node at (13/6*pi,0)[below]{$\frac{13\pi}{6}$};
\end{tikzpicture}
\caption{}
\end{figure}
因为终边相同的角的三角函数值相等,所以正弦函数$y=\sin x$在区间$[2k\pi,2(k+1)\pi]\; (k=\pm1,\pm2,\pm3,\ldots)$上的图象,与它在$[0, 2\pi]$上的图象完全一样,因此,为了要作出整个定义域上的正弦函数的图象,我们只要把它在$[0, 2\pi]$上的图象向左或向右平移$2\pi,4\pi,\ldots$就可以得到$y=\sin x,\; x\in\mathbb{R}$的图象(图7.2).
正弦函数$y=\sin x$的图象叫做正弦曲线.
由上面描点法可以看出,要作出整个定义域上正弦函数的图象,关键要作出$[0, 2\pi]$上的正弦函数的图象,而要作出$[0, 2\pi]$上正弦函数图象,有五个关键点:$(0,0)$, $\left(\frac{\pi}{2},1\right)$, $(\pi,0)$, $\left(\frac{3\pi}{2},-1\right)$, $(2\pi,0)$就可以把图象基本确定了.
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, xscale=.5]
\draw[->](-9,0)--(15,0)node[right]{$x$};
\draw [->](0,-2)--(0,2)node[right]{$y$};
\draw[domain=-2.5*pi : pi*4.5, samples=2000, very thick] plot(\x, {sin(\x r)});
\foreach \x in {-4,-3,...,8}
{
\draw (\x/2*pi,0)--(\x/2*pi,0.1);
}
\node at (-2*pi,0)[above]{$-2\pi$};
\node at (-1.5*pi,0)[below]{$-\frac{3\pi}{2}$};
\node at (-1*pi,0)[above]{$-\pi$};
\node at (-.5*pi,0)[above]{$-\frac{\pi}{2}$};
\node at (.5*pi,0)[below]{$\frac{\pi}{2}$};
\node at (1*pi,0)[above]{$\pi$};
\node at (1.5*pi,0)[above]{$\frac{3\pi}{2}$};
\node at (2*pi,0)[below]{${2\pi}$};
\node at (2.5*pi,0)[below]{$\frac{5\pi}{2}$};
\node at (3*pi,0)[above]{$3\pi$};
\node at (3.5*pi,0)[above]{$\frac{7\pi}{2}$};
\node at (4*pi,0)[below]{$4\pi$};
\draw (0,1)--(.2,1);
\draw (0,-1)--(.2,-1);
\node at (0,1)[left]{1};
\node at (0,-1)[right]{$-1$};
\end{tikzpicture}
\caption{}
\end{figure}
因此,在精确度要求不太高时,我们常用“五点法”作出关于正弦函数在$[0, 2\pi]$上的图象.
\begin{example}
用五点法作出$y=1+\sin x,\quad x\in [0, 2\pi]$的图象.
\end{example}
\begin{solution}
列表
\begin{center}
\begin{tabular}{c|ccccc}
\hline
$x$ & 0 & $\frac{\pi}{2}$ & $\pi$ & $\frac{3\pi}{2}$ & $2\pi$ \\
\hline
$\sin x$ & 0 & 1 & 0 & $-1$ &0\\
$1+\sin x$ & 1 & 2 & 1 & 0 & 1\\
\hline
\end{tabular}
\end{center}
描点作图:(如图7.3)
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, scale=1.3]
\draw[->](-1,0)--(7.5,0)node[right]{$x$};
\draw [->](0,-.5)--(0,2.5)node[right]{$y$};
\draw[domain=0 :2*pi, samples=1000, very thick] plot(\x, {sin(\x r)+1});
\foreach \x in {1,...,4}
{
\draw (\x/2*pi,0)--(\x/2*pi,.1);
}
\node at (0,1)[left]{1};
\node at (0,2)[left]{$2$};
\draw (0,1)--(.1,1);
\draw (0,2)--(.1,2);
\node at (-.2,-.2){$O$};
\node at (1/2*pi,0)[below]{$\frac{\pi}{2}$};
\node at (pi,0)[below]{$\pi$};
\node at (3/2*pi,0)[below]{$\frac{3\pi}{2}$};
\node at (2*pi,0)[below]{$2\pi$};
\node at (3,1.5)[right]{$y=1+\sin x,\quad x\in [0,2\pi]$};
\end{tikzpicture}
\caption{}
\end{figure}
\end{solution}
我们也可以用几何法作出$[0, 2\pi]$上正弦函数的图象.如图7.4所示,在$O-x$轴的负半轴上任意取一点,以这点为圆心,单位长为半径作圆,从这个圆的右半圆和$O-x$轴的交点$P_0$量起,把这个圆分成12等份,并在$O-x$轴上,从原点起向右取长等于$2\pi$(即单位圆的周长)的一段,也分成12等份,过圆上的各个分点,分别向$Ox$轴作垂线,便得到各分点上的纵坐标,显然,这些点的纵坐标就是对应各角(数)的正弦值,因此过各分点作平行于$O-x$轴的直线,它们分别与由$O-x$轴上各个对应点处所作$Ox$轴的垂线相交,这些交点就是$y=\sin x$图象上的点.把这些点依次连结成平滑的曲线,就得到正弦函数$y=\sin x$在$[0, 2\pi]$区间上的图象.
如果把曲线在$[0, 2\pi]$间的一段,沿着$Ox$轴向左、右连续移动,每次移动$2\pi$个单位,就可以得到如图7.2所示的连续不断的正弦曲线.
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex,scale=1.1]
\draw[->] (-4,0)--(7,0)node[right]{$x$};
\draw [->](0,-2)--(0,2)node[right]{$y$};
\draw (-2.5,0) circle (1);
\draw[domain=0 : pi*2, samples=1000, very thick] plot(\x, {sin(\x r)});
\foreach \x in {1,2,...,11}
{
\draw (\x*pi/6,1.5)node[above]{\x}--(\x*pi/6,-1.5);
}
\foreach \x in {1,2,...,5}
{
\draw (-2.5,0)--+ (\x*30:1)node[above]{\x};
}
\foreach \x in {7,8,...,11}
{
\draw (-2.5,0)--+ (\x*30:1)node[below]{\x};
}
\draw (-2.5+.5, .5*1.732)--(-2.5+.5, -.5*1.732);
\draw (-2.5-.5, .5*1.732)--(-2.5-.5, -.5*1.732);
\draw (-2.5-.5*1.732, .5)--(-2.5-.5*1.732, -.5);
\draw (-2.5+.5*1.732, .5)--(-2.5+.5*1.732, -.5);
\draw [dashed] (-2.5-.5, .5*1.732)--(2*pi/3, .5*1.732);
\draw [dashed] (-2.5-.5*1.732, .5)--(5*pi/6, .5);
\draw [dashed] (-2.5-.5, -.5*1.732)--(5*pi/3, -.5*1.732);
\draw [dashed] (-2.5-.5*1.732, -.5)--(11*pi/6, -.5);
\draw[dashed] (-2.5, 1)--(pi/2, 1);
\draw [dashed](-2.5, -1)--(1.5*pi, -1);
\node at (-1*pi/6,-1.8){$-\frac{\pi}{6}$};
\node at (13*pi/6,-1.8){$\frac{13\pi}{6}$};
\node at (1*pi/6,-1.8){$\frac{\pi}{6}$};
\node at (2*pi/6,-1.8){$\frac{\pi}{3}$};
\node at (3*pi/6,-1.8){$\frac{\pi}{2}$};
\node at (4*pi/6,-1.8){$\frac{2\pi}{3}$};
\node at (5*pi/6,-1.8){$\frac{5\pi}{6}$};
\node at (6*pi/6,-1.8){$\pi$};
\node at (7*pi/6,-1.8){$\frac{7\pi}{6}$};
\node at (8*pi/6,-1.8){$\frac{4\pi}{3}$};
\node at (9*pi/6,-1.8){$\frac{3\pi}{2}$};
\node at (10*pi/6,-1.8){$\frac{5\pi}{3}$};
\node at (11*pi/6,-1.8){$\frac{11\pi}{6}$};
\node at (12*pi/6,-1.8){$2\pi$};
\draw (-pi/6,1.5)node[above]{11}--(-pi/6,-1.5);
\draw (2*pi,1.5)node[above]{0}--(2*pi,-1.5);
\draw (13*pi/6,1.5)node[above]{1}--(13*pi/6,-1.5);
\draw[domain=-pi/6: 0, samples=100, very thick, dashed] plot(\x, {sin(\x r)});
\draw[domain=pi*2:13*pi/6, samples=100, very thick, dashed] plot(\x, {sin(\x r)});
\node at (-1.4, 0)[below]{0};
\node at (-3.6, 0)[below]{6};
\node at (.2,-.2){$O$};
\end{tikzpicture}
\caption{}
\end{figure}
\begin{ex}
\begin{enumerate}
\item 作$y=|\sin x|,\quad x\in\mathbb{R}$的图象.
\item 用“五点法”作出下列各函数的图象($0\le x\le 2\pi$), 并且和$y=\sin x$的图象比较,说明这些图象 和$y=\sin x$的图象的区别.
\begin{enumerate}
\item $y=\sin x-1$
\item $y=1-\sin x$
\item $y=2\sin x$
\end{enumerate}
\end{enumerate}
\end{ex}
\subsection{正弦函数的主要性质}
由上一章的讨论和正弦函数图象,我们可以得到正弦函数$y=\sin x$的主要性质如下:
\begin{enumerate}
\item 定义域\quad 正弦函数的定义域是一切实数,也就是说,当自变量$x$取任何实数值时,正弦函数$y$都有唯一确定的值与之对应,从图象上看曲线随着$x$轴连续不断地无限延伸.
\item 值域\quad 由图7.2看出,曲线上点的纵坐标最小是-1,最大是1,正弦函数值是在$-1$与$+1$之间,这说明正
弦函数的值域是闭区间$[-1, 1]$, 或$|\sin x|\le 1$.
\item 奇偶性\quad 正弦函数是奇函数,因此,正弦曲线关于原点对称.
\item 函数的符号\quad 终边落在$x$轴的上半平面时,正弦函数为正;落在轴的下半平面时,正弦函数为负.也就是说,在区间$(0,\pi)$内,$\sin x>0$. 一般地,当$2k\pi <x<(2k+1)\pi$时($k\in\mathbb{Z}$),$\sin x>0$.在区间$(\pi,2\pi)$内,$\sin x<0$. 一般地,当$(2k+1)\pi<x<2(k+1)\pi$时,$\sin x<0$.这反映在图象上,在区间$(2k\pi, (2k+1)\pi),\;\; k=0,\pm1,\pm2,\ldots$上,曲线在$x$轴的上方;在区间$((2k+1)\pi, 2(k+1)\pi),\;\; k=0,\pm1,\pm2,\ldots$上,曲线在$x$轴下方.
当横坐标$x=0$, $x=\pi$和$x=2\pi$时,正弦函数值为零.一般地,当$x=k\pi\; (k\in \mathbb{Z})$时,$\sin x=0$, 这时曲线与$x$轴相交.
\item 增减性\quad 由正弦曲线容易看出,随着$x$增加正弦函数在区间$\left(-\frac{\pi}{2},\frac{\pi}{2}\right)$内是递增的;在区间$\left(-\frac{\pi}{2},\frac{3\pi}{2}\right)$内是递减的.一般的情况是$\sin x$在区间$\left(-\frac{\pi}{2}+2k\pi,\frac{\pi}{2}+2k\pi\right)$内是递增的,在区间$\left(\frac{\pi}{2}+2k\pi,\frac{\pi}{2}+(2k+1)\pi\right)$内是递减的,这里$k\in \mathbb{Z}$.
由$\sin x$的增减性看出,在$x=\frac{\pi}{2}$一处,正弦函数由递增变为递减,因此在$x=\frac{\pi}{2}$处,$\sin x$取得极大值1. 一般地,当$x=\frac{\pi}{2}+2k\pi\;\; (k\in\mathbb{Z})$时,$\sin x=1$是极大值.同时还看
出,在$x=\frac{3\pi}{2}$处,正弦函数由递减变为递增,因此在
$x=\frac{3\pi}{2}$处,$\sin x$取得极小值$-1$, 一般地,当
$x=\frac{3\pi}{2}+2k\pi\;\; (k\in\mathbb{Z})$
时,$\sin x=-1$是极小值.
\item 周期性\quad 当横坐标$x$每隔$2\pi$ 时,曲线重复出现,也就是说,正弦曲线上任何一点的横坐标加上或减去$2\pi$ 时,对应的纵坐标相等,即
\[\sin(x\pm 2\pi)=\sin x\]
一般地:
\[\sin(x+2k\pi)=\sin x\quad (k\in\mathbb{Z})\]
从上面的公式知道正弦函数是周期函数,它的周期有无穷多个,即$2\pi$ 的整数倍,但是我们所关心的是最小正周期.
下面我们来研究一般的周期函数的定义,并证明正弦函数的最小正周期是$2\pi$.
\end{enumerate}
\begin{blk}{定义}
设有$x$的函数$f(x)$, 若存在不等于0的一个常
数$p$, 使对于函数定义域中的任何实数$x$, 等式
\begin{equation}
f (x) =f (x+p)
\end{equation}
成立,则称$f(x)$是周期函数,常数$p$叫做函数$f(x)$的一个周期.
\end{blk}
下面我们来说明,任何周期函数一定有正周期.
在等式(7.1)中,以$x-p$替换$x$, 就得到
\[f (x-p) =f (x)\]
因此有$f (x) =f (x\pm p)$.这也就是说,$\pm p$都是函数$f(x)$的周期,故$f(x)$必有正周期.
函数$f(x)$的最小正周期应满足:
\begin{enumerate}
\item $p>0$;
\item 对于任意实数$x$, 正数$p$须使$f(x+p)=f(x)$成立;
\item $p$为满足1、2的最小正数.
\end{enumerate}
下面我们来证明$\sin x$的最小正周期等于$2\pi$.
在恒等式 $\sin(x+p)=\sin x$ 中,令$x=0$, 得到$\sin p=0$,
在单位圆上,弧的始点为$(1, 0)$, 而弧长分别等于0和$\pi$的这两个弧的端点$P_0,P_{\pi}$的纵坐标等于0, 又和这两个点对应的最小正数分别是$2\pi$和$\pi$.在这两个数中,$\pi$显然不能是周期,因为,$\sin\frac{\pi}{2}=1$,但$\sin\left(\frac{\pi}{2}+\pi\right)=-1$
,因此最小
正周期只可能是$2\pi$, 由于$\sin(x+2\pi)=\sin x$, 对于任何数$x$都成立,所以$\sin x$的最小正周期等于$2\pi$.
\begin{example}
求下列函数的最小正周期:
\begin{multicols}{2}
\begin{enumerate}
\item $y=\sin2x $
\item $y=2\sin\left(4x-\frac{\pi}{6}\right)$
\end{enumerate}
\end{multicols}
\end{example}
\begin{solution}
\begin{enumerate}
\item
因为 $\sin2x =\sin(2x+2\pi)=\sin 2(x+\pi), \;\; (x\in\mathbb{R})$, 即当自变量$x$改变成$x+\pi$时,函数值不变,所以$y=\sin2x$的周期$T=\pi$.
为证明$\pi$是$\sin2x$的最小正周期,我们用反证法.假设$y=\sin2x$还有一个比$\pi$小的正周期$T'$, 即$0<T'<\pi$,根据周期$T'$的定义,我们有
\[\sin2 (x+T') =\sin2x\]
即
$$\sin (2x+2T') =\sin2x$$
令$x=0$, 代入上式得$\sin 2T'=0$,
依不等式$0<T'<\pi$,从而$0<2T'<2\pi$,得到$2T'=\pi$
即
\[T'=\frac{\pi}{2}\]
今验知,$\sin2\left(x+\frac{\pi}{2}\right)=\sin(2x+\pi)=-\sin2x$. 故$T'$不是$y=\sin2x$的周期,因此得到矛盾.这就是说 $\sin 2x$的最小正周期是$\pi$.
\item 由于:
\[\begin{split}
2\sin\left(4x-\frac{\pi}{6}\right)&=2\sin\left(4x-\frac{\pi}{6}+2\pi\right)\\
&=2\sin\left[4\left(x+\frac{\pi}{2}\right)-\frac{\pi}{6}\right]\quad (x\in\mathbb{R})
\end{split}\]
即当自变量$x$改变成$x+\frac{\pi}{2}$时,函数值不变,所以$y=
2\sin\left(4x-\frac{\pi}{8}\right)$的周期$T=\frac{\pi}{2}$. 再证$T=\frac{\pi}{2}$是$y=2\sin\left(4x-\frac{\pi}{8}\right)$的最小正周期.
假设$y=2\sin\left(4x-\frac{\pi}{8}\right)$还有一个比$\frac{\pi}{2}$小的正周期
$T'$,即$0<T'<\frac{\pi}{2}$,
从而得到
\begin{equation}
0<4T'<2\pi
\end{equation}
根据周期$T'$的定义,我们有
\begin{equation}
2\sin \left[4(x+T')-\frac{\pi}{6}\right]=2\sin \left(4x-\frac{\pi}{6}\right)
\end{equation}
即
\begin{equation}
2\sin \left[\left(4x-\frac{\pi}{6}\right)+4T'\right]=2\sin \left(4x-\frac{\pi}{6}\right)
\end{equation}
令 $4x-\frac{\pi}{6}=0$, 即$x=\frac{\pi}{24}$, 代入(7.4), 得
$$2\sin 4T'=0$$
依不等式(7.2),$4T'$的值只能是$\pi$,即$T'=\frac{\pi}{4}$.今验证知
\[2\sin\left[4\left(x+\frac{\pi}{4}\right)-\frac{\pi}{6}\right]=2\sin \left(4x+\pi-\frac{\pi}{6}\right)=-2\sin\left(4x-\frac{\pi}{6}\right)\]
故$T'=\frac{\pi}{4}$不是$2\sin\left(4x-\frac{\pi}{6}\right)$的周期,因此得到矛盾.这就证明了$y=2\sin\left(4x-\frac{\pi}{6}\right)$的最小正周期是$\frac{\pi}{2}$.
\end{enumerate}
\end{solution}
一般地,对于函数$y=A\sin(\omega x+\varphi)$ ($\omega,\varphi$为常数,且$\omega\ne 0$, $x\in\mathbb{R}$),由于
\[\begin{split}
A\sin(\omega x+\varphi)&=A\sin(\omega x+\varphi+2\pi)\\
&=A\sin\left[\omega\left(x+\frac{2\pi}{\omega}\right)+\varphi\right]
\end{split}\]
故$\frac{2\pi}{|\omega|}$是$y=A\sin(\omega x+\varphi)$的一个正周期,它只与自变量的系数有关,而与$A,\varphi$无关.用上面同样的方法可以证明$\frac{2\pi}{|\omega|}$是$y=A\sin(\omega x+\varphi)$的最小正周期(证明留给读者去完成).
\begin{example}
不求值决定下列各差的符号:
\begin{enumerate}
\item $\sin 20^{\circ}12'-\sin20^{\circ}13'$
\item $\sin\left(-\frac{\pi}{18}\right)-\sin\left(-\frac{\pi}{10}\right)$
\item $ \sin1605^{\circ}-\sin1657^{\circ}$
\end{enumerate}
\end{example}
\begin{solution}
\begin{enumerate}
\item 正弦函数在第一象限是增函数,
$\therefore\quad \sin 20^{\circ}12'<\sin20^{\circ}13'$
即
\[\sin 20^{\circ}12'-\sin20^{\circ}13'<0\]
\item $\because\quad -\frac{\pi}{2}<-\frac{\pi}{10}<-\frac{\pi}{18}<\frac{\pi}{2}$
正弦函数$y=\sin x$在$-\frac{\pi}{2}<x<\frac{\pi}{2}$上是增函数
$\therefore\quad \sin\left(-\frac{\pi}{10}\right)<\sin\left(-\frac{\pi}{18}\right)$
即
\[\sin\left(-\frac{\pi}{18}\right)-\sin\left(-\frac{\pi}{10}\right)>0\]
\item $\because\quad \sin 1605^{\circ}=\sin 165^{\circ},\qquad \sin 1657^{\circ}=\sin 217^{\circ}$
又$\because\quad 90^{\circ}<165^{\circ}<217^{\circ}<270^{\circ}$,正弦函数$y=\sin x$在$90^{\circ}<x<270^{\circ}$上是减函数.
$\therefore\quad \sin 165^{\circ}>\sin 217^{\circ}$,即
\[\sin 1605^{\circ}-\sin 1657^{\circ}>0\]
\end{enumerate}
\end{solution}
\begin{example}
求证定圆的外切菱形中以正方形的面积最小.
\end{example}
\begin{solution}
如图7.5, 设定圆$O$的半径为$r$, 它的外切菱形中的$\angle A=\theta$, 由于对边切点连线必过圆心,故外切菱形的高等于$2r$, 外切菱形的边长为$\frac{2r}{\sin\theta}$.
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex]
\draw (-4,0)node[left]{$A$}--(0,2)node[above]{$D$}--(4,0)node[right]{$C$}--(0,-2)node[below]{$B$}--(-4,0) ;
\draw (-4,0)--(4,0);
\draw (0,0) circle (1.78);
\draw (.8,1.6)--(-.8,-1.6);
\draw (0,2)--(-1.6,-1.2);
\node at (.2,-.2){$O$};
\draw[->](-3.5,0) arc (0:28:.5);
\draw[->](-3.5,0) arc (0:-28:.5);
\node at (-3.2,0.2){$\theta$};
\end{tikzpicture}
\caption{}
\end{figure}
于是,菱形面积$S=2r\cdot \frac{2r}{\sin\theta}$,当$\sin\theta=1$时,菱形面积$S$最小,这时$\theta=90^{\circ}\;\;(0^{\circ}<0<180^{\circ})$.
因此,定圆的外切菱形中以正方形的面积最小.
\end{solution}
\begin{example}
求函数$y=\left(\sin x-\frac{1}{2}\right)^2+2$的最大值和最小值,
并求取最大值或最小值时的$x$值.
\end{example}
\begin{solution}
把$y$看作$\sin x$的二次函数,这样问题变成求闭区间$-1\le \sin x\le 1$上的$y$的最大值和最小值.也就是要把开区间$(-1, 1)$内的极值和两端点处的函数值作比较.
\begin{enumerate}
\item 当$\sin x=-1$时,$y=\left(-1-\frac{1}{2}\right)^2+2=4\frac{1}{4}$
\item 当$\sin x=1$时,$y=\left(1-\frac{1}{2}\right)^2+2=2\frac{1}{4}$
\item 当$\sin x=\frac{1}{2}$时,极小值$y=2$, 这是函数在$(-1, 1)$中的唯一极值点.
\end{enumerate}
因此,
\begin{enumerate}
\item 当$\sin x=-1$, 即$x=-\frac{\pi}{2}+2k\pi\quad (k\in\mathbb{Z})$时,
最大值$y=4\frac{1}{4}$;
\item 当$\sin x=\frac{1}{2}$,即$x=\frac{\pi}{6}+2k\pi$或$\frac{5\pi}{6}+2k\pi \quad (k\in\mathbb{Z})$时,
最小值$y=2$.
\end{enumerate}
\end{solution}
\section*{习题7.1}
\addcontentsline{toc}{subsection}{习题7.1}
\begin{enumerate}
\item 比较下列各组中两个三角函数值的大小(不求值):
\begin{enumerate}
\item $\sin250^{\circ}$和$\sin260^{\circ}$
\item $\sin\left(-\frac{54}{7}\pi\right)$和$\sin\left(-\frac{63}{8}\pi\right)$
\item $\sin380^{\circ}$和 $\sin480^{\circ}$
\end{enumerate}
\item 说出下列各函数的最小正周期:
\begin{multicols}{2}
\begin{enumerate}
\item $y=\sin 3x$
\item $y=\sin\frac{x}{2}$
\item $y=\sin \left(x+\frac{\pi}{3}\right)$
\item $y=\cos \left(2 x-\frac{\pi}{6}\right)$
\item $y=3 \sin \left(\frac{x}{3}+\frac{\pi}{4}\right)$
\item $y=3 \sin \left(\pi x+\frac{\pi}{3}\right)+1$
\end{enumerate}
\end{multicols}
\item 求下列函数的最大值和最小值,又在何时有最大值
或最小值:
\begin{multicols}{2}
\begin{enumerate}
\item $y=|\sin x|$
\item $y=1+\sin x$
\item $y=1+5 \sin ^{2} x$
\item $y=\frac{1}{1-\sin x}$
\item $y=\left(\sin x-\frac{3}{2}\right)^{2}-2 $
\item $y=2-\left(\sin x-\frac{\sqrt{3}}{2}\right)^{2}$
\end{enumerate}
\end{multicols}
\item 求证等腰三角形中,若腰长一定则等腰直角三角形
的面积最大.
\item $y=|\sin x|$是周期函
数吗?如果是,说出它的最小正周期.
\item 作$y=\sin|x|$的图象,试从它的图象说明函数$y=\sin|x|$不是周期函数:
\item 利用单位圆,容易看出$\sin x<\frac{1}{2}$的解的范围,如下图所示.
\[\frac{5\pi}{6}+2k\pi<x<\frac{\pi}{6}+2(k+1)\pi\]
\begin{center}
\begin{tikzpicture}[>=latex, scale=1.5]
\draw [thick] (0,0) circle (1);
\draw[->] (-1.5,0)--(2,0)node[right]{$x$};
\draw[->] (0,-1.5)--(0,2)node[right]{$y$};
\draw (1.732/2,.5)--(-1.732/2,.5);
\node at (0,.55)[right]{$(0,\tfrac{1}{2})$};
\foreach \x in {15,30,150,165}
{
\draw (0,0)--(\x:1);
}
\foreach \x in {198,216,...,342}
{
\draw (0,0)--(\x:1);
}
\node at (30:1)[right]{$P_{\tfrac{\pi}{6}}$};
\node at (150:1)[left]{$P_{\tfrac{5\pi}{6}}$};
\end{tikzpicture}
\end{center}
用同样的方法解下面不等式:
\[\sin 2x>\frac{1}{2},\qquad \sin 3x\ge -\frac{\sqrt{2}}{2}\]
\end{enumerate}
\section{余弦函数的图象和性质}
\subsection{余弦函数的图象}
我们知道余弦函数的定义域是$(-\infty,+\infty)$, 它是个偶函数,故它的图象向$x$轴的正负方向无限延伸,图象关于$y$轴对称.
我们从第五章中知道,函数$f(x+\ell)$的图象是由函数$f(x)$的图象向左、右平移$|\ell|$个单位得到,当$\ell>0$时,向左平移1个单位,当$\ell<0$时,向右平移$|\ell|$个单位.
在上一章我们又知道,$\cos x=\sin\left(\frac{\pi}{2}+x\right)$,
故$y=\cos x$的
图象就是$y=\sin\left(x+\frac{\pi}{2}\right)$的图象,而正弦型函数$y=\sin\left(x+\frac{\pi}{2}\right)$的图象恰是正弦函数$y=\sin x$的图象向左
平移$\frac{\pi}{2}$个单位得到,这就是说,我们只须把正弦曲线
$y=\sin x$沿着$x$轴向左平移$\frac{\pi}{2}$个单位就得到余弦函数$y=\cos x$
的图象.如图7.6所示.
\begin{figure}[htp]
\centering
\begin{tikzpicture}[scale=1.3, >=latex]
\draw[->] (-2,0)--(7,0)node[right]{$x$};
\draw [->](0,-1.5)--(0,2)node[right]{$y$};
\draw[domain=0 : pi*2, samples=1000, very thick, dashed] plot(\x, {sin(\x r)});
\draw[domain=-0.5*pi : pi*1.75, samples=1000, very thick] plot(\x, {cos(\x r)});
\foreach \x in {-3,-2,...,12}
{
\draw (\x*pi/6, 0)--(\x*pi/6, .1);
}
\node at (-1,1){$y=\cos x$}; \node at (3,1){$y=\sin x$};
\node at (-3*pi/6, 0)[below]{$-\frac{\pi}{2}$};
\node at (-2*pi/6, 0)[below]{$-\frac{\pi}{3}$};
\node at (-1*pi/6, 0)[below]{$-\frac{\pi}{6}$};
\node at (1*pi/6, 0)[below]{$\frac{\pi}{6}$};
\node at (2*pi/6, 0)[below]{$\frac{\pi}{3}$};
\node at (3*pi/6, 0)[below]{$\frac{\pi}{2}$};
\node at (4*pi/6, 0)[below]{$\frac{2\pi}{3}$};
\node at (5*pi/6, 0)[below]{$\frac{5\pi}{6}$};
\node at (6*pi/6, 0)[below]{$\pi$};
\node at (7*pi/6, 0)[below]{$\frac{7\pi}{6}$};
\node at (8*pi/6, 0)[below]{$\frac{4\pi}{3}$};
\node at (9*pi/6, 0)[below]{$\frac{3\pi}{2}$};
\node at (10*pi/6, 0)[below]{$\frac{5\pi}{3}$};
\node at (11*pi/6, 0)[below]{$\frac{11\pi}{6}$};
\node at (12*pi/6, 0)[below]{$2\pi$};
\node at (.15,-.15){$O$};
\end{tikzpicture}
\caption{}
\end{figure}
当然,也可以用描点法来作余弦函数的图象.根据上面所说的我们可以借助第一节中的正弦函数值表,将自变数$x$的取值分别减去$\frac{\pi}{2}$
而对应的$y$值仍不变就能够得到余弦函数
值表.
把表内$x$、$y$的每一对值作为点的坐标,在直角坐标系内作出对应的点,将它们依次连结成平滑曲线,这样就得到余弦函数在$\left[\frac{\pi}{2},\frac{3\pi}{2}\right]$上的图象.如果把曲线$\left[\frac{\pi}{2},\frac{3\pi}{2}\right]$
上的一段,沿着$x$轴向左、右推移,每次移动$2\pi$个单
位,就可以得到连续不断的余弦函数的图象(图7.7).
\begin{center}
\begin{tabular}{c|ccccccc}
\hline
$x$ & $-\frac{\pi}{2}$& $-\frac{\pi}{3}$& $-\frac{\pi}{6}$& 0 & $\frac{\pi}{6}$& $\frac{\pi}{3}$& $\frac{\pi}{2}$\\
$y=\cos x$ & 0 & $\frac{1}{2}$ & $\frac{\sqrt{3}}{2}$ & 1 & $\frac{\sqrt{3}}{2}$ & $\frac{1}{2}$ & 0\\
\hline
$x$ && $\frac{2\pi}{3}$& $\frac{5\pi}{6}$& $\pi$& $\frac{7\pi}{6}$& $\frac{4\pi}{3}$&$\frac{3\pi}{2}$\\
$y=\cos x$ && $-\frac{1}{2}$ & $-\frac{\sqrt{3}}{2}$ & $-1$ & $-\frac{\sqrt{3}}{2}$ & $-\frac{1}{2}$ & 0\\
\hline
\end{tabular}
\end{center}
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, xscale=.6]
\draw[->](-10,0)--(11,0)node[right]{$x$};
\draw [->](0,-1.5)--(0,2)node[right]{$y$};
\draw[domain=-3*pi :3*pi, samples=2000, very thick] plot(\x, {cos(\x r)});
\foreach \x in {-3,-2.5,...,3}
{
\draw (\x*pi,0)--(\x*pi,.1);
}
\foreach \x in {1,-1}
{
\draw (0,\x)node[left]{$\x$}--(.2,\x);
}
\node at (-.2,-.2){$O$};
\node at (-2.5*pi,0)[above]{$-\frac{5\pi}{2}$};
\node at (-.5*pi,0)[above]{$-\frac{\pi}{2}$};
\node at (2.5*pi,0)[above]{$\frac{5\pi}{2}$};
\node at (-1.5*pi,0)[below]{$-\frac{3\pi}{2}$};
\node at (.5*pi,0)[below]{$\frac{\pi}{2}$};
\node at (1.5*pi,0)[below]{$\frac{3\pi}{2}$};
\node at (3,1.5)[right]{$y=\cos x,\quad x\in \mathbb{R}$};
\end{tikzpicture}
\caption{}
\end{figure}
余弦函数$y=\cos x$的图象叫做余弦曲线.
如作正弦函数的图象那样,只要把$\left(-\frac{\pi}{2},0\right)$、$(0, 1)$、$\left(\frac{\pi}{2},0\right)$、$(\pi,-1)$、$\left(\frac{3\pi}{2},0\right)$这五个点作出后,余弦函数$y=\cos x,\;\; x\in\left[-\frac{\pi}{2},\frac{3\pi}{2}\right]$的图象就基本确定了.因此,
在精确度要求不太高的情况下,也可用“五点法”作出关于余弦函数的图象.
\begin{example}
用“五点法”作出$y=-\cos x,\;\; x\in[0,2\pi]$ 的图象.
\end{example}
\begin{solution}
列表并作图(如图7.8所示)
\begin{center}
\begin{tabular}{cccccc}
\hline
$x$ &0&$\frac{\pi}{2}$&$\pi$&$\frac{3\pi}{2}$&$2\pi$\\
\hline
$\cos x$&1&0&$-1$&0&1\\
$-\cos x$&$-1$&0&1&0&$-1$\\
\hline
\end{tabular}
\end{center}
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, xscale=1]
\draw[->](-1,0)--(7.5,0)node[right]{$x$};
\draw [->](0,-1.5)--(0,2)node[right]{$y$};
\draw[domain=0:2*pi, samples=1000, very thick] plot(\x, {-cos(\x r)});
\foreach \x in {1,2,...,4}
{
\draw (\x*pi/2,0)--(\x*pi/2,.1);
}
\foreach \x in {1,-1}
{
\draw (0,\x)node[left]{$\x$}--(.2,\x);
}
\node at (-.2,-.2){$O$};
\node at (.5*pi,0)[below]{$\frac{\pi}{2}$};
\node at (1*pi,0)[below]{$\pi$};
\node at (1.5*pi,0)[below]{$\frac{3\pi}{2}$};
\node at (2*pi,0)[below]{$2\pi$};
\node at (3,-1.5){$y=-\cos x,\quad x\in [0,2\pi]$};
\end{tikzpicture}
\caption{}
\end{figure}
\end{solution}
\subsection{余弦函数的主要性质}
由上一章的讨论和余弦函数图象,我们可以得到余弦函数$y=\cos x$的主要性质如下:
\begin{enumerate}
\item 定义域\quad 余弦函数$y=\cos x$的定义域是一切实数,即$-\infty<x<+\infty$或$(-\infty, +\infty)$;
\item 值域\quad 余弦函数$y=\cos x$的值域是$[-1, 1]$, 或
$|\cos x|\le 1$;
\item 奇偶性\quad 余弦函数是偶函数;
\item 函数的符号
\begin{itemize}
\item 当$-\frac{\pi}{2}+2k\pi<x<\frac{\pi}{2}+2k\pi$时,$\cos x>0$;
\item 当$\frac{\pi}{2}+2k\pi<x<\frac{\pi}{2}+(2k+1)\pi$时,$\cos x<0$;
\item 当$x=\frac{\pi}{2}+k\pi$时,$\cos x=0$,这里$k\in\mathbb{Z}$.
\end{itemize}
\item 增减性
\begin{itemize}
\item $y=\cos x$在区间$[2k\pi,(2k+1)\pi]$内是递减的;
\item $y=\cos x$在区间$[(2k+1)\pi,2(k+1)\pi]$内是递增的.
\end{itemize}
因此,
\begin{itemize}
\item 当$x=2k\pi$时,$\cos x=1$是极大值.
\item 当$x=(2k+1)\pi$时,$\cos x=-1$是极小值,这里$k\in\mathbb{Z}$.
\end{itemize}
\item 周期性\quad 余弦函数$y=\cos x$的最小正周期(以后简称周期)是$2\pi$.
函数$y=\cos x$的周期是$\frac{2\pi}{|\omega|}\quad (\omega\ne 0,\;\;x\in \mathbb{R})$一般地,函数$y=A\cos(\omega x+\varphi)$的周期是$\frac{2\pi}{|\omega|}$
($\omega,\varphi$为常数,且$\omega\ne 0,\;\;x\in \mathbb{R}$).
因为$\cos(\omega x+\varphi)=\sin\left[\omega x+\left(\varphi+\frac{\pi}{2}\right)\right]$, 这里$\omega$是不等于0的常数,$\varphi+\frac{\pi}{2}$仍是常数,根据函数$y=A\sin\left[\omega x+\left(\varphi+\frac{\pi}{2}\right)\right]$的最小正周期是$\frac{2\pi}{|\omega|}$,因此
$\cos(\omega x+\varphi)$的最小正周期也是$\frac{2\pi}{|\omega|}$.
\end{enumerate}
\begin{example}
求函数$y=4\cos(2x+3)$的周期,极值和极值点.
\end{example}
\begin{solution}
函数$y=4\cos(2x+3)$的周期是$\frac{2\pi}{2}=\pi$
把$2x+3$看作一个变数,并根据余弦函数的增减性知:
\begin{enumerate}
\item 当$2x+3=2k\pi$ 时,$y$达到极大值,这时$x=k\pi -\frac{3}{2}$,
极大值$y=4$;
\item 当$2x+3=(2k+1)\pi$ 时,$y$达到极小值,这时$x=k\pi +\frac{\pi}{2}-\frac{3}{2}$
极小值$y=-4$.
\end{enumerate}
\end{solution}
\begin{example}
求$4-2\cos\alpha -\sin^2\alpha$ 的最大值和最小值.
\end{example}
\begin{solution}
\[4-2\cos\alpha -\sin^2\alpha=3-2\cos\alpha+\cos^2\alpha = 2+(1-\cos\alpha)^2\]
$1-\cos\alpha$ 的最小值为0, 最大值为2, 故知$4-2\cos\alpha -\sin^2\alpha$的最小值为2, 最大值为6, 且当$\alpha=2k\pi\quad (k\in\mathbb{Z})$时,$4-2\cos\alpha -\sin^2\alpha$ 有最小值;当$\alpha =(2k+1)\pi\quad (k\in\mathbb{Z})$时,$4-2\cos\alpha -\sin^2\alpha$ 有最大值.
\end{solution}
\begin{example}
已知函数
\begin{enumerate}
\item $\sin\left(\omega x+\frac{\pi}{4}\right)$的周期是$\frac{2\pi}{3}$
\item $\cos\left(\omega x+\frac{\pi}{3}\right)$的周期是$\pi$
\end{enumerate}
试确定函数.
\end{example}
\begin{solution}
\begin{enumerate}
\item $\because\quad \frac{2\pi}{|\omega|}=\frac{2\pi}{3}$
$\therefore\quad |\omega|=3,\quad \omega=\pm 3$
故所求函数为:$\sin\left(\pm 3x+\frac{\pi}{4}\right)$
\item $\because\quad \frac{2\pi}{|\omega|}=\pi$
$\therefore\quad |\omega|=2,\quad \omega=\pm 2$
故所求函数为:$\cos\left(\pm 2x+\frac{\pi}{3}\right)=\cos\left(2x\pm \frac{\pi}{3}\right)$
\end{enumerate}
\end{solution}
\section*{习题7.2}
\addcontentsline{toc}{subsection}{习题7.2}
\begin{enumerate}
\item 确定差的符号(不查表):
\begin{multicols}{2}
\begin{enumerate}
\item $\sin 72^{\circ}-\sin 80^{\circ}$
\item $\cos 15^{\circ}-\cos 16^{\circ}$
\item $\sin 200^{\circ}-\sin 250^{\circ}$
\item $\cos 300^{\circ}-\cos 340^{\circ}$
\end{enumerate}
\end{multicols}
\item 用 “五点法”作出下列函数的图象 $(x \in [0,2])$:
$$y=-\sin x, \qquad y=1+\cos x,\qquad y=1+|\cos x|$$
\item 求下列各函数周期:
\begin{multicols}{2}
\begin{enumerate}
\item $y=\sin 3 x$
\item $y=\cos \frac{x}{6}$
\item $y=3 \sin \frac{x}{4}$
\item $y=\sin \left(x+\frac{\pi}{10}\right)$
\item $y=\cos \left(2 x+\frac{\pi}{3}\right)$
\item $y=\sqrt{8} \sin \left(\frac{1}{2} x-\frac{\pi}{4}\right) $
\end{enumerate}
\end{multicols}
\item 求下面函数的极大值和极小值以及取极值时的 $x$ 值:
$$ y=2+\cos x, \qquad y=2-\cos x,\qquad y=\frac{1}{1+\cos^2 x}$$
\item 求函数$y=-\cos^2\alpha -0.1\sin\alpha+1.15$的最大值和最小值.又当
$\alpha\;\; (0<\alpha<2\pi)$为何值时,函数有最大值和最小值.
\item 求$y=\sqrt{2\cos 2x-\sqrt{3}}$的定义域.
\end{enumerate}
\section{正切函数的图象和性质}
\subsection{正切函数的图象}
我们知道正切函数的定义域是除去$\frac{\pi}{2}+k\pi\quad (k\in\mathbb{Z})$的实数集.也就是由下面无数个开区间
\[\ldots, \left(-\frac{3\pi}{2},-\frac{\pi}{2}\right),\left(-\frac{\pi}{2},\frac{\pi}{2}\right), \left(\frac{\pi}{2},\frac{3\pi}{2}\right), \left(\frac{3\pi}{2},\frac{5\pi}{2}\right), \ldots\]
组成的一个集,图象在这些点:$\frac{\pi}{2}+k\pi\quad (k\in\mathbb{Z})$处断开.
我们又知道正切函数是奇函数,故它的图象关于原点对称.
现在,我们用描点法作出正切函数的图象.
列表:
\begin{center}
\begin{tabular}{c|ccccccc}
\hline
$x$ & $-\frac{\pi}{2}$ & $-\frac{5\pi}{12}$ & $-\frac{\pi}{3}$ & $-\frac{\pi}{4}$ & $-\frac{\pi}{6}$ & $-\frac{\pi}{12}$ \\
\hline
$y=\tan x$ & 不存在 & $-3.73$ & $-1.73$ & $-1$ & $-0.58$ & $-0.27$ \\
\hline
$x$ & $0$ & $\frac{\pi}{12}$ & $\frac{\pi}{6}$ & $\frac{\pi}{4}$ & $\frac{\pi}{3}$ & $\frac{5\pi}{12}$ & $\frac{\pi}{2}$ \\
\hline
$y=\tan x$ & 0 & $0.27$ & $0.58$ & $1$ & $1.73$ & 3.73 & 不存在 \\
\hline
\end{tabular}
\end{center}
把表内$x$、$y$的每一对值作为点的坐标,在直角坐标系内作出对应的点,将它们依次连结成平滑曲线,这样就得到正切函数在$\left(-\frac{\pi}{2},\frac{\pi}{2}\right)$上的图象,如果把图象向左、右扩展出去,就得出$y=\tan x,\quad x\in\left(-\frac{\pi}{2}+k\pi,\frac{\pi}{2}+k\pi\right),\;\; k\in \mathbb{Z}$ 的图象(图7.9).
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, xscale=.7]
\draw[->] (-4,0)--(9,0)node[right]{$x$};
\draw[->] (0,-3)--(0,3)node[right]{$y$};
\foreach \x in {-.5,.5,1.5,2.5}
{
\draw[dashed] (\x*pi,-3)--(\x*pi,3);
}
\foreach \y in {-.5,.5,1.5}
{
\draw [domain=\y*pi+.35:(\y+1)*pi-.35, samples=1000, very thick] plot(\x, {tan(\x r)});
}
\draw [domain=-4:-.5*pi-.35, samples=1000, very thick] plot(\x, {tan(\x r)});
\foreach \z in {-2,-1,2,1}
{
\draw (0,\z)node[left]{$\z$}--(.2,\z);
}
\node at (.25,-.2){$O$};
\node at (-pi,0)[below]{$-\pi$};
\node at (pi,0)[below]{$\pi$};
\node at (2*pi,0)[below]{$2\pi$};
\node at (-.5*pi,0)[below]{$-\frac{\pi}{2}$};
\node at (.5*pi,0)[below]{$\frac{\pi}{2}$};
\node at (1.5*pi,0)[below]{$\frac{3\pi}{2}$};
\node at (2.5*pi,0)[below]{$\frac{5\pi}{2}$};
\node at (3,-3.5){$y=\tan x\qquad x\in\left(-\frac{\pi}{2}+k\pi,\; \frac{\pi}{2}+k\pi\right)$};
\end{tikzpicture}
\caption{}
\end{figure}
正切函数$y=\tan x$的图象叫做\textbf{正切曲线},由图7.9可以看出,正切曲线是由互相平行的直线$x=\frac{\pi}{2}+k\pi\;\;(k\in\mathbb{Z})$隔
开的无穷多支曲线所组成.
下面我们说明$y=\tan x$图象的几何画法.
应用单位圆上的正切线,我们在开区间$\left(-\frac{\pi}{2},\; \frac{\pi}{2}\right)$和$\left(\frac{\pi}{2},\; \frac{3\pi}{2}\right)$内作出正切函数$y=\tan x$的图象.画图象时
让横坐标每隔$\frac{\pi}{12}$
取点,作法如图7.10.
\begin{figure}[htp]
\centering
\begin{tikzpicture}[>=latex, scale=.9]
\draw[->, thick] (-6,0)--(6,0)node[right]{$x$};
\draw[->, thick] (0,-5)--(0,5)node[right]{$y$};
\draw[thick] (-4,0) circle(1);
\draw (-4,-4)--(-4,4);
\draw[thick] (-3,-4)--(-3,4);
\foreach \x in {-5,-4,...,5}
{
\draw (-4,0) -- (-3, {tan(\x*pi/12 r)});
}
\foreach \y in {-.5,.5}
{
\draw [domain=\y*pi+.25:(\y+1)*pi-.25, samples=1000, very thick] plot(\x, {tan(\x r)});
}
\foreach \x in {-5,-4,...,-1,7,8,...,11}
{
\draw[dashed] (\x*pi/12,0)--(\x*pi/12,-4.5);
}
\foreach \x in {1,2,...,5,13,14,...,17}
{
\draw[dashed] (\x*pi/12,0)--(\x*pi/12,4.5);
}
\foreach \x in {-1,1,2,3}
{
\draw [dashed] (\x*pi/2, -4.5)--(\x*pi/2, 4.5);
}
\foreach \x in {-5,-4,...,5}
{
\draw[dashed] (-3, {tan(\x*pi/12 r)})--(\x*pi/12, {tan(\x*pi/12 r)});
}
\node at (-4.3,-.3){$C$};
\node at (-4.2,1)[above]{$\frac{\pi}{2}$};
\node at (-4.2,-1)[below]{$-\frac{\pi}{2}$};
\node at (.3,-.3){$O$};
\node at (-pi/2-.25,0)[below]{$-\frac{\pi}{2}$};
\node at (pi/2-.25,0)[below]{$\frac{\pi}{2}$};
\node at (3*pi/2+.25,0)[below]{$\frac{3\pi}{2}$};
\node at (pi+.25,0)[below]{$\pi$};
\end{tikzpicture}
\caption{}
\end{figure}
\subsection{正切函数的主要性质}
由上一章的讨论和正切函数图象,我们可以得到正切函数$y=\tan x$的主要性质如下:
\begin{enumerate}
\item 定义域\quad 正切函数$y=\tan x$的定义域是$x\ne \frac{\pi}{2}+k\pi,
(k\in\mathbb{Z})$的一切实数,也就是由下面无数个开区间:
\[\left(-\frac{\pi}{2}+k\pi,\; \frac{\pi}{2}+k\pi\right),\quad k=0,\pm1,\pm2,\pm3,\ldots \]
组成的一个集.
\item 值域\quad 正切函数$y=\tan x$的值域为一切实数.
\item 奇偶性\quad 正切函数是奇函数.
\item 函数的符号\quad 当$x$在一、三象限时,$\tan x>0$; 在二、四象限时,$\tan x<0$. 一般地,
\begin{itemize}
\item 若$x\in\left(2k\pi,\frac{\pi}{2}+2k\pi\right)$或$\left((2k+1)\pi,\frac{\pi}{2}+(2k+1)\pi\right)$时,$\tan x>0$;
\item 若$x\in\left(\frac{\pi}{2}+2k\pi,(2k+1)\pi\right)$或$\left(\frac{\pi}{2}+(2k+1)\pi, 2k\pi\right)$时,$\tan x<0$.(这里$k\in\mathbb{Z}$)
\end{itemize}
\item 增减性\quad 正切函数$y=tan x$在$x\in\left(-\frac{\pi}{2}+k\pi,\frac{\pi}{2}+k\pi\right)\;\; (k\in\mathbb{Z})$的每一个开区间内,都是递增的.
但是要注意,正切函数在整个定义域内并不是增函数.事实上,设$x_1=\frac{\pi}{4}$, $x_2=\frac{3\pi}{4}$,那么
\[\begin{split}
\tan x_1&=\tan\frac{\pi}{4}=1\\
\tan x_2&=\tan\frac{3\pi}{4}=\tan\left(\pi-\frac{\pi}{4}\right)=-\tan\frac{\pi}{4}=-1
\end{split}\]
这样,$x_1<x_2$时,有$\tan x_1>\tan x_2$.
当$x=k\pi$时 ($k\in\mathbb{Z}$), $\tan x=0$.
\item 周期性\quad 由诱导公式$\tan (x+\pi)=\tan x$(这里$x$为定义域内任意数),知正切函数的周期是$\pi$, 现在我们证明$\pi$是正切函数的最小正周期.
\begin{proof}
设$p$是$\tan x$的正周期且$0<p<\pi$,根据周期$p$的定义,我们有
$\tan (x+p)=\tan x$ (这里$x$是定义域内任意数).
令$x=0$, 则$\tan p=\tan 0=0$, 由此得到$p=k\pi\;\; (k\in\mathbb{Z}, \text{且 }k\ne 0)$, 这就是说,如果$p$是$\tan x$的周期,$p$只能是$\pi$的整数倍,这就与存在比$\pi$小的正周期$p$的假设矛盾.
因此,$\pi$就是$\tan x$的最小正周期.
\end{proof}
\begin{itemize}
\item 函数$y=\tan \omega x$的最小正周期是$\frac{\pi}{|\omega|}$ ($\omega\ne 0$, $\omega x$为定义域内的数).
\item 函数$y=\tan (\omega x+\varphi)$的最小正周期是$\frac{\pi}{|\omega|}$ ($\omega,\varphi$为
常数,且$\omega\ne 0$, $\omega x$为定义域内的数).
\end{itemize}
\item 渐近线\quad 由图7.9可以看到,当$0<x<\frac{\pi}{2}$时,
$\tan x>0$, 又当$x<\frac{\pi}{2}$而$x$又无限地趋近$\frac{\pi}{2}$时,(记作$x\to \frac{\pi^-}{2}$),
正切曲线无限地下降但与直线$x=\frac{\pi}{2}$
永远不相交,我们把这个性质说成当$x$由小于$\frac{\pi}{2}$
的方面无限趋近$\frac{\pi}{2}$时,$\tan x$的值增大并超出任何指定的正数,并且写成
\[\lim_{x\to\tfrac{\pi^-}{2}}\tan x=+\infty \]
当$\frac{\pi}{2}<x<\pi$时,$\tan x<0$,又当$x>\frac{\pi}{2}$,而且$x$无限地趋近$\frac{\pi}{2}$时(记作$x\to\frac{\pi^+}{2}$),
正切曲线无限地上升,但与直线$x=\frac{\pi}{2}$
永远不相交,我们把这个性质说成当$x$由大于$\frac{\pi}{2}$的方面无限趋近
$\frac{\pi}{2}$时,$\tan x$取负值减小但其绝对值增
大并超出任何指定的正数,并且写成
\[\lim_{x\to\tfrac{\pi^+}{2}}\tan x=-\infty \]
同样地,还有
\[\lim_{x\to -\tfrac{\pi^-}{2}}\tan x=+\infty,\qquad \lim_{x\to -\tfrac{\pi^+}{2}}\tan x=-\infty \]
我们把直线$x=-\frac{\pi}{2}$和$x=\frac{\pi}{2}$叫做正切曲线的渐近线.一般地,直线$x=(2k+1)\frac{\pi}{2},\;\; k\in\mathbb{Z}$都是正切曲线的渐近线.
\end{enumerate}
\begin{rmk}
这里对渐近线的叙述,同学们只要从图象上了解其意义就可以了,这个问题到高中还要详细地介绍.
\end{rmk}
\begin{ex}
\begin{enumerate}
\item 证明$y=\tan\left(x-\frac{\pi}{2}\right)$是奇函数,作出它的图象.
\item 作$y=-|\tan x|$的图象,并说出它的周期.