iseemu2009 发表于 2025-2-1 20:07
下面我上传自己编的给三角形ABC（a=11,b=9,c=7）求等圆半径和各类线段长度的 Mathematica程序，主要用到了 ...
你的所谓乱码，肯定是因为操作系统编码的问题
我上传了n个圆的绘图程序，及CAD高精度作图，从两个方面全面了解本问题相关结论。
我想知道是怎么证明的？
iseemu2009 发表于 2025-2-1 19:36
关于本问题的总结3
你这个双曲正切公式是怎么得来的. 是观察得出, 还是推导得来的,还是 兼而有之. 一句话: 你是怎么 一步一步走出来的.
我们设\(x=\frac{a}{b+c},y=\frac{b+c-a}{a+b+c}\), 于是\(y=\frac{1-x}{1+x}, x=\frac{1-y}{1+y}\)
由于\(\tanh(t)=\frac{e^t-e^{-t}}{e^t+e^{-t}}=\frac{1-e^{-2t}}{1+e^{-2t}}\)
所以我们得到\(e^{-2t}=\frac{1-\tanh(t)}{1+\tanh(t)}\)
设\(e^{-2u}=y=\frac{b+c-a}{a+b+c}=\frac{1-\tanh(u)}{1+\tanh(u)}\)
于是我们由\(\tanh(u)=\frac{1-y}{1+y}=x\), 于是\(u=\tanh^{-1}(x)\)
类似继续计算，我们就可以得出\(1-\frac{2r}h=\tanh(\frac un)\)
iseemu2009 发表于 2025-1-27 12:37
如图所示，三角形 ABC 中，AB=19，BC=26，CA=15。D、E、F、G、H 在边BC上，连接 AD、AE、AF、AG、AH，使相 ...
这题目有毒,因为还可以继续玩下去. 题主只是给出了$n=6$,但是我们可以计算一下$n=500$时所有的AD,AE,AF,AG,...的长度. 我们依次重新编号为$AX_{k}, k=1,2,...,501,$.也即是$AX_{1}=AB,AX_{501}=AC$, 谁能给出$AX_{250}$,甚至$AX_{k}$的长度
wayne 发表于 2025-2-5 09:51
这题目有毒,因为还可以继续玩下去. 题主只是给出了$n=6$,但是我们可以计算一下$n=500$时所有的AD,AE,AF,AG ...
我52#上传了自己编写的“任意三角形的a边上的n个等圆求任意线段长度和等圆半径”的 Mathematica 程序，以及特例 n=6时的CAD精确作图进行验证。大家可以下载看看程序里有想要的东西。
在三角形边长 a=11，b=9，c=7，n=6 的情况下，各级圆系如图所示。
3，4圆系
5，6圆系