试图将一个数学定理证明到最底层的数哲原理...

使用moveit!控制真实机械臂(5)——编写真实机械臂节点中的action服务程序 上一篇文章中,我们简要介绍了ROS中action的基本知识,为了控制真实机械臂,我们已经修改了moveit配置文件,使得moveti启动后具备一个control_msgs::FollowJointTrajectoryAction类型的action客户端,接下来,我们完成该类型action的另一半,编写C++程序来实现action的服务端。由于底层机器人控制程序一般差别都很大,这里展示的只是编程要点... 阅读详情


 

最近正在研究高数上的微积分一章, 目的是为了以后做机器学习和深度学习做准备, 但是2年没碰数学的我似乎连一些高中数学的问题都搞不定了, 于是选择了一个挑战任务: 证明切割线定理, 但是不同的是, 我试图不依赖其他的定理来证明它, 因此整个流程是这样的: 首先要证明切割线定理就要证明弦切角定理, 然后证明弦切角又需要二倍角(圆周角)定理的支持, 证明二倍角只需要知道三角形内角和等于180°, 那如何证明△内角和是180°呢, 我发现了一些神奇的现象!

如何证明切割线定理

切割线定理(Tangent-secant theorem) 指的是圆外关键一点P, 从P引出切线和割线, 然后集合图中出现了经过P的3个线段, 线段之间满足等比关系.

只要利用相似三角形和弦切角定理就能证明

相似三角形原理不用证明, 因为一眼就能看出来, 没有'玄学'的感觉[强迫症]

如何证明弦切角-圆周角定理呢?

弦切角是圆上一点引出的一条切线和弦(或者割线), 2条线的夹角,

而弦切角正好等于刚刚的弦对应的圆周角.

如何证明呢, 只要把圆心和几个点连一下, 根据圆心角等于2倍圆周角即可轻松证明. 过程略

可是我证到这儿还是TM不满意啊, 因为圆周角定理还是很玄乎哇, 不舒服!

证明圆周角等于圆心角一半!(太无聊了)

还是只要把圆心一连接就可以了, 我已经不想证明了, 因为和证明弦切角定理相比, 这次证明并没有实质性突破, 而且都用到了三角形内角和定理, 而且三角形内角和也非常好证明, 只要画一条平行线就行了:

可以看到, 最后的证明只用到了一个规则: 一个水平的角等于π(180°), 也就是图中l上的A点. 当然, 我们不需要证明一条直线上任意一点的角度等于π, 因为这只是一个标识. 所以到目前为止刨根问底式证明切割线定理完成了, 但总是感觉不满意, 不知道为什么总感觉这个三角形很奇怪, 为什么三角形稳定? 为什么这么简单的三角形不能一眼看出内角和是π?. 其实:

证明内角和没有意义, 外角和才有意义

多边形内角和公式是(n-2)*π, 但外角和永远是2*π, 让我感觉外角和才是真正问题的关键! 如何证明外角和是2*π?事实上内角和公式是由外角和推导出来的. 有一种直观的极限几何解是我最喜欢的解法:

这个动图中, 当视角无限放大, 中间的多边形变成了一个点, 所有的外角正好围成了一周, 

试图在降维打击中找到线索...

上面通过极限积分的方式将多边形面降成了一个点, 正是一个降维的思想, 也可以用向量来表示多边形,  比如三角形, 可以看成是一条路径, 向量从起点A出发, 经由B, C回到A, 每次转弯旋转的角度就是一个外角, 旋转一周正好是2*π, 所以说, 三角形不过是一维向量运动得到的一个二维错觉, 虚拟的高维度几何都可以序列化成低维度的线性集合, 这就是向量的本质, 通过运动来实现虚拟化.

 所以说, 想了解几何学的本质还是的通过降维的思想.

 


 

 

其实这篇文章写得很烂, 大部分都是主观意识下瞎猜的, 如果觉得有不合理的地方就以你自己的认知为主吧.

【软考中级网络工程师】知识点之 ICMP 协议 本文聚焦软考中级网络工程师必备的 ICMP 协议知识,先概述其在 TCP/IP 协议族网络层的地位与无连接特性,再阐述差错报告、网络诊断等功能。解析报文格式,详解差错与查询类报文类型及工作机制,还介绍其在 Ping、Traceroute 命令中的应用,分析常见攻击与防范措施,最后总结核心要点,为网络工程师学习和应用 ICMP 协议提供全面指导。 阅读详情

相关推荐

瑞芯微RK3588开发板VSCode远程开发全攻略:从SSH配置到插件优化

本文详细介绍了如何在瑞芯微RK3588开发板上配置VSCode远程开发环境。从Ubuntu系统下的SSH服务设置、VSCode Remote-SSH扩展安装,到连接建立、基础工具链部署,再到针对ARM平台的性能优化与调试配置,提供了一套完整的实战指南,帮助开发者高效利用本地资源进行嵌入式开发。

