Padawan в сообщении #361113 писал(а):
Производная это и есть дифференциал функции / дифференциал аргумента.
В элементарном курсе матанализа это отдельно доказываемый факт, а не определение.
Насколько я помню, определение дифференциала функции так задается, т.е. как произведение производной на дифференциал аргумента.