Имплицитните функции се функции зададени во вид на равенка во која фигурираат и аргументот и сликата (т.е. и независно- и зависно-променливата). Најчесто се запишуваат како:
при што со е означен аргументот (независно-променливата), а со -сликата (зависно-променливата)
Пред да дадеме начин на кој се пресметува првиот извод на имплицитната функција, да го дадеме следново важно тврдење:
Ако сите услови се исполнети, тогаш постои околина на точката на која е дефинирана и еднозначно определена функција која е непрекината и е таква што важи: и (што е поважно) за секој од таа околина. Поинаку кажано таквата функција претставува експлицитна (директна, очигледна, неприкриена) репрезентција на имплицитната функција на таа околина.
Сега, кога знаеме дека имплицитна функција може да се претстави преку експлицитна, барем на некоја околина, за изводот ќе имаме:
и тие се непрекинати за сите и и уште повеќе за . Значи функцијата ги исполнува условите од претходното тврдење, па значи дека таа може експлицитно да се репрезентира. Нека оваа репрезентација ја означиме со зависно-променливата, т.е. со . Тогаш за изводот имаме:
Од друга страна, пак, можеме да го направиме следново: бидејќи имаме:
, односно:
каде
и
се двете можни експлицитни репрезентации на имплицитната функција.
Тогаш изводот може да го пресметаме дирекно, како за експлицитна функција. Имаме:
Значи, доколку може да ја утврдиме експлицитната репрезентација, изводот на имплицитната функција може да го пресметаме како извод на нејзината (или: нејзините) експлицитна репрезентација. Во пракса, кога експлицитната репрезентација е очигледна, почесто се употребува последниов начин.