首页 > 其他分享 >数学证明

数学证明

时间:2023-11-28 18:11:06浏览次数:28  
标签:AC angle AD DBA DBC DB 证明 数学

如果有证明还有其他简单的方法的话,或者是还有证明想放上去的话可以私信我哦。

几何板块

勾股定理

1. 赵爽弦图

image

\(4×(ab/2)+(b-a)^2= c^2\)
\(a^2+b^2=c^2\)

2. 加菲尔德证法

image
image
image
image
image
image
image
image

3. 加菲尔德证法变式

image
image
image
image

4. 青朱出入图

image

......此处省略

海伦公式

image
image
image
image
image
此时化简得出海伦公式,证毕。

三角形外角定理

image
\(\angle 1=\angle A,\angle 2=\angle B\)
\(\therefore \angle1+\angle2=\angle A+\angle B\)

等角对等边

image
\(如图,DB⊥AC,∠A=∠C,求证:DA=DC\)
\(证明:∵ DB⊥AC(已知)\)
\(∴ ∠DBA=∠DBC=90°(垂直定义)\)
\(在△DBA和△DBC中,∠DBA=∠DBC(已证)\)
\(∠A=∠C(已知)\)
\(DB=DB(公共边)\)
\(∴△DBA≌△DBC(AAS)\)
\(∴DA=DC(全等三角形的对应边相等)\)

等边对等角

image
\(作AD平分∠BAC\)
\(∴∠BAD=∠CAD(角平分线定义)\)
\(在△ABD与△ACD中:\)
\(AB=AC(已知)\)
\(∠BAD=∠CAD(已证)\)
\(AD=AD(公共边)\)
\(∴△ABD\cong△ACD(SAS)\)
\(∴∠B=∠C(全等三角形对应角相等)\)

image

标签:AC,angle,AD,DBA,DBC,DB,证明,数学
From: https://www.cnblogs.com/BadBadBad/p/ZhengMing.html

相关文章

  • 【具体数学】理性愉悦第二章
    求和因子在第一章中,我们对于递归式\[T_0=0,\\T_n=2T_{n-1}+1\\(n>0)\]使用了两边\(+1\)然后转化为\(U_n\)的方法,从而得出\(T_n=2^n-1\)。我们还可以采用另外一种方法。令两边除以\(2^n\),\[\dfrac{T_n}{2^n}=\dfrac{T_{n-1}}{2^{n-1}}+\dfrac{1}{......
  • NX二次开发 用数学函数获得两点的距离
    简介:    NX二次开发用数学函数获得两点的距离。代码://获得平面上2点距离doublegetPointToPointDis(doublep1[2],doublep2[2]){returnsqrt((p1[0]-p2[0])*(p1[0]-p2[0])+(p1[1]-p2[1])*(p1[1]-p2[1]));}    me.hpp内容:文章作者:里海......
  • 数学及数学相关 学习笔记
    数学及数学相关目录前置知识与符号定义快速幂素数筛裴蜀定理扩展欧几里得算法(exgcd)同余方程费马小定理模意义下的乘法逆元欧拉定理卢卡斯定理中国剩余定理0.前置知识与符号定义0.0缺省源由于篇幅原因,下文的代码自动省略以下片段:#include......
  • 复旦大学数学学院23级高等代数I期中考试精选大题解答
    四、求解下列线性方程组,其中$a_1,\cdots,a_n,b$为参数且$\sum\limits_{i=1}^na_i\neq0$:$$\begin{cases} (a_1+b)x_1+a_2x_2+a_3x_3+\cdots+a_nx_n=0,\\ a_1x_1+(a_2+b)x_2+a_3x_3+\cdots+a_nx_n=0,\\ a_1x_1+a_2x_2+(a_3+b)x_3+\cdots+a_nx_n=0,\\ \hfill\cdots\cdots......
  • 一个最大张角尺规可作性命题的分析与证明
    命题:在平面直角坐标系中,从x轴的上方任意取定不同两点M和N.则通过尺规作图一定可以找出x轴上的一点Q,使得MQN张角最大.分析与证明:先证明最大张角点的存在性.第一步:若最大张角点存在,考察其满足什么性质.如上图所示,直线AB为x轴,M和N是x轴上方不同两点.记M和......
  • 考研数学笔记:在计算无穷限积分的时候,要注意应用极限的思想
    在计算无穷限积分的时候,要注意应用极限的思想对于含有反三角函数的积分可以用对应的三角函数代换求解如何通过通解还原微分方程?判断微分方程解的形式有时候需要分类讨论......
  • 贪心基础证明
    1.区间划分acwing905按照区间右端点来排序,如果当前点能覆盖到则继续往下读,如果不能覆盖到则点数加一,该点更新为下一个区间的最右端点1#include<bits/stdc++.h>2usingnamespacestd;34intn;5constintN=1e5+10;67//-----------------问题一:重载......
  • 组合数学(苹果盘子问题)
    初赛题目中往往会出现将多少东西(相同或者不同),分到一些容器(相同或者不同)中,允许或者不允许空的问题,这里我们就统一总结一下。本篇博客中,物品统一称为苹果,容器统一称为盘子,因而得名为苹果盘子问题。1.苹果相同,盘子不同,不允许空思路:既然苹果是相同的,盘子是不同的,那么实际上我们的问......
  • pycharm 中 markdown 数学公式无法显示怎么办
    pycharm自带的markdown确实一大堆问题,公式显示不出来,插件主页里一堆差评。如果确实要在python里用markdown,并且要在markdown里用公式的话,建议去下载一个MarkdownEditor插件。 ......
  • 【数学】LGV 引理
    题目描述这是一道模板题。有一个\(n\timesn\)的棋盘,左下角为\((1,1)\),右上角为\((n,n)\),若一个棋子在点\((x,y)\),那么走一步只能走到\((x+1,y)\)或\((x,y+1)\)。现在有\(m\)个棋子,第\(i\)个棋子一开始放在\((a_i,1)\),最终要走到\((b_i,n)\)。问有多少种方案,使得......