〔 manim | 1K+行代码〕莫利定理

一碗星空咕

Description

关于莫利定理的代数法证明
对了，代码里藏了不少彩蛋，快来找找看！
https://gitee.com/a-starry-sky/manim-video-source-code
BGM：Vincent Rubinetti - Spirals

Comments

一碗星空咕 2021-08-03

我认为4:37的updater动画可以说是整个视频的高光点，这花了难以想象的时间（半天的测试），主要难点是这个隐式函数有两支，不好在manim中表达，想要写成updater就会更难

♥ 139 ↩ 7

女孩为诃穿短裙 2021-08-04

现在是高考后两个月，什么也看不懂了[doge]

♥ 60

不见世面只见你 2021-08-04

现在是大学毕业后三年。别说公式了，希腊字母都认不全了[doge]

♥ 44 ↩ 1

悠莉酱的好弟弟 2021-08-13

准高一大受震撼，我提一个初三时曾经想过的问题，二次函数y=ax²+bx+c与一次函数y=mx+n图像围成的封闭区域内有多少横纵坐标均为整数的点（含边界和不含边界两种情况），整点数量与函数方程中的各系数是否有通用的关系式，如果有，是不是二次函数与二次函数，二次函数与反比例函数，一次函数与反比例函数围成的封闭区域也有通用的规律，甚至是更多种类的函数，或是两条以上的函数图像也可以有规律呢

♥ 41 ↩ 10

今日方洲 2021-08-04

初中看到这个定理时还没有任何感受，直到有一天在几何画板上画出ABC外接圆上的点到ABC的西姆松线，他们的包络线和莫雷定理的正三角形有着绝妙的关系[呲牙][呲牙][呲牙]

♥ 33

LolaMatherina 2021-08-04

我是这么证的：用正弦定理求出BD和BF，然后再用三角形BDF的三个条件求出DF，对FE, DE同理最后FD=DE=FE=8sin(alpha)sin(beta)sin(gamma)

♥ 19 ↩ 1

卓亦然wgz 2021-08-04

想知道up的视频动画是用什么软件实现的[tv_大哭][tv_大哭]

♥ 12 ↩ 2

自由的筱团 2021-08-16

彩蛋指的是“垃圾玩意儿”和“临时箭头”吗[doge]

♥ 6 ↩ 1

酷睿不在 2021-08-08

我看不懂但我大受震撼[藏狐]

♥ 6

流离志 2021-08-26

我爱你，数学!

♥ 4

牧小飛 2021-08-11

那个动画真的太棒了[打call]，准大一路过并点了个赞

♥ 3

深夜中太阳的花苞 2021-08-07

可不可以对AEF用余弦定理求出FE，证明是对a,b,c的对称式从而证明？

♥ 3 ↩ 1

鬼儿_幽灵 2021-08-04

最后那里直接用余弦定理出边会不会更好（没试过应该可），最后用曲线交点来说明唯一解让人直观上感觉不到原因（毕竟方程组里上面那个方程的图像不简单）能不能用代数方法试试[微笑]

♥ 2 ↩ 1

三文鱼卿 2022-04-22

众里寻它千百度，蓦然回首... 搞了半天这玩意能用正弦定理证啊？！（用几何证这玩意的初中生）

♥ 2

囤葱专业户 2021-08-14

证唯一性那部分，动画是可以进行演示，要论严谨最好还是要文字的证明

♥ 1

-丏谷- 2021-08-11

呃……代码原来指的是用代码做视频嘛……

♥ 1 ↩ 3

sxwan0-0 2021-08-04

上一次见，它还叫莫雷定理

♥ 1

Yet_Official 2021-08-04

记得最简单的方法是用同一法做的。。只需要用四点共圆导角就能做

♥ 1

光爱不比纺千 2021-08-04

每次学解三角形我脑海都会出现一段话“这™怎么想出来的？”

♥ 1