数学研发论坛

 找回密码
 欢迎注册
楼主: lsr314

[提问] 三角形内三个四边形的内切圆

[复制链接]
 楼主| 发表于 2018-12-27 00:34:33 来自手机 | 显示全部楼层
本帖最后由 lsr314 于 2018-12-27 00:41 编辑
数学星空 发表于 2018-12-26 21:10
对于存在三个等内切圆时,三角形三边需满足关系EF平行于底边BC时)

\(5a^4-2a^2b^2-2a^2c^2-3b^4+6b^2c^ ...


一般的情况可以这样作图:先从一点P向外做三条射线,然后在三个角的角平分线上各取一点,以这一点为圆心作与角的两边相切的圆,通过移动点的位置,可以让三个圆的半径相等,然后作这三个圆的两两外公切线,得到三个交点,以这三个交点为顶点的三角形,就存在三个等圆,而此时三角形的形状完全由开始的三条射线的夹角确定,并不一定是正三角形。

点评

这个计算量太大了,需要考虑其它计算方案  发表于 2018-12-27 09:38
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 08:06:35 | 显示全部楼层
circles.png circles.png
作出一个比较一般情况的三等圆情况,应该不满足星空的条件

点评

猜测如果存在的话,点P是唯一的  发表于 2018-12-27 13:01
6个方程,6个变量,应该可以得到P点,结果是离散点,一般有几个点呢?12?  发表于 2018-12-27 10:42
也就是给定一个三角形,应该只有有限个P使得三个圆半径相等  发表于 2018-12-27 10:31
按自由度分析,给定P,选择圆的半径和PD,PE,PF之间的两两夹角大小总共只有三个自由度,但是可以唯一确定三角形的大小和形状(三个自由度)。所以从这个角度来说,两者维度是一样的。  发表于 2018-12-27 10:31
嗯,的确存在,那么p的运动轨迹能否画出来呢?  发表于 2018-12-27 09:46
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 10:02:09 | 显示全部楼层
对于给定的三角形$ABC$,可以唯一的做出三条内角平分线,交于一点。 然后给定半径$r$,分别在三条角平分线上取内切的小圆圆心,做切两边的小圆, 然后,继续取三个小切圆两两之间的内公切线,计算六条内公切线之间 共点状况,这样做 会不会更加简洁一点。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 13:28:47 | 显示全部楼层
mathe 发表于 2018-12-27 08:06
作出一个比较一般情况的三等圆情况,应该不满足星空的条件

P点是不唯一的
可以使用wayne的方法作图,用几何画板,对于随便选一个三角形,选择一个圆的半径(可以动态改变),就可以作出三个圆和它们两两间的内公切线。
然后改变半径长度,如下图可以对相同的三角形得到至少三个不同的解(黑色的点为符合条件的解),其中有两个是三个圆有公切线的特殊情况
p1.png
p2.png
p3.png

点评

最好是三个凸四边形  发表于 2018-12-27 15:12
如果要求PD、PE、PF互不共线,点P是否唯一呢,因为共线的时候,并没有划分为三个四边形,其中有一个是退化为三角形了,圆是和反向延长线相切的  发表于 2018-12-27 15:10
图中画了红绿黄三种不同颜色的线代表不同的内公切线。三线交点或两线重合和第三线相交均可  发表于 2018-12-27 15:01
P就是黑色点,可以满足的呀  发表于 2018-12-27 14:59
楼主的要求是PE,PF,PD分别与三个等圆中的两个相切,显然你上面给的三个图都不满足  发表于 2018-12-27 14:27
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 15:56:38 | 显示全部楼层
P点是不唯一的,而且根据作图的内公切线的分组的特点,好像可以得到结论:
1) 符合条件的P点是不同颜色的三条内公切线相交,也就是说其个数是2个,或者1个(重合)

2) 这两个符合条件的点的连线的中点 刚好就是 三个圆心组成的三角形的重心[中线交点]。

Screenshot_2018-12-27_16-08-04.png


我是用Geogebra作图的,作图文件也分享出来:

1.ggb

50.94 KB, 下载次数: 1, 下载积分: 金币 -1 枚, 经验 1 点, 下载 1 次

点评

