Proof: sin(a+b) = (cos a)(sin b) + (sin a)(cos b)
-
0:01 - 0:02欢迎回来
-
0:02 - 0:05现在 我要做一个三角恒等式的证明
-
0:05 - 0:08我认为这个恒等式相当令人惊奇
-
0:08 - 0:10我想 尽管这个证明不那么显而易见
-
0:10 - 0:12我不得不提前承认
-
0:12 - 0:13这些东西不是我
-
0:13 - 0:14自然而然能想出来的
-
0:14 - 0:17我也没有自然而然地画出这个图形
-
0:17 - 0:18来开始今天的课程
-
0:18 - 0:22我们只想推导出
-
0:22 - 0:31sin(α+β)的其他表示方法
-
0:31 - 0:34这里α和β是
-
0:34 - 0:35两个单独的角度
-
0:35 - 0:40例如sin(40°+50°)
-
0:40 - 0:42我想要知道
-
0:42 - 0:44这显然等于sin(90°) 很简单
-
0:44 - 0:47但我能否把它改写成
-
0:47 - 0:49sin(40°)和sin(50°)或其它呢?
-
0:49 - 0:51我想你们将会看到是怎么回事
-
0:51 - 0:52让我们回到这个图形
-
0:52 - 0:56比方说 这是- 我先换个好的颜色
-
0:56 - 1:00比方说 这个是角α
-
1:00 - 1:04这是角β
-
1:04 - 1:07这里的整个角
-
1:07 - 1:11是α加β
-
1:11 - 1:15我们要算出sin(α+β)的值
-
1:15 - 1:16α加β的正弦值就是
-
1:16 - 1:19整个角的正弦值 即对边比上斜边
-
1:19 - 1:22整个角的对边是-
-
1:22 - 1:24如果我们用这个直角三角形
-
1:24 - 1:27这个直角三角形 三角形BAC
-
1:27 - 1:33对边是BC 所以对边等于-
-
1:33 - 1:35我要在上面画个线表示长度
-
1:35 - 1:39BC除以斜边AB
-
1:39 - 1:48BC除以AB就是sin(α+β)
-
1:48 - 1:54可以用其他方法写出BC除以AB吗?
-
1:54 - 1:55我们想想是否可以-
-
1:56 - 1:57可能第一个想出这个证明的人
-
1:57 - 1:58就跟玩儿一样
-
1:58 - 2:01他们画了这样一个图
-
2:01 - 2:02他们想可以用其他方法写出BC吗?
-
2:02 - 2:09这个总长度BC是BD和EF的和
-
2:09 - 2:09我们知道这个
-
2:09 - 2:11是因为这是一条水平线
-
2:11 - 2:12你们可以通过观察所有的直角
-
2:12 - 2:13得出结论
-
2:13 - 2:15这是一条水平线
-
2:15 - 2:20所以BC等于BD加EF
-
2:20 - 2:21我们把它写下来
-
2:21 - 2:32BC等于BD加EF
-
2:32 - 2:38所有这些除以AB
-
2:38 - 2:41我所做的就是把BC写成
-
2:41 - 2:42这段(指BD)与这段(指EF)的和
-
2:43 - 2:45希望你们能够理解
-
2:45 - 2:51然后我们能将这个写成
-
2:51 - 3:05BD除以AB加上EF除以AB
-
3:05 - 3:13所以BD除以AB加上EF除以AB
-
3:13 - 3:15这里看起来有点无意义 对吗?
-
3:15 - 3:17BD除以AB 我们能对它做些什么呢?
-
3:17 - 3:20EF除以AB 我们又能对它做些什么?
-
3:20 - 3:21如果我们变换成BD除以BE
-
3:21 - 3:23那岂不是很有趣么?
-
3:23 - 3:25BD/BE是一个有趣的比
-
3:25 - 3:27因为这是一个线段除以它所在直角三角形的斜边
-
3:27 - 3:30让我们看看能不能将BD/AB写成类似形式
-
3:30 - 3:34我们也可以从数学角度来做
-
3:34 - 3:35我们可以说
-
3:35 - 3:53BD/AB等于BD除以BE乘以BE除以AB
-
3:53 - 3:55这看起来可能不是很直观
-
3:55 - 3:55但是这个讲得通
-
3:55 - 3:58我们不是完全任意的选择了BE
-
3:58 - 3:59我们知道BD是什么
-
3:59 - 4:01所以我选了另一边
-
4:01 - 4:05就可以引入一些三角函数
-
4:05 - 4:11所以我说BD除以BE乘以BE除以AB
-
4:11 - 4:12等于BD除以AB
-
4:12 - 4:15我希望你们没有被这些字母搞糊涂了
-
4:15 - 4:15但是这么做有道理 对么?
-
4:15 - 4:17因为这两个部分正好可以抵消
-
4:17 - 4:18如果我们将这些分数相乘
-
4:18 - 4:20就能回到上一个式子
-
4:20 - 4:24我确认一下
-
4:24 - 4:25你们能理解这些
-
4:25 - 4:29这部分和这部分是一样的
-
4:29 - 4:31现在我们做第二部分
-
4:31 - 4:34我们知道EF 如果我们可以
-
4:34 - 4:35将EF与右边直角三角形斜边
-
4:35 - 4:39相互关联 不是很好吗?
-
4:39 - 4:39比如说AE
-
4:39 - 4:40所以 我们就这样做
-
4:40 - 4:45先在这里写个加号
-
4:45 - 4:50EF除以AB等于
-
4:50 - 5:01EF除以AE乘以AE除以AB
-
5:01 - 5:03再强调一次 我们将这些分数相乘
-
5:03 - 5:05这些将会消掉 你将会再次得到上面这个式子
-
5:05 - 5:09确认一下你们都理解了
-
5:09 - 5:12这部分和这部分是相同的
-
5:12 - 5:13你们可以将这些分数相乘
-
5:13 - 5:15这就是你们想要得到的
-
5:15 - 5:20现在 在我们沿着思路
-
5:20 - 5:21继续往下做之前
-
5:21 - 5:22让我们想一下 我们是否能找出
-
5:22 - 5:25关于这些奇怪的三角形和我画的一些东西之外
-
5:25 - 5:28其他一些有趣的东西
-
5:28 - 5:29实际上图是相当整齐的
-
5:29 - 5:36如果这个角是α 我们有线段AF
-
5:36 - 5:38EF垂直于AF 对吗?
-
5:38 - 5:42DE垂直于EF 对吗?
-
5:42 - 5:45所以DE和AF是平行的
-
5:45 - 5:48因为AF平行于DE
-
5:48 - 5:53AE和两者相交 我们可以知道这是什么?
-
5:53 - 5:54内错角?
-
5:54 - 5:55是的 平行线之间的这两个角
-
5:55 - 5:57叫做内错角
-
5:57 - 5:59这个角和α角相等
-
5:59 - 6:04你们可以想象这里有很长的平行线
-
6:04 - 6:06这有很长的平行线 这条线(AE)和两平行线相交
-
6:06 - 6:09如果对这还有一些迷惑
-
6:09 - 6:12你们需要复习一些几何中平行线的知识
-
6:12 - 6:13不过我的推理是有道理的
-
6:13 - 6:17所以如果这个角是α 这儿的这个角
-
6:17 - 6:19和它是互余的
-
6:19 - 6:22所以它是90°-α
-
6:22 - 6:26如果这个角是90°-α
-
6:26 - 6:28显然这个角是90°
this angle is obviously 90° -
6:28 - 6:31我们知道这个角(角DBE)加上这个角(角BDE)
-
6:31 - 6:33再加上这个角(角DEB)是180°
plus this angle has to equal 180° -
6:33 - 6:35所以我们知道 这个角等于α
-
6:35 - 6:38如果你们不理解 这样想想
-
6:38 - 6:44α加上(90°-α)再加上90°这儿是个减号
-
6:44 - 6:45减去α
-
6:45 - 6:47加上90° 是什么?
Plus 90°is what? -
6:47 - 6:49α加上90°-α
Alpha plus 90°minus alpha -
6:49 - 6:51所以这个减去α α就消去了
-
6:51 - 6:54所以只剩90°加90°得到180°
and you just have 90°plus 90°and that equals 180° -
6:54 - 6:56所以我们知道这里的这个角
-
6:56 - 6:57我知道这个角很小
-
6:57 - 6:58可能难以分辨
-
6:58 - 7:01我们知道这个角等于α
-
7:01 - 7:04那么我们回到刚才的步骤
-
7:04 - 7:05我们这里要做的
-
7:05 - 7:08那么BD除以BE是多少?
-
7:08 - 7:13BD除以BE
-
7:13 - 7:15BD是这个角的邻边
-
7:15 - 7:17实际上这个角等于α
-
7:17 - 7:24BD除以BE是邻边比上斜边
-
7:24 - 7:24就是cos
-
7:24 - 7:32所以它等于cosα
-
7:32 - 7:40BE除以AB是什么?
-
7:40 - 7:44如果我们看看这个大直角三角形
-
7:44 - 7:50这是β的对边除以斜边
-
7:50 - 7:52那么对边除以斜边是什么呢?
-
7:52 - 7:53正弦函数
-
7:53 - 7:55S O H
-
7:55 - 7:56sin
-
7:56 - 7:59所以sinβ等于BE除以AB
-
7:59 - 8:07所以这是sinβ
-
8:07 - 8:10现在我换成洋红色的笔
-
8:10 - 8:17EF除以AE是什么?
-
8:17 - 8:19如果我们看这儿的直角三角形
-
8:19 - 8:23EF/AE是α的对边除以斜边
-
8:23 - 8:26所以这是sinα
-
8:26 - 8:28对边除以斜边
-
8:28 - 8:37AE除以AB是什么
-
8:37 - 8:38现在我们看一下
-
8:38 - 8:40这儿的大直角三角形
-
8:40 - 8:42AE除以AB
-
8:42 - 8:47是β的邻边除以斜边
-
8:47 - 8:49邻边除以斜边是什么?
-
8:49 - 8:51是cos
-
8:51 - 8:52CAH
-
8:52 - 8:57cosβ 这里的β
-
8:57 - 8:59我认为我们已经做完了
-
8:59 - 9:02对我来说 相当兴奋
-
9:02 - 9:13sin(α+β)等于
-
9:13 - 9:16cosαsinβ
-
9:16 - 9:19加上sinαcosβ
-
9:19 - 9:22这是多么工整啊
-
9:22 - 9:24很好的对称公式
-
9:24 - 9:26这不是很大 很乱的式子
-
9:26 - 9:29你或许曾猜测它会怎么样
-
9:29 - 9:29我不知道
-
9:29 - 9:31我只是发现它很工整
-
9:31 - 9:33我们用这个复杂图形
-
9:33 - 9:35完成了复杂的证明
-
9:35 - 9:36但是我们从中得到了很好的
-
9:36 - 9:39对称的三角恒等式
-
9:39 - 9:40所以希望你们能感受到
-
9:40 - 9:42接下来的讲述中的神奇之处
-
9:42 - 9:45下节课我将要证明cos(α+β)
-
9:45 - 9:48再见
![]() |
oliviagao8971 edited Chinese, Simplified subtitles for Proof: sin(a+b) = (cos a)(sin b) + (sin a)(cos b) | |
![]() |
oliviagao8971 added a translation |