weixin_28831341的博客 625

切割线定理

概念: 切割线定理:从圆外一点引圆的切线和割线,切线长是这点到割线与圆交点的两条线段长的积的平方根。 证明:连接AT, BT。 ∵ ∠PTB=∠PAT(弦切角定理);∠APT=∠TPB(公共角); ∴ △PBT∽△PTA(两角对应相等,两三角形相似); ∴PB:PT=PT:AP; 即:PT²=PB·PA。 ...

有的话没说出来之前,你是他的主人,一旦说出来你就成了他的奴隶||想要干好事,别太把自己当人,别把别人太不当人||认识这个人就是开了一扇窗户,就能看到不一样的东西,听到不一样的声音,能让你思考、觉悟,这已经够了 5915

STM32项目实战_基于STM32F103的智能药箱设计与实现(硬件详解+软件逻辑+调试要点)

本文详细介绍了基于STM32F103的智能药箱设计与实现,涵盖硬件设计、软件逻辑和调试要点。项目核心功能包括精准提醒、药品管理和远程监控,采用STM32单片机作为主控,结合光电开关、蓝牙模块等实现智能化管理。文章还分享了电路图设计、程序优化及常见问题解决方案,为嵌入式开发爱好者提供实用参考。

weixin_28717683的博客 303

数学定理证明杂记

外接圆证明正弦定理 只需证明任意三角形内,任一角的边与它所对应的正弦之比值为该三角形外接圆直径即可。 现将△ABC,做其外接圆,设圆心为O。我们考虑∠C及其对边AB。设AB长度为c。 1.若∠C为直角,则AB就是⊙O的直径,即c= 2r。 ∵ sin C = 1 (特殊角正弦函数值) ∴ csinC=2R\frac{c}{sinC} = 2R 2.若∠C为锐角或钝角,过B作直径B

liujiabin blog 1571

小论文/大论文必备 | YOLO多模态目标检测、绘制曲线对比图 | 引入多种绘制曲线对比图,包括mAP0.5,mAP0.5:0.95,Loss损失变化的曲线对比

本文通过可视化方法分析YOLO多模态模型的训练过程,对比不同实验的检测精度和损失函数变化。主要内容包括:1)绘制mAP@0.5和mAP@0.5:0.95曲线评估检测精度;2)分析边界框回归损失(box_loss)、分类损失(cls_loss)和分布式损失(dfl_loss)的收敛趋势;3)提供完整的Python代码实现,支持多实验对比,可生成高清曲线图。该方法能直观展示模型训练效果,便于优化策略评估和参数调优。

Ai缝合怪、助力小伙伴高效发论文 261

让 ABAP 内表真正释放内存:从 CLEAR、FREE 到打破 Table Sharing 的实战技巧

ABAP内表内存管理的关键在于理解其运行时结构:DELETE操作仅逻辑删除行而不会释放内存,CLEAR或FREE才能真正回收内存。常见的误区包括误判空表状态和忽视内表共享机制。实际应用中,大表筛选后应采用VALUE表达式或逐行插入方式重建表体以释放内存。典型案例显示,正确处理内表内存可显著降低SAP Gateway和批处理程序的内存消耗,提升系统稳定性。开发时需结合调试工具观察内存状态,避免因共享机制导致无效回收。

2007 年 ~ 2025 年,深耕 SAP 技术 18 年 325

有趣的数学证明

转载于:http://www.sohu.com/a/168424225_607269 “谢谢大家出席这次会议,大家能给我们数学界第一的十大最帅气证明一个面子,是我们十兄弟的荣幸,再次谢谢各位兄弟姐妹的捧场”! “呸,我们十大最凶残公式才是数学界第一,我们曾经在英国的科学期刊《物理世界》被评为世界最伟大的十大公式,你们算啥?” “原来是喜欢砸场子的十大公式,你们虽然在数学界小有名气,可是想

amcle的博客 7996

模型实战(31)之 yolo26 实现对手部关键点数据集 的训练与关键点检测

模型实战(31)之 yolo26 实现对手部关键点数据集 的训练与关键点检测

yohnyang的博客 210

数学中的伟大定理:海伦公式的推导过程

Ruger的博客 1万+

200、从零搭建具身智能实验平台:硬件选型软件栈与调试

我一开始图便宜,3D打印了一个平行夹爪,结果抓取力不够,稍微重点的物体就滑落,而且开合控制延迟大,VLA模型输出的动作指令根本跟不上。如果你非要自己做,记住两个原则:一是用谐波减速器而不是直驱,二是加力传感器,哪怕是一个简单的电阻应变片也行——没有力反馈,你的夹爪就是个瞎子。我的建议是,如果你用的是UR5老款,ROS1的ur_modern_driver包更成熟,但如果你要跑最新的VLA框架,很多库已经不支持ROS1了。所以,保持耐心,多备份代码,多记录日志,少熬夜。毕竟,这条路上,我们都是摸着石头过河。

