Производная это предел отношения приращения функции к приращению аргумента, когда приращение аргумента стремится к нулю. (2x)' = lim (2(x0+dx) - 2x0)/dx = lim2dx/dx = 2. dx(дельта икс) - бесконечно малое приращение аргумента.
Плохо. Вы ссылаетесь на правила, не объясняющие внутреннюю логику дифференцирования.