P点的个数似乎跟最大内角有关,这里是钝角A。  发表于 2018-12-27 16:31
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 20:25:57 | 显示全部楼层
关于三角形ABC内存在点P分成三个等内切圆需满足下列6个方程,涉及6个未知数\({x,y,z,x0,y0,r0}\),其中\(PD=x,PE=y,PF=z,P(x0,y0)\),内切圆半径为r0,三角形ABC面积为s

\(a^5-3a^4b-3a^4c-6a^4x+4a^4y+4a^4z+2a^3b^2+8a^3bc+12a^3bx-8a^3by-8a^3bz+2a^3c^2+12a^3cx-8a^3cy-8a^3cz+12a^3x^2-16a^3xy-16a^3xz+4a^3y^2+12a^3yz+4a^3z^2+2a^2b^3-6a^2b^2c-6a^2bc^2-24a^2bcx+16a^2bcy+16a^2bcz-12a^2bx^2+16a^2bxy+16a^2bxz-4a^2by^2-12a^2byz-4a^2bz^2+2a^2c^3-12a^2cx^2+16a^2cxy+16a^2cxz-4a^2cy^2-12a^2cyz-4a^2cz^2-8a^2x^3+16a^2x^2y+16a^2x^2z-8a^2xy^2-24a^2xyz-8a^2xz^2+8a^2y^2z+8a^2yz^2-3ab^4-12ab^3x+8ab^3y+8ab^3z+6ab^2c^2+12ab^2cx-8ab^2cy-8ab^2cz-12ab^2x^2+16ab^2xy+16ab^2xz-4ab^2y^2-12ab^2yz-4ab^2z^2+12abc^2x-8abc^2y-8abc^2z+16abcr0^2+24abcx^2-32abcxy-32abcxz+8abcy^2+24abcyz+8abcz^2-3ac^4-12ac^3x+8ac^3y+8ac^3z-12ac^2x^2+16ac^2xy+16ac^2xz-4ac^2y^2-12ac^2yz-4ac^2z^2+b^5+b^4c+6b^4x-4b^4y-4b^4z-2b^3c^2+12b^3x^2-16b^3xy-16b^3xz+4b^3y^2+12b^3yz+4b^3z^2-2b^2c^3-12b^2c^2x+8b^2c^2y+8b^2c^2z-16b^2cr0^2-12b^2cx^2+16b^2cxy+16b^2cxz-4b^2cy^2-12b^2cyz-4b^2cz^2+8b^2x^3-16b^2x^2y-16b^2x^2z+8b^2xy^2+24b^2xyz+8b^2xz^2-8b^2y^2z-8b^2yz^2+bc^4-16bc^2r0^2-12bc^2x^2+16bc^2xy+16bc^2xz-4bc^2y^2-12bc^2yz-4bc^2z^2-32bcr0^2x-16bcx^3+32bcx^2y+32bcx^2z-16bcxy^2-48bcxyz-16bcxz^2+16bcy^2z+16bcyz^2+c^5+6c^4x-4c^4y-4c^4z+12c^3x^2-16c^3xy-16c^3xz+4c^3y^2+12c^3yz+4c^3z^2+8c^2x^3-16c^2x^2y-16c^2x^2z+8c^2xy^2+24c^2xyz+8c^2xz^2-8c^2y^2z-8c^2yz^2+16a^2r0s-32abr0s-32acr0s-64ar0sx+32ar0sy+32ar0sz+16b^2r0s+32bcr0s+64br0sx-32br0sy-32br0sz+16c^2r0s+64cr0sx-32cr0sy-32cr0sz+64r0sx^2-64r0sxy-64r0sxz+64r0syz=0\)

