Головна Математика Візуалізатор похідної

📐 Візуалізатор похідної

Візуалізатор похідної: січна перетворюється на дотичну, а графік f′(x) будується в реальному часі разом із f(x).

Математика2DЛегкий60 FPS
derivative-visualizer ↗ Відкрити окремо
DRAG · SCROLL · CLICK — керуйте прямо у вікні симуляції.

Схожі симуляції

Про Візуалізатор похідної

Похідна f'(x) — це миттєва швидкість зміни функції, визначена як границя різницевого відношення: f'(x) = lim(Δx→0) [f(x + Δx) − f(x)] / Δx. Геометрично січна пряма через точки (x, f(x)) і (x + Δx, f(x + Δx)) має нахил [f(x + Δx) − f(x)] / Δx; коли Δx прямує до нуля, ця січна наближається до дотичної, нахил якої дорівнює f'(x). Диференціювання — основа математичного аналізу, застосовна від рівнянь руху Ньютона (F = ma = m·d²x/dt²) до градієнтного спуску в машинному навчанні.

Симулятор будує графік f(x) і анімує, як січна лінія стягується до дотичної при зменшенні Δx. Друга панель показує f'(x), обчислену чисельно, поруч з аналітичною похідною, дозволяючи порівняти їх і дослідити, як правила диференціювання — ланцюгове правило, правило добутку, правило частки — перетворюють графік візуально.

Часті запитання

Яке формальне визначення похідної?

Похідна f у точці x дорівнює f'(x) = lim(h→0) [f(x+h) − f(x)]/h, якщо ця границя існує. Функція називається диференційовною в точці x, якщо ця границя існує і скінченна. Якщо границі зліва і справа існують, але не рівні, функція має «кут» у точці x (як |x| при x = 0) і не диференційовна там, хоча є неперервною. Диференційовність тягне за собою неперервність, але не навпаки — функція Вейєрштрасса неперервна всюди, але ніде не диференційовна.

Що каже знак похідної про функцію?

Там, де f'(x) > 0, функція зростає; де f'(x) < 0 — спадає; де f'(x) = 0, функція має стаціонарну точку (можливий максимум, мінімум або сідлову точку). Друга похідна f''(x) уточнює це: якщо f'(x) = 0 і f''(x) > 0 — точка є локальним мінімумом; якщо f''(x) < 0 — локальним максимумом. Там, де f''(x) = 0 і знак f'' змінюється, функція має точку перегину.

Що таке ланцюгове правило і чому воно важливе?

Ланцюгове правило стверджує: якщо y = f(g(x)), то dy/dx = f'(g(x)) · g'(x). Це найважливіше правило диференціювання, оскільки майже кожна реальна функція є композицією. У нейронних мережах алгоритм зворотного поширення помилки — це повторне застосування ланцюгового правила через кожен шар, дозволяючи градієнтному спуску навчати глибокі мережі.

Яка різниця між похідною і диференціалом?

Похідна f'(x) — це число (або функція), що представляє миттєву швидкість зміни. Диференціал dy = f'(x) dx — це нескінченно мала лінійна апроксимація зміни y, що відповідає нескінченно малій зміні dx у x. Диференціали корисні для поширення похибок, лінійної апроксимації та як основа диференціальної геометрії на многовидах.

Що таке чисельне диференціювання і які його підводні камені?

Чисельне диференціювання апроксимує f'(x) за допомогою скінченних різниць, наприклад центральної різниці [f(x+h) − f(x−h)]/(2h) з похибкою O(h²). Однак надто мале h спричиняє катастрофічне скорочення у форматі з рухомою комою: коли h = 10⁻¹⁵, f(x+h) і f(x) збігаються до 15 цифр, і їхня різниця визначається похибкою округлення. Оптимальне h приблизно дорівнює 10⁻⁵ для double.

Що таке автоматичне диференціювання (AD)?

Автоматичне диференціювання обчислює точні похідні комп'ютерних програм, застосовуючи ланцюгове правило до кожної елементарної операції. У зворотному режимі AD (яким є зворотне поширення помилки в ML) похідні накопичуються назад через обчислювальний граф. AD уникає символьної складності та чисельних похибок скінченних різниць, що робить його стандартом у PyTorch і JAX.

Як похідна пов'язана з дотичною лінією?

Дотична лінія до f у точці x₀ — це єдина пряма через (x₀, f(x₀)) з нахилом f'(x₀): y = f(x₀) + f'(x₀)(x − x₀). Це найкраще лінійне наближення до f поблизу x₀. Ця характеристика насправді є сучасним визначенням диференційовності на многовидах, що узагальнюється на поверхні й простори вищих вимірностей.

Що таке правило Лопіталя?

Правило Лопіталя стверджує: якщо lim(x→a) f(x) = lim(x→a) g(x) = 0 (або ±∞), то lim(x→a) f(x)/g(x) = lim(x→a) f'(x)/g'(x). Воно розв'язує невизначеності (0/0, ∞/∞). Класичний приклад: lim(x→0) sin(x)/x = lim(x→0) cos(x)/1 = 1. Опубліковане Гійомом де Лопіталем у 1696 р., хоча результат вивів Бернуллі.

Що таке теорема про середнє значення?

Теорема про середнє значення стверджує: якщо f неперервна на [a, b] і диференційовна на (a, b), то існує c ∈ (a, b) таке, що f'(c) = [f(b) − f(a)]/(b − a). Вона доводить, що функція з f'(x) = 0 всюди є сталою, і є основою фундаментальної теореми математичного аналізу.