三角形任意一外角大于不相邻的任意一内角

一.代数证明

在这里插入图片描述

∵ 对与△ A C B 中 ∠ c 外接三角形是 ∠ B C D ∵对与△ACB中∠c外接三角形是∠BCD 对与ACBc外接三角形是BCD
∴ ∠ B C D = π − ∠ C ∴∠BCD=\pi-∠C BCD=πC
∵ ∠ A + ∠ B + ∠ C = π ∵∠A+∠B+∠C=\pi A+B+C=π
∴ ∠ B C D = ∠ A + ∠ B ∴∠BCD=∠A+∠B BCD=A+B
∴ ∠ B C D > ∠ A ∧ ∠ B C D > ∠ B ∴∠BCD>∠A∧∠BCD>∠B BCD>ABCD>B

二.几何证明

在这里插入图片描述

在△ABC做边BC的中点F,连接AF做角平分线,找到A于F的对称点 A ′ A' A,连接 A ′ C A'C AC
∵ A F = A ′ F , B F = C F , ∠ B F A = ∠ C F A ′ ∵AF=A'F,BF=CF,∠BFA=∠CFA' AF=AF,BF=CF,BFA=CFA
∴ △ B F A ≌△ A ′ F C ∴△BFA≌△A'FC BFA≌△AFC
∴ ∠ B = ∠ F C A ′ ∴∠B=∠FCA' B=FCA
∵ ∠ F C A ′ 在 ∠ F C D 内 ∵∠FCA'在∠FCD内 FCAFCD
所以 ∠ F C D > ∠ B 所以∠FCD>∠B 所以FCD>B
∵ ∠ A + ∠ B = π − ∠ B C A = ∠ D C F , ∧ ∠ A + ∠ B < π 2 ∵∠A+∠B=\pi-∠BCA=∠DCF,∧∠A+∠B<\frac{\pi}{2} A+B=πBCA=DCF,A+B<2π
∴ ∠ A < π 2 − ∠ B ∴∠A<\frac{\pi}{2}-∠B A<2πB
∴ ∠ A < π 2 − π + ∠ B C A ∴∠A<\frac{\pi}{2}-\pi+∠BCA A<2ππ+BCA
∴ ∠ A + π 2 < ∠ B C A ∴∠A+\frac{\pi}{2}<∠BCA A+2π<BCA
∴ ∠ B C A > ∠ A ∴∠BCA>∠A BCA>A

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/413328.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

我在Vscode学OpenCV 图像处理五(直方图处理)

直方图是一种统计图&#xff0c;显示了图像中每个灰度级别&#xff08;或颜色通道&#xff09;的像素数量。通过分析图像的直方图&#xff0c;可以获得关于图像对比度、亮度和颜色分布等方面的重要信息。 直方图处理 一、直方图的意义二、绘制直方图2.1 直接使用Matplotlib.pyp…

关于Access中列的冻结的知识,看这篇就够了

在Microsoft Access中&#xff0c;有一个名为“冻结”的功能&#xff0c;使用户可以在滚动到另一个区域时保持数据表的某个区域可见。 可以使用冻结功能冻结数据表中的表、查询、窗体、视图或存储过程中的一个或多个字段。你冻结的字段将移动到数据表的左侧位置。 如何在Micr…

【云原生系列】容器安全

容器之所以广受欢迎&#xff0c;是因为它能简化应用或服务及其所有依赖项的构建、封装与推进&#xff0c;而且这种简化涵盖整个生命周期&#xff0c;跨越不同的工作流和部署目标。然而&#xff0c;容器安全依然面临着一些挑战。虽然容器有一些固有的安全优势&#xff08;包括增…

滚动菜单ListView

activity_main.xml <include layout"layout/title"/> 引用上章自定义标题栏 <?xml version"1.0" encoding"utf-8"?> <LinearLayout xmlns:android"http://schemas.android.com/apk/res/android"xmlns:app&qu…

PGSQL主键序列

PostgreSQL和 MySQL数据库还是有一定的区别。 下面了解一下 PGSQL的主键序列。 一、主键 1、系统自带主键序列 在 PostgreSQL 中&#xff0c;GENERATED BY DEFAULT 和 GENERATED ALWAYS 是用于定义自动生成的列&#xff08;Generated Column&#xff09;的选项。一般可作用…

Mybatis 分页插件 PageHelper

今天记录下 Mybatis 分页插件 pageHelper 的使用。 背景 有一个员工表(employee)&#xff0c;现在要使用 pageHelper 插件实现员工的分页查询。 员工表 create table employee (id bigint auto_increment comment 主键primary key,name varchar(32) not …

Flutter编译报错Connection timed out: connect

背景&#xff1a;用Android Studo 创建了Flutter项目&#xff0c;编译运行报错java.net.ConnectException: Connection timed out: connect 我自己的环境&#xff1a; windows11 Android Studio Flutter 截图如下&#xff1a; 将错误日志展开之后&#xff1a; Exception…

根据序列推出不同二叉树的个数

先序序列为a&#xff0c;b&#xff0c;c&#xff0c;d的不同二叉树的个数是&#xff08;&#xff09; A.13 B.14 C.15 D.16 他们有一个卡特兰数公式&#xff0c;就是这么解的&#xff1a;&#xff0c;所以选B 上面为正确答案&am…

protobuf

protobuf 简介 概念 protobuf 全称 Protocol buffers&#xff0c;是 Google 研发的一种跨语言、跨平台的序列化数据结构的方式&#xff0c;是一个灵活的、高效的用于序列化数据的协议。 特点 在序列化数据时常用的数据格式还有 XML、JSON 等&#xff0c;相比较而言&#xff0c…

Linux网络编程(二-套接字)

目录 一、背景知识 1.1 端口号 1.2 网络字节序 1.3 地址转换函数 二、Socket简介 三、套接字相关的函数 3.1 socket() 3.2 bind() 3.3 connect() 3.4 listen() 3.5 accept() 3.6 read()/recv()/recvfrom() 3.7 send()/sendto() 3.8 close() 四、UPD客服/服务端实…

SqlAlchemy使用教程(五) ORM API 编程入门

SqlAlchemy使用教程(一) 原理与环境搭建SqlAlchemy使用教程(二) 入门示例及编程步骤SqlAlchemy使用教程(三) CoreAPI访问与操作数据库详解SqlAlchemy使用教程(四) MetaData 与 SQL Express Language 的使用SqlAlchemy使用教程(五) ORM API 编程入门 前一章用SQL表达式(SQL Expr…

Linux miniGUI移植分析

框架介绍 常用GUI程序对比 https://www.cnblogs.com/zyly/p/17378659.html MiniGUI分为底层的GAL&#xff08;图形抽象层&#xff09;和IAL&#xff08;输入抽象层&#xff09;&#xff0c;向上为基于标准POSIX接口中pthread库的Mini-Thread架构和基于Server/Client的Mini-L…