\(a^5-3a^4b+a^4c-4a^4x+6a^4y-4a^4z+2a^3b^2+8a^3bx-12a^3by+8a^3bz-2a^3c^2+4a^3x^2-16a^3xy+12a^3xz+12a^3y^2-16a^3yz+4a^3z^2+2a^2b^3-6a^2b^2c+6a^2bc^2-8a^2bcx+12a^2bcy-8a^2bcz-4a^2bx^2+16a^2bxy-12a^2bxz-12a^2by^2+16a^2byz-4a^2bz^2-2a^2c^3+8a^2c^2x-12a^2c^2y+8a^2c^2z-16a^2cr0^2-4a^2cx^2+16a^2cxy-12a^2cxz-12a^2cy^2+16a^2cyz-4a^2cz^2+8a^2x^2y-8a^2x^2z-16a^2xy^2+24a^2xyz-8a^2xz^2+8a^2y^3-16a^2y^2z+8a^2yz^2-3ab^4+8ab^3c-8ab^3x+12ab^3y-8ab^3z-6ab^2c^2+16ab^2cx-24ab^2cy+16ab^2cz-4ab^2x^2+16ab^2xy-12ab^2xz-12ab^2y^2+16ab^2yz-4ab^2z^2-8abc^2x+12abc^2y-8abc^2z+16abcr0^2+8abcx^2-32abcxy+24abcxz+24abcy^2-32abcyz+8abcz^2+ac^4-16ac^2r0^2-4ac^2x^2+16ac^2xy-12ac^2xz-12ac^2y^2+16ac^2yz-4ac^2z^2-32acr0^2y-16acx^2y+16acx^2z+32acxy^2-48acxyz+16acxz^2-16acy^3+32acy^2z-16acyz^2+b^5-3b^4c+4b^4x-6b^4y+4b^4z+2b^3c^2-8b^3cx+12b^3cy-8b^3cz+4b^3x^2-16b^3xy+12b^3xz+12b^3y^2-16b^3yz+4b^3z^2+2b^2c^3-4b^2cx^2+16b^2cxy-12b^2cxz-12b^2cy^2+16b^2cyz-4b^2cz^2-8b^2x^2y+8b^2x^2z+16b^2xy^2-24b^2xyz+8b^2xz^2-8b^2y^3+16b^2y^2z-8b^2yz^2-3bc^4+8bc^3x-12bc^3y+8bc^3z-4bc^2x^2+16bc^2xy-12bc^2xz-12bc^2y^2+16bc^2yz-4bc^2z^2+c^5-4c^4x+6c^4y-4c^4z+4c^3x^2-16c^3xy+12c^3xz+12c^3y^2-16c^3yz+4c^3z^2+8c^2x^2y-8c^2x^2z-16c^2xy^2+24c^2xyz-8c^2xz^2+8c^2y^3-16c^2y^2z+8c^2yz^2+16a^2r0s-32abr0s+32acr0s-32ar0sx+64ar0sy-32ar0sz+16b^2r0s-32bcr0s+32br0sx-64br0sy+32br0sz+16c^2r0s-32cr0sx+64cr0sy-32cr0sz-64r0sxy+64r0sxz+64r0sy^2-64r0syz=0\)

\(a^5+a^4b-3a^4c-4a^4x-4a^4y+6a^4z-2a^3b^2+2a^3c^2+8a^3cx+8a^3cy-12a^3cz+4a^3x^2+12a^3xy-16a^3xz+4a^3y^2-16a^3yz+12a^3z^2-2a^2b^3+6a^2b^2c+8a^2b^2x+8a^2b^2y-12a^2b^2z-6a^2bc^2-8a^2bcx-8a^2bcy+12a^2bcz-16a^2br0^2-4a^2bx^2-12a^2bxy+16a^2bxz-4a^2by^2+16a^2byz-12a^2bz^2+2a^2c^3-4a^2cx^2-12a^2cxy+16a^2cxz-4a^2cy^2+16a^2cyz-12a^2cz^2-8a^2x^2y+8a^2x^2z-8a^2xy^2+24a^2xyz-16a^2xz^2+8a^2y^2z-16a^2yz^2+8a^2z^3+ab^4-6ab^2c^2-8ab^2cx-8ab^2cy+12ab^2cz-16ab^2r0^2-4ab^2x^2-12ab^2xy+16ab^2xz-4ab^2y^2+16ab^2yz-12ab^2z^2+8abc^3+16abc^2x+16abc^2y-24abc^2z+16abcr0^2+8abcx^2+24abcxy-32abcxz+8abcy^2-32abcyz+24abcz^2-32abr0^2z+16abx^2y-16abx^2z+16abxy^2-48abxyz+32abxz^2-16aby^2z+32abyz^2-16abz^3-3ac^4-8ac^3x-8ac^3y+12ac^3z-4ac^2x^2-12ac^2xy+16ac^2xz-4ac^2y^2+16ac^2yz-12ac^2z^2+b^5-3b^4c-4b^4x-4b^4y+6b^4z+2b^3c^2+8b^3cx+8b^3cy-12b^3cz+4b^3x^2+12b^3xy-16b^3xz+4b^3y^2-16b^3yz+12b^3z^2+2b^2c^3-4b^2cx^2-12b^2cxy+16b^2cxz-4b^2cy^2+16b^2cyz-12b^2cz^2-8b^2x^2y+8b^2x^2z-8b^2xy^2+24b^2xyz-16b^2xz^2+8b^2y^2z-16b^2yz^2+8b^2z^3-3bc^4-8bc^3x-8bc^3y+12bc^3z-4bc^2x^2-12bc^2xy+16bc^2xz-4bc^2y^2+16bc^2yz-12bc^2z^2+c^5+4c^4x+4c^4y-6c^4z+4c^3x^2+12c^3xy-16c^3xz+4c^3y^2-16c^3yz+12c^3z^2+8c^2x^2y-8c^2x^2z+8c^2xy^2-24c^2xyz+16c^2xz^2-8c^2y^2z+16c^2yz^2-8c^2z^3+16a^2r0s+32abr0s-32acr0s-32ar0sx-32ar0sy+64ar0sz+16b^2r0s-32bcr0s-32br0sx-32br0sy+64br0sz+16c^2r0s+32cr0sx+32cr0sy-64cr0sz+64r0sxy-64r0sxz-64r0syz+64r0sz^2=0\)

