(海伦公式)已知三角形三条边长,求面积

2023-11-13

(海伦公式)已知三角形三条边长,求面积

 

海伦公式: 
S=(△)=√[p(p-a)(p-b)(p-c)] 
其中p是三角形的周长的一半p=(a+b+c)/2.

~~~~以下转自百度百科~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

海伦公式海又译作希伦公式、海龙公式、希罗公式、海伦-秦九韶公式,

传说是古代的叙拉古国王 希伦(Heron,也称海龙)二世发现的公式,利用三角形的三条边长来求取三角形面积。但根据Morris Kline在1908年出版的著作考证,这条公式其实是阿基米德所发现,以托希伦二世的名发表(未查证)。 我国宋代的数学家秦九韶也提出了“三斜求积术”,它与海伦公式基本一样。
  假设有一个三角形,边长分别为a、b、c,三角形的面积S可由以下公式求得: 
  S=√[p(p-a)(p-b)(p-c)] 
  而公式里的p为半周长: 
  p=(a+b+c)/2 
  ——————————————————————————————————————————————
  注:"Metrica"(《度量论》)手抄本中用s作为半周长,所以
  S=√[p(p-a)(p-b)(p-c)] 和S=√[s(s-a)(s-b)(s-c)]两种写法都是可以的,但多用p作为半周长。
  ——————————————————————————————————————————————
  由于任何n边的多边形都可以分割成n-2个三角形,所以海伦公式可以用作求多边形面积的公式。比如说测量土地的面积的时候,不用测三角形的高,只需测两点间的距离,就可以方便地导出答案。 
  证明(1): 
  与海伦在他的著作"Metrica"(《度量论》)中的原始证明不同,在此我们用三角公式和公式变形来证明。设三角形的三边a、b、c的对角分别为A、B、C,则余弦定理为 
  cosC = (a^2+b^2-c^2)/2ab 
  S=1/2*ab*sinC
  =1/2*ab*√(1-cos^2 C)
  =1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2]
  =1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2]
  =1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)]
  =1/4*√[(a+b)^2-c^2][c^2-(a-b)^2]
  =1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)]
  设p=(a+b+c)/2
  则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2,
  上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16]
  =√[p(p-a)(p-b)(p-c)] 
  所以,三角形ABC面积S=√[p(p-a)(p-b)(p-c)] 
  证明(2):
  我国宋代的数学家秦九韶也提出了“三斜求积术”。它与海伦公式基本一样,其实在《九章算术》中,已经有求三角形公式“底乘高的一半”,在实际丈量土地面积时,由于土地的面积并不是的三角形,要找出它来并非易事。所以他们想到了三角形的三条边。如果这样做求三角形的面积也就方便多了。但是怎样根据三边的长度来求三角形的面积?直到南宋,我国著名的数学家九韶提出了“三斜求积术”。 
  秦九韶他把三角形的三条边分别称为小斜、中斜和大斜。“术”即方法。三斜求积术就是用小斜平方加上大斜平方,送到斜平方,取相减后余数的一半,自乘而得一个数小斜平方乘以大斜平方,送到上面得到的那个。相减后余数被4除冯所得的数作为“实”,作1作为“隅”,开平方后即得面积。 
  所谓“实”、“隅”指的是,在方程px 2=qk,p为“隅”,Q为“实”。以△、a,b,c表示三角形面积、大斜、中斜、小斜,所以 
  q=1/4[c 2a 2-(c%| 2+a 2-b 2/2) 2] 
  当P=1时,△ 2=q, 
  S△=√{1/4[c 2a 2-(c 2+a 2-b 2/2) 2]} 
  因式分解得 
  1/16[(c+a) 2-b 2][b62-(c-a) 2] 
  =1/16(c+a+b)(c+a-b)(b+c-a)(b-c+a) 
  =1/8S(c+a+b-2b)(b+c+a-2a)(b+a+c-2c) 
  =p(p-a)(p-b)(p-c)
  由此可得: 
  S△=√[p(p-a)(p-b)(p-c)] 
  其中p=1/2(a+b+c) 
  这与海伦公式完全一致,所以这一公式也被称为“海伦-秦九韶公式”。
  S=c/2*根号下a^-{(a^-b^+c^)/2c}^ .其中c>b>a. 
  根据海伦公式,我们可以将其继续推广至四边形的面积运算。如下题:
  已知四边形ABCD为圆的内接四边形,且AB=BC=4,CD=2,DA=6,求四边形ABCD的面积
  这里用海伦公式的推广
  S圆内接四边形= 根号下(p-a)(p-b)(p-c)(p-d) (其中p为周长一半,a,b,c,d,为4边)
  代入解得s=8√ 3
  海伦公式的几种另证及其推广 
  关于三角形的面积计算公式在解题中主要应用的有: 
  设△ABC中,a、b、c分别为角A、B、C的对边,ha为a边上的高,R、r分别为△ABC外接圆、内切圆的半径,p = (a+b+c),则 
  S△ABC = aha= ab×sinC = r p 
  = 2R2sinAsinBsinC = 
  = 
  其中,S△ABC = 就是著名的海伦公式,在希腊数学家海伦的著作《测地术》中有记载。 
  海伦公式在解题中有十分重要的应用。 
  一、 海伦公式的变形 
  S= 
  = ① 
  = ② 
  = ③ 
  = ④ 
  = ⑤ 
  二、 海伦公式的证明 
  证一 勾股定理 
  分析:先从三角形最基本的计算公式S△ABC = aha入手,运用勾股定理推导出海伦公式。 
  证明:如图ha⊥BC,根据勾股定理,得: 
  x = y = 
  ha = = = 
  ∴ S△ABC = aha= a× = 
  此时S△ABC为变形④,故得证。 
  证二:斯氏定理 
  分析:在证一的基础上运用斯氏定理直接求出ha。 
  斯氏定理:△ABC边BC上任取一点D, 
  若BD=u,DC=v,AD=t.则 
  t 2 = 
  证明:由证一可知,u = v = 
  ∴ ha 2 = t 2 = - 
  ∴ S△ABC = aha = a × 
  = 
  此时为S△ABC的变形⑤,故得证。 
  证三:余弦定理 
  分析:由变形② S = 可知,运用余弦定理 c2 = a2 + b2 -2abcosC 对其进行证明。 
  证明:要证明S = 
  则要证S = 
  = 
  = ab×sinC 
  此时S = ab×sinC为三角形计算公式,故得证。 
  证四:恒等式 
  分析:考虑运用S△ABC =r p,因为有三角形内接圆半径出现,可考虑应用三角函数的恒等式。 
  恒等式:若∠A+∠B+∠C =180○那么 
  tg · tg + tg · tg + tg · tg = 1 
  证明:如图,tg = ① 
  tg = ② 
  tg = ③ 
  根据恒等式,得: 
  + + = 
  ①②③代入,得: 
  ∴r2(x+y+z) = xyz ④ 
  如图可知:a+b-c = (x+z)+(x+y)-(z+y) = 2x 
  ∴x = 同理:y = z = 
  代入 ④,得: r 2 · = 
  两边同乘以 ,得: 
  r 2 · = 
  两边开方,得: r · = 
  左边r · = r·p= S△ABC 右边为海伦公式变形①,故得证。 
  证五:半角定理 
  半角定理:tg = 
  tg = 
  tg = 
  证明:根据tg = = ∴r = × y ① 
  同理r = × z ② r = × x ③ 
  ①×②×③,得: r3 = ×xyz 
  ∵由证一,x = = -c = p-c 
  y = = -a = p-a 
  z = = -b = p-b 
  ∴ r3 = ∴ r = 
  ∴S△ABC = r·p = 故得证。 
  三、 海伦公式的推广 
  由于在实际应用中,往往需计算四边形的面积,所以需要对海伦公式进行推广。由于三角形内接于圆,所以猜想海伦公式的推广为:在任意内接与圆的四边形ABCD中,设p= ,则S四边形= 
  现根据猜想进行证明。 
  证明:如图,延长DA,CB交于点E。 
  设EA = e EB = f 
  ∵∠1+∠2 =180○ ∠2+∠3 =180○ 
  ∴∠1 =∠3 ∴△EAB~△ECD 
  ∴ = = = 
  解得: e = ① f = ② 
  由于S四边形ABCD = S△EAB 
  将①,②跟b = 代入公式变形④,得: 
  ∴S四边形ABCD = 
  所以,海伦公式的推广得证。 
  四、 海伦公式的推广的应用 
  海伦公式的推广在实际解题中有着广泛的应用,特别是在有关圆内接四边形的各种综合题中,直接运用海伦公式的推广往往事半功倍。 
  例题:如图,四边形ABCD内接于圆O中,SABCD = ,AD = 1,AB = 1, CD = 2. 
  求:四边形可能为等腰梯形。 
  解:设BC = x 
  由海伦公式的推广,得: 
  (4-x)(2+x)2 =27 
  x4-12x2-16x+27 = 0 
  x2(x2—1)-11x(x-1)-27(x-1) = 0 
  (x-1)(x3+x2-11x-27) = 0 
  x = 1或x3+x2-11x-27 = 0 
  当x = 1时,AD = BC = 1 
  ∴ 四边形可能为等腰梯形。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

