Условия Коши — Римана, называемые также условиями Даламбера — Эйлера, — соотношения, связывающие вещественную и мнимую части всякой дифференцируемой функции комплексного переменного .
Для того чтобы функция , определённая в некоторой области комплексной плоскости, была дифференцируема в точке как функция комплексного переменного , необходимо и достаточно, чтобы её вещественная и мнимая части и были дифференцируемы в точке как функции вещественных переменных и и чтобы, кроме того, в этой точке выполнялись условия Коши — Римана:
Если условия Коши — Римана выполнены, то производная представима в любой из следующих форм:
не зависящий от способа стремления к нулю.
Это означает, что если функция дифференцируема, то производные функции по x и по y точно одинаковы, то есть необходимость условий Коши — Римана доказана.
Иными словами, нужно доказать в обратную сторону — что если производные функции по x и по y действительно одинаковы, то функция оказывается дифференцируемой вообще в любых направлениях.