小艾做这个题毫无困难, 看试验结果

来源: 2023-02-09 16:15:29 [旧帖] [给我悄悄话] 本文已被阅读:

用符号计算软件 Maple 试验了一下, 一点困难也没有。 结果就是超越数 Pi/4

真正困难的是证明数学命题。 机器证明搞了几十年连边都没摸到。