数学研发论坛

 找回密码
 欢迎注册
查看: 944|回复: 20

[原创] 边长变化的正三角形扫过区域面积计算问题

[复制链接]
发表于 2019-12-30 12:15:00 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
正三角形边长为1cm,图中是由边长变化的顶点沿着大的正三角形边移动的正三角形边构成,求图中阴影面积=?
或者可以这样来描述:三个从大正三角形顶点出发的动点,等速且逆时针或顺时针沿着各自的一条边移动构成边长不断变化的正三角形,其边长扫过的区域构成阴影区域的面积=?
进阶:假如三点移动速度不等,构成的面积又如何计算?
图·1,2是等速移动;3是不等速移动。

1

1

2

2

3

3


毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-12-30 13:44:23 | 显示全部楼层
边界是圆锥曲线,所以计算面积不难

点评

如何证明?  发表于 2019-12-30 14:07
不是勒洛三角形?  发表于 2019-12-30 14:07
应该是抛物线  发表于 2019-12-30 13:52
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-12-30 14:23:34 | 显示全部楼层
本帖最后由 chyanog 于 2019-12-30 22:49 编辑

中间的曲面小三角的面积为 $\frac{5 \sqrt{3}}{108}$
抛物线方程的求法:https://zh.wikipedia.org/zh-hans/包絡線
若曲线族以隐函数形式 F(x,y,s)=0 表示,其包络线的隐方程,便可以用下面两个方程消去s得出

\begin{cases} F(x,y,s)=0\\ \frac{\partial F(x,y,s)}{\partial s} =0\end{cases}
triangle para.png
Mathematica代码
  1. pts=Partition[{{-t/2,(√3(2-3 t))/6},{t-1/2,-√3/6},{(1-t)/2,(√3(3 t-1))/6}},2,1,1];

  2. With[{L=Rest@RegionMember[InfiniteLine[#],{x,y}]},Eliminate[{L,D[L,t]},t]]& /@ pts
  3. Integrate[Boole[And@@%/.Equal->Less],{x,-1,1},{y,-1,1}]

  4. (* 画图 *)
  5. Show[Graphics[{Dashed,Table[MapIndexed[{ColorData[97]@@#2,Line[#]}&,pts],{t,0,1,1/16}]}],
  6.     ContourPlot[{3 x^2-6 √3 x y-6 x+9 y^2-2 √3 y-1==0, 3 x^2+6 √3 x y+6 x+9 y^2-2 √3 y-1==0, 12 x^2+4 √3 y-1==0},{x,-1/2,1/2},{y,-1/√3,1/√3}], Axes -> 1]
复制代码

补充内容 (2019-12-31 20:28):
pts=Partition[{t,1-t}.#&/@Partition[CirclePoints[3]/√3,2,1,1],2,1,1];
这样写更好

点评

更正: 阴影面积:Sqrt[3]/4-5/(36 Sqrt[3]) =11Sqrt[3]/54 ; 中间的曲面小三角的面积为:5/(36 Sqrt[3]);  发表于 2020-1-1 12:09
中间的曲面小三角的面积为Sqrt[3]/4-5/(36 Sqrt[3]) =11Sqrt[3]/54;  发表于 2020-1-1 09:51
漂亮!  发表于 2019-12-31 13:14
pts=Partition[{{-t/2,(√3(2-3 t))/6},{t-1/2,-√3/6},{(1-t)/2,(√3(3 t-1))/6}},2,1,1];这句能详细解释下吗?  发表于 2019-12-30 23:15
图没坐标。大正三角形边长题目是1,你这{x,-√3/2,√3/2},{y,-1,1} ,边长=√3?可以显示下大正三角形的三个顶点坐标。  发表于 2019-12-30 21:01

评分

参与人数 1威望 +6 金币 +6 贡献 +6 经验 +6 鲜花 +6 收起 理由
wayne + 6 + 6 + 6 + 6 + 6 赞一个!

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-12-30 14:37:01 | 显示全部楼层
速度相同的话,包络线是典型的抛物线,只要给出直线簇的参数方程,就可确定包络线。速度不同的话,多了个速度比,但它是个固定比例系数在参数前面,所以相当于抛物线出现了旋转平移之类的变换。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2019-12-30 21:13:27 | 显示全部楼层
With[{L = Rest@RegionMember[InfiniteLine[#], {x, y}]},
   Eliminate[{L, D[L, t]}, t]] & /@
Partition[{{-((\[Sqrt]3 t)/2),
    1 - (3 t)/2}, {1/
      2 \[Sqrt]3 (-1 + 2 t), -(1/2)}, {-(1/2) \[Sqrt]3 (-1 + t),
    1/2 (-1 + 3 t)}}, 2, 1, 1]
Integrate[Boole[And @@ % /. Equal -> Less], {x,-\[Sqrt]3/2, \[Sqrt]3/2}, {y, -1/2, 1}]

(*画图*)
Show[Graphics[{Dashed,
   Table[MapIndexed[{ColorData[97] @@ #2, Line[#]} &,
     Partition[{{-(\[Sqrt]3/2) t,
        1 - (3 t)/2}, {(\[Sqrt]3 (2 t - 1))/
         2, -(1/2)}, {-((\[Sqrt]3 (t - 1))/2), (3 t - 1)/2}}, 2, 1,
      1]], {t, 0, 1, 1/50}]}],
ContourPlot[{x^2 - 2 \[Sqrt]3 x y - 2 \[Sqrt]3 x + 3 y^2 - 2 y - 1 ==
     0, x^2 + 2 \[Sqrt]3 x y + 2 \[Sqrt]3 x + 3 y^2 - 2 y - 1 == 0,
   4 x^2 + 4 y - 1 == 0}, {x, -\[Sqrt]3/2, \[Sqrt]3/2}, {y, -1/2, 1}],
  Axes -> {True, True}]
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2019-12-31 11:28:32 | 显示全部楼层
@markfang2050
pts=Partition[{{-t/2,(√3(2-3 t))/6},{t-1/2,-√3/6},{(1-t)/2,(√3(3 t-1))/6}},2,1,1];
20191231112640.png

点评

谢谢,理解了。  发表于 2019-12-31 13:41
Partition[{d, e, f}, 2, 1, 1] == {{d, e}, {e, f}, {f, d}}  发表于 2019-12-31 12:40
,2,1,1]的含义?  发表于 2019-12-31 12:34
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-1-1 12:10:50 来自手机 | 显示全部楼层
从射影几何的角度就是两个一次点列的连线为二次线束,所以相切于圆锥曲线。
考虑到一个点沿着一条边的延长线移动到无穷远点,另一个点会沿着另外一条边的延长线上等比例趋向无穷远点,这两点连线会趋向固定方向跑向无穷远处,所以是抛物线,而这个方向和抛物线对称轴平行。特别的,在比例是一比一时,这个方向即两边的角平分线方向。

点评

类似的可以拓展到正方形,正五边形,正N边形。。。。。  发表于 2020-1-1 12:33
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

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

GMT+8, 2020-7-13 07:25 , Processed in 0.081808 second(s), 26 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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