\(a^2-2ab+2ac-4ax0+4ay-4az+b^2-2bc+4bx0-4by+4bz+c^2-4cx0+4cy-4cz-4x^2+4x0^2-8x0y+8x0z+4y^2-8yz+4y0^2+4z^2=0\)

\(2a^4-3a^3b-2a^3c-4a^3x-2a^3x0+4a^3z+2a^2bc+4a^2bx+6a^2bx0-4a^2bz-2a^2c^2+2a^2cx0+4a^2xx0-4a^2x0z+ab^3-2ab^2x0-3abc^2-4abcx+4abcz-4abx^2+8abxz-4abx0^2+4aby^2-4aby0^2-4abz^2+2ac^3+4ac^2x+2ac^2x0-4ac^2z-2b^3x0+2b^2cx0+4b^2xx0-4b^2x0z+2bc^2x0-2c^3x0-4c^2xx0+4c^2x0z+8asy0+8bsy0-8csy0-16sxy0+16sy0z=0\)

\(a^3c-2a^3x0-2a^2bc+2a^2bx0+2a^2c^2-4a^2cx-2a^2cx0+4a^2cy+4a^2xx0-4a^2x0y+ab^2c+2ab^2x0-2abc^2+4abcx-4abcy+ac^3-4ac^2x-2ac^2x0+4ac^2y+4acx^2-8acxy+4acx0^2+4acy^2+4acy0^2-4acz^2-2b^3x0+2b^2cx0-4b^2xx0+4b^2x0y+2bc^2x0-2c^3x0+4c^2xx0-4c^2x0y-8asy0+8bsy0-8csy0+16sxy0-16syy0=0\)

下面方程可以检验上面的解是否位于三角形内

\(ar0+br0+cr0+2r0x+2r0y+2r0z-2s=0\)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 20:36:35 | 显示全部楼层
下面是根据上面的方程计算的实例:

1. \(a = 7, b = 8, c = 9\) 可以得到

\({r0 = 1.557189142, s = 26.83281572, x = 2.609051087, x0 = 5.498057642, y = 2.609051100, y0 = 1.702161582,z = 3.588313240}\)

789-1.gif


\({r0 = 1.348573921, s = 26.83281572, x = 3.103534622, x0 = 4.212869410, y = 2.130953391, y0 = 3.012887094,  z = 2.662690260}\)

789-2.gif


2.\(a = 8, b = 8, c = 9\)时未找到合适的解??


3.\(a = 8, b = 9, c = 9\)可以得到

\({r0 = 1.531128874, s = 32.24903100, x = 2.033741334, x0 = 4.000000000,  y = 3.014258212, y0 = 2.033741334,z = 3.014258212}\)

899-1.gif

\({r0 = 1.531128874, s = 32.24903100, x = 3.051670350, x0 = 4.000000000, y = 2.477478319, y0 = 3.051670350, z = 2.477478319}\)