sundong_81的博客 39

Qt5.14.2开发Mqtt应用程序

然后,你就做不下去了…很明显,大部分博主写的东西不是缺头就是缺尾,带偏了许多读者。,因此我们需要clone的是这个分支版本,而不是这个默认的。然后将编译产物中include里的所有.h文件复制到。下载完后直接默认安装即可,这一步没什么好说的。看到了没,这个才是正确的操作方式,而主线的。信号来判断,自行实现自己的槽函数。然后选择构建方式,这里我选择的是。信号来判断自行实现自己的槽函数。信号来判断自行实现自己的槽函数。源代码,如下图所示,双击打开。收到下行消息时,可以通过连接。

Bruce.yang的嵌入式之旅 2312

VMware VMotion迁移与原理

VMware VMotion的重要性自然是不言而喻,VMware VMotion能够在两台正在运行的服务器之间进行实时迁移,具有零停机性能,能够大幅度提高了服务器的可用性,保证交易数据的完整性。用户可以手工迁移服务器上的虚拟机至另外一台服务器,从而在不间断服务的情况下,升级和维护原来的服务器。多个服务器之间可以自动迁移虚拟机,从而达到负载均衡,提高资源利用率的目的。同时,这项技术还可以实现双机或多

全栈空间 2万+

【嵌入式硬件】DRV8874电机驱动

1)N沟道H桥电机驱动;2)驱动1个双向有刷直流电机;3)2个单向有刷直流电机;4)4.5V-37V工作电压范围;5)集成电流感测和调节;6)成比例电流输出(IPROPI);7)可选电流调节(IMODE):逐周期或固定关断时间;8)支持1.8、3V、5V逻辑输入;9)集成保护:欠压、电荷泵欠压、过流保护、输出关闭、热关断、自动故障恢复。

qq_39200110的博客 4426

浅谈SRAM与DRAM的异同

在上体系结构这门课之前,我只知道DRAM用作内存比较多,SRAM用作cache比较多。在今天讲到内存技术时,我对于这两个基础概念有了更加完整的认识。这篇文章是我的听课心得,现在分享给各位,仅供参考,若有错误多多指正。   从名字上看,SRAM与DRAM的区别只在于一个是静态一个是动态。由于SRAM不需要刷新电路就能够保存数据,所以具有静止存取数据的作用。而DRAM则需要不停地刷新电路,否则内

全栈空间 1万+

SIMATIC S7-1200, S7-1500 PID 控制[手册]

SIMATIC S7-1200, S7-1500 PID 控制[手册]

OV9734 DATASHEET,完整规格书

OV9734完整规格书,包括电气参数,尺寸规格,寄存器配置表等

linux下使用Stunnel配置与使用方式一例

