三角形内切圆半径公式
触碰标题下面一行的“邵勇老师”查看所有文章；触碰“数学教学研究”, 关注本微信公众号(sx100sy)。本公众号内容均由邵勇( 北京 )本人独创，欢迎转发，但未经许可不能转载。每周推送两到三篇内容上有份量的数学文章，但在行文上力争做到深入浅出。几分钟便可读完，轻松学数学。?特别声明，本人未曾授权任何网站(包括微博)、公众号或其他什么号转载北京邵勇原创的“数学教学研究”公众号的内容。建议您一定直接关注本公众号(sx100sy)，这样有什么问题可以留言交流和发消息，我会诚恳回复。未经授权而转载我文章的地方丢失了很多功能，比如留言，比如发消息到我后台。未经授权而转载我文章的地方，毕竟还存留着贯穿于我文章中的图片(比如公式)，图片的右下角都有原公众号的水印“微信号:sx100sy”，通过在微信中搜索“sx100sy”，一定可以找到原始的公众号，也就是本公众号《数学教学研究》(sx100sy)并加以关注。本公众号才是良好的交流平台和文明的生态环境。设三角形外接圆半径为R，内切圆半径为r。那么有结论：本期提供两种证明方法。第一种证法利用欧拉公式，即外接圆圆心（外心）与内切圆圆心（内心）距离的平方等于外接圆半径的平方减去外接圆半径与内切圆半径乘积的2倍：显然，所以结论得证。有关上面这个欧拉公式（以欧拉命名的公式很多）的证明，请阅读本公众号之前的文章（见文后链接）。第二种证法如下图所示。有三角形ABC，设它的外接圆（过三个顶点的圆，下图中绿色）半径为R。顶点A、B、C的对边中点分别为D、E、F。过D、E、F三点作圆O’（下图中蓝色）。因为三角形ABC与三角形DEF相似且相似比为2:1，所以，三角形ABC的外接圆O的半径与三角形DEF的外接圆O’的半径之比也为2:1。所以，圆O’的半径为R/2。显然，若三角形ABC不是等边三角形，比如AB不等于AC，则BC边上的垂足H与BC边中点D不重合，所以圆O’有一段弧在边BC的外侧。于是可以在BC边外侧作一条与圆O’相切且与BC平行的直线，如下图B’C’所示。同样可以作出另外两条切线，从而得到一个三角形A’B’C’。从而，圆O’就是三角形A’B’C’的内切圆。三角形A’B’C’与三角形ABC相似，且对应边互相平行，但最重要的一点是三角形A’B’C’比三角形ABC大。从而三角形A’B’C’的内切圆O’的半径比三角形ABC的内切圆半径大。也就是R/2 > r，即R > 2r。在三角形ABC为等边三角形时，三个垂足都与同一边上的中点重合，从而圆O’就是内切圆。于是，最终有：[ 其实，图中蓝色圆O’就是所谓的三角形ABC的九点圆，九个点是三个三边中点（图中蓝色），三个垂足（图中黄色）和三个垂心与顶点连线的中点（图中绿色）。]这第二个证明从图上看是很显然的，但还是需要给出我上面的证明才严谨，并且通过证明，我们又复习了一些几何知识，比如九点圆。还知道第三种方法，以后讲。这也可以算做一个著名的不等式了吧！第一种证法所用知识的链接：?《欧拉公式 ( 有关三角形的内外心距离 ) 》。