899-2.gif

\({r0 = 1.531128874, s = 32.24903100, x = 3.085908626, x0 = 4.000000000, y = 2.488174239, y0 = 3.085908626, z = 2.488174239}\)

899-3.gif
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 20:43:44 | 显示全部楼层
数学星空 发表于 2018-12-26 21:10
对于存在三个等内切圆时,且EF平行于底边BC时三角形三边需满足关系

\(5a^4-2a^2b^2-2a^2c^2-3b^4+6b^2c^2 ...

化成角度关系式更简明:\[\tan B\tan C=4\tag1\] 这表明固定顶点 `B:=(0,-1)` 和 `C:=(0,1)`,那么顶点 `A` 就在椭圆\[x^2+y^2/4=1\tag2\]上。这是因为`(1)`式表明 `BC` 边上的高 `AH` 的中点 `M`在以 `BC` 为直径的圆上。

下面给出 `P` 位置作图。
边界三等圆.PNG
`\triangle A_1B_1C_1`与`\triangle ABC`位似,位似中心即内心 `I`. 在此由位似关系中,`P` 与 `M`相对应,故 `P` 在连线 `IM`上。
`\triangle AFE` 与 `\triangle ABC` 位似,位似中心为顶点 `A`. 在此由位似关系中,`P` 与 `T`相对应,故 `P` 在连线 `AT`上。
所以 `P`是 `AT` 与 `IM` 的交点。

点评

嗯,能根据代数式看出几何意义更深刻哈~  发表于 2018-12-27 21:23

评分

参与人数 1威望 +6 金币 +4 贡献 +3 经验 +12 鲜花 +3 收起 理由
数学星空 + 6 + 4 + 3 + 12 + 3 赞一个!

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 20:47:19 | 显示全部楼层
4.\(a = 8, b = 9, c = 10\)时得到

  \({ r0 = 1.535826535, s = 34.19703935, x = 3.430060840, x0 = 4.713346513,  y = 2.395556848, y0 = 3.345171331, z = 2.940594227}\)

8910-1.gif
  
\({ r0 = 1.535826538, s = 34.19703935, x = 2.020380262, x0 = 4.204632604, y = 3.448584501, y0 = 1.970378501,  z = 3.297247334}\)

8910-2.gif



5.\(a = 8, b = 9, c = 11\)时得到

\({r0 = 1.505143129, s = 35.49647870, x = 2.026681074, x0 = 4.442147323,y = 3.882063456, y0 = 1.876672520,  z = 3.674712613}\)

8911-1.gif

\({r0 = 1.505143137, s = 35.49647870, x = 3.820472274, x0 = 5.422398236, y = 2.371453446, y0 = 3.537692858,  z = 3.391531426}\)

8911-2.gif

6.\(a = 8, b = 9, c = 12\)时得到

\({r0 = 1.444105426, s = 35.99913192, x = 2.040639136, x0 = 4.686943432,y = 4.302762090, y0 = 1.761098380, z = 4.084925561}\)

8912-1.gif
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-12-27 23:02:18 | 显示全部楼层
不用解析几何,可以直接列关系式的。这样少了坐标点引入的大量未知数,直接揭示几何元素的量的关系。
设三角形$ABC$三边边长分别是$a,b,c$, 三个内切圆的半径是$r$,圆心分别是$O_1,O_2,O_3$,分别靠近三个角$A,B,C$,
$O_2,O_3$的中点是$D$,  $O_1,O_3$的中点是$E$,  $O_1,O_2$的中点是$F$,那么设满足条件的点是$P$, 容易得到关系:\[
O_1O_2 = c-r\cot A-r\cot B
\\O_1O_3 = b-r\cot A-r\cot C
\\O_2O_3 = a-r\cot B-r\cot C
\]根据内公切线的关系,得到:\[
(PO_2^2-PO_3^2)^2 = PD^2 \cdot(O_2O_3^2-4r^2)
\\ (PO_1^2-PO_3^2)^2 = PE^2 \cdot(O_1O_3^2-4r^2)
\\ (PO_1^2-PO_2^2)^2 = PF^2 \cdot(O_1O_2^2-4r^2)\]
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2019-3-18 23:27 , Processed in 0.067563 second(s), 18 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表