今天刷到一个数学公式，叫什么格林第一公式，看起来挺有意思，就想着能不能自己推导一下，顺便在电脑上用代码验证看看。
先是在网上搜搜这是个啥玩意儿。简单来说，这公式把一个平面上的线积分和它围起来的区域的二重积分给联系起来。好像在算那种二元函数的全微分积分时特别有用。
然后我还看到，这格林第一公式还能推导出什么格林第二、第三公式，主要用在向量分析、场论里头。说是能把未知函数从微分算法Δ下解脱出来，这Δ看着就让人头大。
我琢磨着，先不管那么多，就从格林第一公式开始搞。找到几个推导过程，跟着一步步来：
- 先是设两个函数，一个叫u(x,y,z)，一个叫v(x,y,z)，说它们在一个区域τ里头有连续的二阶导数，这条件还挺苛刻。
- 然后就开始一顿操作，各种符号、公式，看得我眼花缭乱。
- 推导过程挺长的，中间还用到各种积分、偏导数什么的，具体细节就不说，反正是把公式给推出来。
光是推导出公式还不行，我还想着用代码来验证一下，看看这公式到底对不对。毕竟实践出真知嘛
代码验证过程：
这部分挺麻烦的，主要是要把公式里的那些数学符号转换成代码。我选一个具体的例子，找两个函数，然后：
- 先是手算，按照公式一步步算，把线积分和二重积分都算出来。
- 然后用代码，写程序来计算这两个积分，看看结果跟手算的一不一样。
你还别说，这一通折腾下来，发现结果还真对上！看来这格林第一公式还真不是吹的，是有点东西。
我这也只是验证一个特例，不能说完全证明这个公式。不过通过这回实践，我对这个公式的理解更深，以后再遇到类似的计算，估计能省不少事儿。
顺便吐槽一句，那些搞数学的真是厉害，能想出这么多奇奇怪怪的公式。咱也只能跟在后面学习学习，能用代码验证一下就不错。
对，网上还看到一个段子，说什么“追梦格林第一公式完成闭环”，还扯到杜兰特，这都哪儿跟哪儿，完全看不懂，数学公式还能跟篮球扯上关系？
还有那些乱七八糟的数字，什么4.1万，14416，完全不知道啥意思，估计又是哪个领域的专业数据，咱也不懂，就不瞎掺和。
还没有评论，来说两句吧...