(海伦公式)已知三角形三条边长,求面积 的相关文章

  • react-native run-android 失败并出现错误:任务 ':app:dexDebug' 执行失败

    我使用的是 Windows 8 1 和react native cli 1 0 0 and react native 0 31 0 添加后react native maps对于该项目 我运行了命令react native upgrade并给
  • 编辑文件名在 JComboBox 中的显示方式,同时保持对文件的访问

    我对 Java 很陌生 对堆栈溢出也很陌生 我正在尝试利用 JMF API 创建一个用 Java 编码的简单媒体播放器 到目前为止 我已经能够设置一个简单的队列 播放列表来使用JComboBox called playListHolder
  • Javafx过滤表视图

    我正在尝试使用文本字段来过滤表视图 我想要一个文本字段 txtSearch 来搜索 nhs 号码 名字 姓氏 和 分类类别 我尝试过在线实施各种解决方案 但没有运气 我对这一切仍然很陌生 所以如果问得不好 我深表歉意 任何帮助将不胜感激 我
  • IntelliJ - 调试模式 - 在程序内存中搜索文本

    我正在与无证的第三方库合作 我知道有一定的String存储在库深处的某个字段中的某处 我可以预测的动态值 但我想从库的 API 中获取它 有没有一种方法可以通过以下方式进行搜索 类似于全文搜索 full程序内存处于调试模式并在某个断点处停止
  • 有没有一种快速方法可以从 Jar/war 中删除文件,而无需提取 jar 并重新创建它?

    所以我需要从 jar war 文件中删除一个文件 我希望有类似 jar d myjar jar file I donot need txt 的内容 但现在我能看到从 Linux 命令行执行此操作的唯一方法 不使用 WinRAR Winzip
  • Java整数双除法混淆[重复]

    这个问题在这里已经有答案了 方案1 int sum 30 double avg sum 4 result is 7 0 not 7 5 VS 方案2 int sum 30 double avg sum 4 0 Prints lns 7 5
  • 结构体的内存大小不同?

    为什么第一种情况不是12 测试环境 最新版本的 gcc 和 clang 64 位 Linux struct desc int parts int nr sizeof desc Output 16 struct desc int parts
  • 如何在JSTL中调​​用java方法? [复制]

    这个问题在这里已经有答案了 这可能是重复的问题 我只想调用不是 getter 或 setter 方法的方法例如 xyz 类的 makeCall someObj stringvalue Java类 Class XYZ public Strin
  • C 编程:带有数组的函数

    我正在尝试编写一个函数 该函数查找行为 4 列为 4 的二维数组中的最大值 其中二维数组填充有用户输入 我知道我的主要错误是函数中的数组 但我不确定它是什么 如果有人能够找到我出错的地方而不是编写新代码 我将不胜感激 除非我刚去南方 我的尝
  • java.lang.NumberFormatException: Invalid int: "3546504756",这个错误是什么意思?

    我正在创建一个 Android 应用程序 并且正在从文本文件中读取一些坐标 我在用着Integer parseInt xCoordinateStringFromFile 将 X 坐标转换为整数 Y 坐标的转换方法相同 当我运行该应用程序时
  • 测试弱引用

    在 Java 中测试弱引用的正确方法是什么 我最初的想法是执行以下操作 public class WeakReferenceTest public class Target private String value public Targe
  • Netty:阻止调用以获取连接的服务器通道?

    呼吁ServerBootstrap bind 返回一个Channel但这不是在Connected状态 因此不能用于写入客户端 Netty 文档中的所有示例都显示写入Channel从它的ChannelHandler的事件如channelCon
  • 我可以创建自定义 java.* 包吗?

    我可以创建一个与预定义包同名的自己的包吗在Java中 比如java lang 如果是这样 结果会怎样 这难道不能让我访问该包的受保护的成员 如果不是 是什么阻止我这样做 No java lang被禁止 安全管理器不允许 自定义 类java
  • 为什么使用小于 32 位的整数?

    我总是喜欢使用最小尺寸的变量 这样效果就很好 但是如果我使用短字节整数而不是整数 并且内存是 32 位字可寻址 这真的会给我带来好处吗 编译器是否会做一些事情来增强内存使用 对于局部变量 它可能没有多大意义 但是在具有数千甚至数百万项的结构
  • 如何在 Android 中使用 C# 生成的 RSA 公钥?

    我想在无法假定 HTTPS 可用的情况下确保 Android 应用程序和 C ASP NET 服务器之间的消息隐私 我想使用 RSA 来加密 Android 设备首次联系服务器时传输的对称密钥 RSA密钥对已在服务器上生成 私钥保存在服务器
  • C++ 继承的内存布局

    如果我有两个类 一个类继承另一个类 并且子类仅包含函数 那么这两个类的内存布局是否相同 e g class Base int a b c class Derived public Base only functions 我读过编译器无法对数
  • 使用特定参数从 SQL 数据库填充组合框

    我在使用参数从 sql server 获取特定值时遇到问题 任何人都可以解释一下为什么它在 winfom 上工作但在 wpf 上不起作用以及我如何修复它 我的代码 private void UpdateItems COMBOBOX1 Ite
  • 对于某些 PDF 文件,LoadIFilter() 返回 -2147467259

    我正在尝试使用 Adob e IFilter 搜索 PDF 文件 我的代码是用 C 编写的 我使用 p invoke 来获取 IFilter 的实例 DllImport query dll SetLastError true CharSet
  • 如何从 Maven 存储库引用本机 DLL?

    如果 JAR 附带 Maven 存储库中的本机 DLL 我需要在 pom xml 中放入什么才能将该 DLL 放入打包中 更具体地举个例子Jacob http search maven org artifactdetails 7Cnet s
  • 从 mvc 控制器使用 Web api 控制器操作

    我有两个控制器 一个mvc控制器和一个api控制器 它们都在同一个项目中 HomeController Controller DataController ApiController 如果我想从 HomeController 中使用 Dat

