Part 2 of the Proof of Heron's Formula
-
0:00 - 0:04在上一段影片中我說過這樣一個式子
-
0:04 - 0:09來求一個三邊長分別爲a b c的三角形的面積
-
0:09 - 0:12它的結果等同於海倫公式
-
0:12 - 0:14在這段影片中我要講的是
-
0:14 - 0:16通過一些最基本的代數運算
-
0:16 - 0:19來證明上式與海倫公式相等
-
0:19 - 0:20首先我們來處理一下1/2 c
-
0:21 - 0:24把它放到根號中去
-
0:24 - 0:31可得根號下c的平方分之四
-
0:31 - 0:33去掉根號等於1/2 c
-
0:33 - 0:37我用sqrt來代替根號 整個表達式就變成了這樣
-
0:37 - 0:43那麽可以得到c的平方除以4的平方根
-
0:43 - 0:49乘以剩下的這些項
-
0:50 - 0:55我將它們複製並粘貼
-
0:55 - 1:00乘上這個表達式 再把它展開
-
1:00 - 1:04所以用4分之c的平方 乘以括號裏面的這些項
-
1:04 - 1:06在末尾加一個括號
-
1:06 - 1:12把4分之c的平方乘進括號 得到的結果與公式相等
-
1:12 - 1:15這將是一個很複雜的過程
-
1:16 - 1:18當這個式子會被簡化成像海倫公式那樣淺顯的時候
-
1:18 - 1:20你會覺得很有成就感
-
1:20 - 1:28根號下4分之c的平方乘以a的平方即a方c方
-
1:28 - 1:34除以4 減去4分之c的平方乘以括號中的項
-
1:34 - 1:37展開括號
-
1:37 - 1:39並把它寫成分子的平方除以分母的平方的形式
-
1:39 - 1:48c的平方加上a的平方減去b的平方 括號外的平方
-
1:48 - 1:52除以分母的平方 即4c方
-
1:52 - 1:54於是可以將這個c方和這個c方
-
1:54 - 1:56一並消去
-
1:56 - 1:59像這樣把所有的括號閉合
-
1:59 - 2:02這個分母中的4 乘以另一個分母中的4
-
2:02 - 2:05讓我這樣寫下結果
-
2:05 - 2:07這和4的平方相等
-
2:07 - 2:10接下來你會發現爲什麽我用4的平方代替16
-
2:10 - 2:16現在我可以重新寫下這個式子
-
2:16 - 2:19我隨機地變換了一下顏色
-
2:19 - 2:26這個式子等於根號下ca/2 括號外的平方
-
2:26 - 2:29我要把它寫成c/4的平方的形式
-
2:29 - 2:31如果我把它平方 得到成了c方a方除以2的平方
-
2:31 - 2:35即4 再減去
-
2:35 - 2:37把這個長的表達式也寫成平方的形式
-
2:37 - 2:44即c的平方 加上a的平方 減去b的平方除以4
-
2:44 - 2:48將分子和分母同時平方
-
2:48 - 2:51將分子和分母同時平方
-
2:51 - 2:54現在看起來好像很有趣
-
2:54 - 2:56用另一個不同的顏色來表示這個括號
-
2:56 - 3:01也許你還記得多項式的因式分解
-
3:01 - 3:03x方減去y方
-
3:03 - 3:09可以寫成(x+y)(x-y)
-
3:09 - 3:10現在我們要一遍遍地運用這個公式
-
3:10 - 3:16把ca/2當作x 把這個當成y
-
3:16 - 3:20那麽便構成了x方減y方這個式子
-
3:20 - 3:25分解這個式子 可寫成
-
3:25 - 3:34根號下 x+y即ca/2+y
-
3:34 - 3:40乘以 x-y
-
3:40 - 3:48其中y等於c方加a方x是 ca/2
-
3:48 - 3:52減去這一串式子
-
3:52 - 3:55或者讓我們用一種更好的方式 把減號寫成加號
-
3:55 - 4:05加上負的c方 減去a方 加上b方 除以4
-
4:05 - 4:10這一切等同於
-
4:10 - 4:16這個與這個的和 再乘以這個與這個的差
-
4:16 - 4:19像我剛剛說的那樣 加上它的相反數
-
4:19 - 4:24即負的c方 減a方 加b方
-
4:24 - 4:26運用這個式子
-
4:26 - 4:28看看是否能夠將其簡化
-
4:28 - 4:32我們可以通分得到公分母
-
4:32 - 4:35ca/2 等於2ca/4
-
4:35 - 4:39這個也是 ca/2 即2ca/4
-
4:39 - 4:41將分子和分母同時乘以2
-
4:41 - 4:44我們可以把分子相加
-
4:44 - 4:51我們的整個表達式等於根號下
-
4:51 - 4:57我要把第一項寫成這樣的形式
-
4:57 - 5:03c方 加2ca 加a方 減b方
-
5:03 - 5:08用這些項除以四
-
5:08 - 5:13得到第一個表達式
-
5:13 - 5:19下一個表達式
-
5:19 - 5:21寫下它的分母是4
-
5:21 - 5:24我們可以這樣寫
-
5:24 - 5:31我們可以寫成 b方減去
-
5:31 - 5:43括號 c方減2ca 加a方
-
5:43 - 5:48只是爲了確保我在這裡有一個負a方
-
5:48 - 5:53負負得正 在這裡有一個正的2ca
-
5:53 - 5:57這裡有一個負的c方 這裡有減去括號內的c方
-
5:57 - 6:00這兩個是等效的
-
6:00 - 6:06現在我們需要來辨認一下
-
6:06 - 6:11圈出來的這部分 可能有點亂
-
6:11 - 6:15這部分等於a與c和的平方
-
6:15 - 6:20這個等於根號下 括號
-
6:20 - 6:29c與a和的平方 減去b的平方 除以4
-
6:29 - 6:33這是第一項
-
6:33 - 6:36接下來是第二項也就是a與c和的平方
-
6:36 - 6:43因此 整個式子可簡化爲
-
6:43 - 6:48b方減去a與c和的平方 再除以4
-
6:48 - 6:52這是一個複雜的問題 我們取得了一些進展
-
6:52 - 6:55但是我們可以看到一些 簡潔的分解因式的方法
-
6:55 - 6:58而且 我們可以把這樣一個奇怪的式子
-
6:58 - 7:00化簡成更簡單的形式
-
7:00 - 7:03現在我們可以運用同樣的公式
-
7:03 - 7:05一項的平方減去另一項的平方
-
7:05 - 7:07一項的平方減去另一項的平方
-
7:07 - 7:10接著分解它 把過程寫在同一行
-
7:10 - 7:13我將縮小字體以便能寫下
-
7:13 - 7:15這將等於根號下
-
7:15 - 7:24這個因式可以分解成 這個加上這個
-
7:24 - 7:30即 (c+a+b)(c+a-b)
-
7:30 - 7:34和這個因式分解是相同的 這是x的平方 這是y的平方
-
7:34 - 7:41乘以 (c+a+b)/4
-
7:41 - 7:46來分解下一項 乘以 (b+c-a)
-
7:51 - 7:53讓我稍微往右移一下屏幕
-
7:53 - 7:57乘以(b+c-a)
-
7:57 - 8:03這是X+Y即b-(c-a)
-
8:03 - 8:07等同於(b-c+a)
-
8:07 - 8:09這等同於
-
8:15 - 8:20除以4
-
8:20 - 8:25現在我可以重新來寫整個表達式了
-
8:25 - 8:29將這個表達式
-
8:29 - 8:33改寫一下
-
8:33 - 8:36將4寫成22
-
8:36 - 8:41這個化簡過程終於要結束了
-
8:41 - 8:45我們的表達式被簡化爲 根號下
-
8:45 - 8:55寫成(a+b+c)/2
-
8:55 - 9:02這是這一項 乘以這項 乘以這項
-
9:02 - 9:06讓我在這把它簡化一下
-
9:06 - 9:13c+a-b 等於 a+b+c-2b
-
9:13 - 9:15這兩項是相等的
-
9:15 - 9:19這是a 這是c
-
9:20 - 9:23b-2b 等於 -b
-
9:23 - 9:26對吧 這是-b
-
9:26 - 9:34下一項是(a+b+c-2b)/2
-
9:34 - 9:36或者可以拆開 寫成這樣的形式
-
9:39 - 9:46接下來第三項也是同樣的思路
-
9:46 - 9:53等於 a+b+c-2a
-
9:53 - 9:57再除以2
-
9:57 - 10:00如果我們用a加上-2a 就能得到-a
-
10:00 - 10:03即可得 b+c-a他們是相同的
-
10:03 - 10:07這些除以2 或者將分子分開
-
10:07 - 10:08像這樣 除以2
-
10:09 - 10:13到了最後一項
-
10:13 - 10:16也許你已經可以從中分辨出海倫公式
-
10:16 - 10:19但是我沒有在考慮海倫公式
-
10:19 - 10:22那項很顯然與
-
10:22 - 10:28a+b+c-2c 是相等的
-
10:28 - 10:31用c減去2c 得到-c
-
10:31 - 10:33依然是 a+b-c 然後除以2
-
10:33 - 10:37把這個除以二減去那個除以二
-
10:37 - 10:41而且 在這一整串式子上還要加上一個根號
-
10:41 - 10:49現在如果我們設 S=(a+b+c)/2
-
10:49 - 10:56那麽這個式子會變得更簡潔
-
10:56 - 11:00這是S這也是S這個也是S
-
11:00 - 11:04那個也是S
-
11:04 - 11:07確實簡化了許多
-
11:07 - 11:12-2b/2 等同於-b
-
11:12 - 11:14-2a/2 等同於-a
-
11:14 - 11:17-2c/2 同樣的道理 是-c
-
11:17 - 11:21現在 重新寫上根號
-
11:21 - 11:25這個式子等於
-
11:25 - 11:31根號下 S乘以
-
11:31 - 11:37我將用相同的顏色寫接下來的這些式子
-
11:37 - 11:46乘以(S-b)(S-a)
-
11:46 - 11:52再乘以最後一項 (S-c)
-
11:52 - 11:57現在我們證明了 上一個影片中我們得到的式子
-
11:57 - 11:59和海倫公式是一回事
-
11:59 - 12:03它變得非常簡潔
-
12:03 - 12:07我們只需要做一些複雜的推導就能夠證明它