找回密码
 快速注册
搜索
查看: 75|回复: 8

[几何] 求证四面体内切球和侧面内切圆的不等式

[复制链接]

84

主题

51

回帖

767

积分

积分
767

显示全部楼层

lihpb 发表于 2023-12-3 12:03 |阅读模式
QQ图片20231203115709.png

68

主题

434

回帖

4269

积分

积分
4269

显示全部楼层

hejoseph 发表于 2023-12-3 20:52
直接权方和不等式得了,假设点 $A_i$ 所对的四面体面的面积为 $S_i$,四面体体积为 $V$,由
\begin{align*}
r&=\frac{3V}{S_1+S_2+S_3+S_4}\\
r_1&=\frac{3V}{-S_1+S_2+S_3+S_4}\\
r_2&=\frac{3V}{S_1-S_2+S_3+S_4}\\
r_3&=\frac{3V}{S_1+S_2-S_3+S_4}\\
r_4&=\frac{3V}{S_1+S_2+S_3-S_4}\\
\end{align*}
因此
\begin{align*}
r_1^2+r_2^2+r_3^2+r_4^2&=9V^2\cdot\left(\frac{1}{(-S_1+S_2+S_3+S_4)^2}+\frac{1}{(S_1-S_2+S_3+S_4)^2}+\frac{1}{(S_1+S_2-S_3+S_4)^2}+\frac{1}{(S_1+S_2+S_3-S_4)^2}\right)\\
&\geqslant 9V^2\cdot\frac{(1+1+1+1)^3}{((-S_1+S_2+S_3+S_4)+(S_1-S_2+S_3+S_4)+(S_1+S_2-S_3+S_4)+(S_1+S_2+S_3-S_4))^2}\\
&=9V^2\cdot\frac{4^3}{(2(S_1+S_2+S_3+S_4))^2}\\
&=16r^2
\end{align*}
当且仅当四面体对棱相等时取得等号。由上面的不等式就直接得到你要证明的不等式了。

730

主题

1万

回帖

9万

积分

积分
93633
QQ

显示全部楼层

kuing 发表于 2023-12-3 21:20
hejoseph 发表于 2023-12-3 20:52
直接权方和不等式得了,假设点 $A_i$ 所对的四面体面的面积为 $S_i$,四面体体积为 $V$,由
\begin{align*} ...

楼主说的 `r_i` 是面的内切圆,不是旁切球喔

点评

当时没看清楚,忽略吧  发表于 2023-12-4 16:08

730

主题

1万

回帖

9万

积分

积分
93633
QQ

显示全部楼层

kuing 发表于 2023-12-4 17:35
我怀疑 `r_1+r_2+r_3+r_4\geqslant4\sqrt2r` 也成立。

84

主题

51

回帖

767

积分

积分
767

显示全部楼层

 楼主| lihpb 发表于 2023-12-5 13:28
kuing 发表于 2023-12-4 17:35
我怀疑 `r_1+r_2+r_3+r_4\geqslant4\sqrt2r` 也成立。


那你能证明吗?

这个你要是证不出来的话就帮我看看下面这个能不能够找到反例,
kuing.cjhb.site/forum.php?mod=viewthread&tid=11802&extra=
这会比较简单一点,构造任意四面体看能不能找到反例

点评

我证不出,只是猜想  发表于 2023-12-5 14:15

84

主题

51

回帖

767

积分

积分
767

显示全部楼层

 楼主| lihpb 发表于 2023-12-5 13:31
hejoseph 发表于 2023-12-3 20:52
直接权方和不等式得了,假设点 $A_i$ 所对的四面体面的面积为 $S_i$,四面体体积为 $V$,由
\begin{align*} ...

这个你要是证不出来的话就帮我看看下面这个能不能够找到反例,
kuing.cjhb.site/forum.php?mod=viewthread&tid=11802&extra=

这会比较简单一点,构造任意四面体看能不能找到反例

84

主题

51

回帖

767

积分

积分
767

显示全部楼层

 楼主| lihpb 发表于 2024-7-19 16:12
kuing 发表于 2023-12-4 17:35
我怀疑 `r_1+r_2+r_3+r_4\geqslant4\sqrt2r` 也成立。

确实是成立的,
更强的形式在这里
kuing.cjhb.site/forum.php?mod=viewthread&tid=12547

手机版|悠闲数学娱乐论坛(第3版)

GMT+8, 2025-3-5 04:39

Powered by Discuz!

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