下载本文档
版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
华里士公式证明华里士公式（Heron'sFormula）是数学中用于计算三角形面积的一种公式。它由古希腊数学家华里士（Heron）在公元一世纪发现，并被他应用于计算多边形的面积。华里士公式的形式为：给定一个三角形的三边长度a,b,c，其面积S可以由以下公式计算得出：
S=√(s(s-a)(s-b)(s-c))
其中s是三角形的半周长，定义为s=(a+b+c)/2。
华里士公式的证明相对简单，可以通过构造辅助图形来进行推导。下面是一个常见的证明方法：
首先，假设我们有一个任意三角形ABC，其边长分别为a、b和c，且其对应的高分别为h_a,h_b和h_c。我们可以通过高和底的关系（S=1/2*底*高）计算出三角形ABC的面积。
接下来，让我们将三角形ABC分成三个小三角形ABD、BCE和CAF，如下所示：
```
A
/\
BD/\
/\
B/______\C
\/
CA\/
\/
\/
D
```
根据三角形面积的性质，我们可以得到如下等式：
S=S(ABD)+S(BCE)+S(CAF)
分别计算每个小三角形的面积：
S(ABD)=1/2*BD*h_a
S(BCE)=1/2*CE*h_b
S(CAF)=1/2*AF*h_c
其中，BD、CE和AF是三角形ABC的边a、b和c对应的高，即BD=h_a、CE=h_b和AF=h_c。我们可以通过海伦公式将BD、CE和AF表示为：
BD=2S/a
CE=2S/b
AF=2S/c
将以上结果代入等式中：
S=1/2*(2S/a)*h_a+1/2*(2S/b)*h_b+1/2*(2S/c)*h_c
简化等式：
S=1/2*S*(1/a*h_a+1/b*h_b+1/c*h_c)
去掉相同的量，可以得到：
2=1/a*h_a+1/b*h_b+1/c*h_c
再利用边长与高的关系，我们可以得到：
2=1/a*2S/a+1/b*2S/b+1/c*2S/c
简化等式：
2=S/a^2+S/b^2+S/c^2
利用三角形的半周长s，可以将a,b和c表示为：
a=2s-a
b=2s-b
c=2s-c
将以上结果代入等式中：
2=S/(4s^2-4as+a^2)+S/(4s^2-4bs+b^2)+S/(4s^2-4cs+c^2)
简化等式，并且将每一项的分母乘以相应的分子：
2=S((4s-4a)/(4s^2-4as+a^2))+S((4s-4b)/(4s^2-4bs+b^2))+S((4s-4c)/(4s^2-4cs+c^2))
取消公式中的S项，并且进行合并：
2S=(4s-4a)+(4s-4b)+(4s-4c)
简化等式：
2S=12s-4(a+b+c)
再次消除S项，并整理等式：
2S=12s-4s
得到：
2S=8s
进一步整理等式：
S=4s
最后，将半周长s替换为(a+b+c)/2：
S=√(s(s-a)(s-b)(s-c))
因
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论