经过垂心的平行线

ccmmjj · 发表于 2024-1-8 19:29

本帖最后由 ccmmjj 于 2024-1-8 11:33 编辑

最近学习三角形垂心和外接圆关系得到的副产品。

cgl_74 · 发表于 2024-1-9 11:46

这种题，非常适合计算机求解。固定模型，几个步骤，立马搞定！
result：ture！

话说，怎么计算机证明现在还没有人发上来呢？

天山草 · 发表于 2024-1-9 13:04

确实如 2# 楼所说，这种题目非常适合用计算机做。

cgl_74 · 发表于 2024-1-9 13:26

呵呵，机器证明来得也不慢！
估计楼主感情很复杂。。。。。

cgl_74 · 发表于 2024-1-9 18:06

cgl_74 发表于 2024-1-9 13:26
呵呵，机器证明来得也不慢！
估计楼主感情很复杂。。。。。

我知道啊！去挑战机器干什么呢？机器又没有感情，是为人服务的。
我是说，本来论坛的题目，都是解法交流，人工解法大家才能交流嘛。解法是否正确，是否巧妙，是否简洁等。给一个机器代码上来，就不知道如何评价。是夸计算机算得快，算得准吗？至少我也不知道它怎么算的。

计算机可以做辅助，帮助提供思路。如果全是机器搞，人类如何去评价呢？结果可能是正确的，但是如何来的，则是个黑盒。

当然，各人有各人喜好！但我想，你是希望得到人工解法的，这样才能参与交流嘛。你拿到一个机器代码，岂不很尴尬。

ccmmjj · 发表于 2024-1-9 18:30

纯几何证明如下

		自动登录	找回密码
密码			注册

经过垂心的平行线

本帖子中包含更多资源

本帖子中包含更多资源

点评

本帖子中包含更多资源