随机推荐

  • VMWare Workstation 16 安装 Ubuntu 22.04 LTS

    最近想编译Android8 1 系统源码 不太想安装双系统 先尝试用虚拟机安装Ubuntu来编译试试 过程中也遇到一些特殊的错误 因此做了一次记录 VMWare Workstation 16 的下载和安装这里不作介绍 网上也有很多注册码可用
  • (Animator详解一)mixamo动画导入Unity的一些配置

    Mixamo是Adobe公司出品的免费动画库 可商用 软件分为characters 角色 Animations 动画 两个部分 下方的搜索框可以搜寻你想要的动作动画 网址为 Mixamo 搜索框的子菜单表示动画的类别 当我们的项目需要角色动
  • 【Xilinx Vivado时序分析/约束系列2】FPGA开发时序分析/约束-建立时间

    目录 基本概念 数据结束时间 Data finish time 保持时间门限 保持时间余量 Hold Slack 基本概念 数据结束时间 Data finish time 之前解释了数据达到的时间 对于data arrival time T
  • cpu矿工cpuminer-multi编译与使用

    文章目录 编译步骤 cpuminer multi 矿工运行 cpuminer multi有很多不同前辈开发 这里选用star最多且最流行的 lucasjones cpuminer multi 在编译中遇到了很多坑 这里全部整合到流程中 如果
  • nimg 文件服务器,NIMG-45. DEEP LEARNING-BASED PERITUMORAL MICROSTRUCTURE MAPPING IN GLIOBLASTOMAS USING FR...

    摘要 PURPOSE Characterization of the peritumoral microenvironment is a widely researched but as yet unsolved problem Deter
  • K-近邻算法预测电影类型

    K 近邻算法预测电影类型 k 近邻算法是一种比较简单 但是在一些方面又有很多作用的算法 比较常用的就是推荐入住位置 或者推荐入住酒店等等 K 近邻算法的原理 就是根据特征值 计算出离自己最近的那个分类 自己也属于那个类别 K 近邻是一种分类
  • 吴恩达机器学习(三) 无监督学习

    Unsupervised Learning Unsupervised learning allows us to approach problems with little or no idea what our results shoul
  • Django框架

    目录 目录 一 虚拟环境 1 什么是虚拟环境 2 作用 3 wondows下安装使用 二 Django框架 1 安装Django 2 拓展 虚拟机和虚拟环境问题 2 1虚拟机的三种网络模式 3 创建Django项目 3 1完整创建Djang
  • Python中Print()函数的用法___实例详解(全,例多)

    Python中Print 函数的用法 实例详解 全 例多 目 录 一 print 函数的语法 二 print 打印输出文本 三 print 中空格的使用方法 四 Print 换行 五 区隔符 sep 六 制表符 t 七 输出数学表达式 八
  • Qt:可视化UI设计

    1 创建项目 修改组件的对象名字和显示文本内容 创建一个 Widget Application 项目类 QDialog 在创建窗体时选择基类 QDialog 生成的类命名为 QWDialog 并选择生成窗体 在界面设计时 对需要访问的组件修
  • AES 配合mybaties 实现指定字段自动加解密

    1 加密工具类 Slf4j public class AESUtil 密钥长度 128 192 or 256 private static final int KEY SIZE 256 加密 解密算法名称 private static fi
  • C/C++从字符串中提取出数字的方法回顾

    在对格式化的数据进行处理的时候 很多时候需要在字符串中进行数据的提取 如果使用Oracle数据库 可以用里面的非常强大的sqlldr功能进行数据的提取和导入 在C C 中 可以自定义个方法提取出数字字符串 再使用atoi atof之类的方法
  • 颜色空间之RGB与YUV

    此篇是我在学习中做的归纳与总结 其中如果存在版权或知识错误或问题请直接联系我 欢迎留言 PS 本着知识共享的原则 此篇博客可以转载 但请标明出处 RGB CIE1931 RGB系统选择了700nm R 546 1nm G 435 8nm B
  • VGGNet实现CIFAR-100图像识别-1(数据预处理,one-hot)

    VGGNet CIFAR 100 导入数据 数据预处理 方法1 方法2 可能会遇到的问题 解决办法 Normalization和拆分训练集 验证集 One hot编码 未完待续 接下来请看另一篇博文 VGGNet实现CIFAR 100图像识
  • js复制功能插件

    JavaScript内容复制插件Clipboard js
  • 《C语言编程魔法书:基于C11标准》——1.3 主流C语言编译器介绍

    本节书摘来自华章计算机 C语言编程魔法书 基于C11标准 一书中的第1章 第1 3节 作者 陈轶 更多章节内容可以访问云栖社区 华章计算机 公众号查看 1 3 主流C语言编译器介绍 对于当前主流桌面操作系统而言 可使用Visual C GC
  • ARMV8体系结构简介:AArch64系统级体系结构之存储模型

    1 前言 关于存储系统体系架构 可以概述如下 存储系统体系结构的形式 VMSA 存储属性 2 存储系统体系结构 2 1 地址空间 指令地址空间溢出 指令地址计算 address of current instruction size of
  • Xcode14 终于放弃了bitcode和armv7架构,还有iOS 9、iOS 10

    相信大家已经了解到了不少关于Xcode 14的新消息 什么精简安装包 按需下载功能模块 提升编译速度 更快的xib storyBoard和SwiftUI app icon 1024像素图片 Xcode 14还放弃了一些东西 1 放弃了bit
  • openssl md5

    关于 16位和32位 md5得到的是一个16字节的散列值 每个字节用16进制 0x 格式成两个字符 连起来得到一个32个字符的串这就是所说的32位 16位就是取的32位的中间段 md5 aabbccdd 32位 bf3b2290e229da
  • (海伦公式)已知三角形三条边长,求面积

    海伦公式 已知三角形三条边长 求面积 海伦公式 S p p a p b p c 其中p是三角形的周长的一半p a b c 2 以下转自百度百科 海伦公式海又译作希伦公式 海龙公式 希罗公式 海伦 秦九韶公式 传说是古代的叙拉古国王 希伦 H