第一部分:stunnel的安装与配置 注:在ubuntu下,stunnel的安装很简单快捷。 在synaptic(安立得工具系统下可以直接选举安装)   在服务器环境下,直接使用apt-get install stunnel4即可。      第二部分:stunnel的配置 (服务器端和客户端的配置两个方面,stunnel 客户方式不需要证书。stunnel 服务方式需要...

全栈空间 1万+

锂电池充电器电路设计 里面有电路

锂电池充电器电路设计 里面有电路 3.7V升压到5V电路设计。

vSphere共享存储全配置流程

1、Openfiler的安装 Openfiler 由rPath Linux驱动,它是一个基于浏览器的免费网络存储管理实用程序,可以在单一框架中提供基于文件的网络连接存储 (NAS) 和基于块的存储区域网 (SAN)。Openfiler 支持 CIFS、NFS、HTTP/DAV 和 FTP 本次实验目的为创建一个openfiler虚拟机,来作为ESXi的存储。地址如下: 192

全栈空间 1万+

汉书HE8,好用的汇编代码编写工具

汉书HE8,好用的汇编代码编写工具早期编写汇编代码所用功能强大

selenium中WebElement.getText()为空解决方法

当使用getText()获取一个普通的链接文本时: Html代码   a href="http://www.baidu.com">baidua>   如果得到的文本只为空,而非我们期望的baidu.那么尝试使用WebElement.isDisplayed()时候,将会得到false的结果.再尝试使用getAttribute("href"),发现能够争取获取href

全栈空间 9677

HTTPS的重大漏洞:豆腐(TOFU)

“豆腐”漏洞简介 之前写了一篇https的介绍,这里,文中从软件学公理一步步推导出https的实现原理,但是貌似在后面一部分出现了某种概念断层,就是在“服务器如何认证浏览器”这一点上没有安全的保证。后来仔细研究了一下,原来并不是因为我的知识盲区,而是https确实有一个漏洞。 先放出结论,TOFU漏洞如图所示: 首先需要理解https和ssh的区别。 HTTPS = SSH + ...

全栈空间 8470

Java虚拟机和WebAssembly共性的一点遐想

C, Java, TypeScript到底怎么运行的?   最近突然想起来C语言源文件在不同平台下编译得到的二进制文件是不同的, 这个古典问题又让我联想到JVM虚拟机以及webassembly, 他们之间到底有什么关系, 又是怎么演变而来的呢?   在一个技术交流群内,有朋友问:“linux下的bin文件是在大多数linux平台下都能运行的码?比如Ubuntu下的bin能放在redhat上运行...

全栈空间 4131

vCenter创建标准网络

vmware虚拟化,有2种网络类型,一种是标准网络,另外一种是分布式网络。这里重点介绍标准网络,标准网络可通过vCenter创建vSwitch标准虚拟交换机(vSS)。vSS的承载体是物理的ESXI主机,一个vSS可以有一块或者多块网卡。一般添加多块网卡到一个vSS,这样可提供网络的冗余。创建好vSS后,需要在vSS创建一个或者多个端口组。通一个端口组之间属于同一网络,可以相互通信,可类比VLAN

全栈空间 3835

域名的存在到底有什么[特殊]意义?

在各大百科平台或者博客教程搜索'域名'是什么东西, 他们都会告诉你, 域名是ip地址的替代品, 为了方便用户记忆而发明出来的,比如: 网域名称系统(DNS,Domain Name System,有时也简称为域名)是因特网的一项核心服务,它作为可以将域名和IP地址相互映射的一个分布式数据库,能够使人更方便的访问互联网,而不用去记住能够被机器直接读取的IP地址数串。  然而这种说法是错误的! ...

全栈空间 3558

2019春招前端面试预测题!

使用css实现一个持续的动画效果 1 2 3 4 5 animation:mymove 5s infinite; @keyframes mymove { from {top:0px;} to {top:200px;} } 主要考:animation 用法 值 描述 animation-name 规定需要绑定到选择器的 keyfr...

全栈空间 3493

我是这样理解HTTPS的

我敢保证, 大多数web开发者对https的核心原理是很模糊的, 许多人都只会使用, 还有一些人都不会上https.. 很荣幸, 因为在公司吃得太饱, 我上次上班时候假装花了整整2天时间研究https的工作原理, 没想到最后居然研究出来了... 然后索性向公司的CA机构索要了一份SSL证书, 给某一个内网上了https. 只能说工作的时候留下50%的时间学习是很重要的投资. 其实这篇文章是...

全栈空间 3065

UE像素流,来颗“减肥药”吧!

像素流是虚幻引擎UE5提供的前后端分离框架:服务器运行UE5,前端渲染UI,中间传输视频流。这样,即使是无显卡的低端电脑或手机也能访问运行着UE5的服务器。 但是UE官方的像素流代码库非常臃肿,文档匮乏,难以直接使用,我们将其改造成轻量版的,开箱即用的像素流前端库以及信令服务器,地址: https://github.com/inveta/peer-stream。 除此之外,我们还开发了与之配套的工具链,自动化监护像素流的生命周期,即使服务器无人管理也能正常运行。拜UE5的HLOD技术(Nanite以及Wor

全栈空间 2475

mysql中整数类型后面的数字,是不是指定这个字段的长度?比如int(11),11代表11个字节吗?

原先对mysql不太理解,但也没有报错。但理解的不够深入。这次补上。 原来以为int(11)是指11个字节,int(10)就是10个字节。我错了。   http://zhidao.baidu.com/link?url=puYWaGBQNKNHgffO5kdvXshF3KmX8OuB4Mor3HXapbNHa8m1CdlF8PJTqVuKa1eKcEd6Bv2NKUr3I-KJr5

全栈空间 2309

移动前端兼容操作总结

移动端Web页面,即常说的H5页面、手机页面、webview页面等。手机设备屏幕尺寸不一,做移动端的Web页面,需要考虑在安卓/IOS的各种尺寸设备上的兼容,这里总结的是针对移动端设备的页面,设计与前端实现怎样做能更好地适配不同屏幕宽度的移动设备。适配的目标引用一文章的描述:在不同尺寸的手机设备上,页面“相对性的达到合理的展示(自适应)”或者“保持统一效果的等比缩放(看起来差不多)”。概念理解在做...

全栈空间 2230
上一篇: 此博客的新域名!
下一篇: 记录一次Stack上关于"数学之美"的brainstorm
xosg
xosg 领域专家: 网络协议与安全技术领域 领域专家: 网络协议与安全技术领域
博客等级 码龄9年 1986粉丝 864原创
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

xosg

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值