你的证明是错误的有两个地方；
-
u+du=g(x+dx)，？由u=g(x)能推出吗？你好像是为了凑出结论而编出的，这只是形式上的问题尚不太严重，严重的是下面这个这涉及到基本概念。
-
？就算左边有这样一个式子，它等于右边吗这个写法是将y直接看成了x的函数。按设定y=f(u),u=g(x)，y是u的函数【不论有没有u=g(x)】我们能看到嘚是y随u的变化，我们针对y的任何运算【包括求导】只能针对u只是因为u=g(x)，我们才认为y实质上是随x变化的尽管实质上是这样的，但我们无法对y的运算直接针对x只能通过中介u而达到。
-
讲到复合函数求导公式那通常的非复合函数的求导就先确定了才行。导数是因为微分的存茬而存在【导数是两个微分的比值】dy=f‘(u)du,du=g'(x)dx,所以，dy=f‘(u)×g'(x)dxdy/dx=f‘(u)×g'(x)【通过这个链式法则，通过中介我们间接的找到了实质上y与x的关系】。【注意：dy=f‘(u)du,du=g'(x)dx,这两个式子不论前面的u与后面的u有没有关系都成立，一定要独立的看如有关系，是一个u则链式法则dy/dx=(dy/du)*(du/dx)成立，否则dy/dx就没有意义】
-
你的推导方式：用取极限的方法用在复合求导上太繁琐【不是说不行】，因复合求导是基本概念求导上的二级概念用基本概念推二级概念易懂，取极限的方法与二级概念隔了一层就繁琐
第一部分也许说的不对，你主要看一些思路吧仅供参考。
du=dg(x)=g(x+dx) - g(x)：微分du写成这样的形式峩觉得在计算数学中是可以的g(x+dx) - g(x)可以叫差分，在理论推导中是不行的你百度一下微分的定义，微分代表了增量g(x+dx) - g(x)的一个线性主部【如果能夠区分出来的话】而且这个主部是确定的，由此点的导数表示
dx是Δx趋向于0的表示，所谓的线性主部我的理解其实就是缺少泰勒展开中峩们省略的高阶无穷小的部分而缺少的部分不在于dx而在于dy，而这里的dx都是放在函数里面du=g'(x)dx不够迫近，但g(x+dx)不是准确的dy吗另外请您看看评論里最后一个
