Moduł 12 — Matematyka i teoria, po którą będziesz sięgać

Kieszonkowa ściąga. Przejrzyj teraz, wracaj zawsze. Wszystko tutaj pojawiło się już w kontekście we wcześniejszych modułach.

🟢 Wektory i trygonometria. Wektor ma długość i kierunek; iloczynu skalarnego ($\mathbf a\cdot\mathbf b = |\mathbf a||\mathbf b|\cos\theta$ — rzuty, „jak bardzo zgodne") i iloczynu wektorowego ($|\mathbf a\times\mathbf b| = |\mathbf a||\mathbf b|\sin\theta$ — momenty sił, osie obrotu) używasz codziennie. SOH-CAH-TOA rozkłada ciąg na składowe; $\text{atan2}(y,x)$ odzyskuje kąty bez błędów ćwiartek.

🟡 Obroty. Odchylenie (yaw) o kąt $\psi$ to macierz

$R_z(\psi) = \begin{bmatrix}\cos\psi & -\sin\psi & 0\\ \sin\psi & \cos\psi & 0\\ 0 & 0 & 1\end{bmatrix}$

Składanie kątów Eulera (roll·pitch·yaw) jest intuicyjne, ale cierpi na gimbal lock przy pochyleniu ±90°. Dlatego firmware przechowuje orientację jako kwaternion $q = \big(\cos\tfrac\theta2,\ \mathbf u\sin\tfrac\theta2\big)$ — 4 liczby, zero osobliwości; składanie to mnożenie kwaternionów (kolejność ma znaczenie!). Zasada kciuka: kwaterniony w kodzie, kąty Eulera na OSD dla ludzi.

🟡 Rachunek różniczkowy w jednym akapicie. Pochodna to chwilowe tempo zmian (żyroskop = pochodna kąta); całka to akumulacja (kąt = całka z żyroskopu — dlatego bias żyroskopu staje się dryfem). PID to dosłownie sygnał plus jego całka plus jego pochodna.

🔴 Dynamika i szablon 2. rzędu. Połowa intuicji sterowania to masa–sprężyna–tłumik:

$m\ddot x + c\dot x + kx = F,\qquad \omega_n = \sqrt{k/m},\qquad \zeta = \frac{c}{2\sqrt{km}}$

Przeregulowanie $M_p = e^{-\pi\zeta/\sqrt{1-\zeta^2}}$, czas ustalania $\approx 4/(\zeta\omega_n)$. Gdy ktoś mówi „dodaj tłumienia", znaczy to: podnieś $\zeta$.

🔴 Dziedzina częstotliwości. Każdy sygnał to suma sinusoid (Fourier); FFT oblicza ten przepis — to Twój spektrogram. Transformata Laplace'a zamienia równania różniczkowe w algebrę ($s$ = różniczkowanie), dając transmitancje i wykresy Bodego. Nyquist: próbkowanie z częstotliwością $f_s$ może reprezentować tylko treść poniżej $f_s/2$; powyżej aliasing fabrykuje kłamstwa.

🔴 Probabilistyka dla estymacji. Średnia, wariancja i rozkład Gaussa to słownik filtru Kalmana: każdy czujnik to gaussowski rozrzut wokół prawdy; fuzja dwóch gaussów daje węższego — to jest fuzja czujników w jednym zdaniu.

⚫ Numeryka i algebra liniowa. Symulatory całkują równania ruchu — całkowanie Eulera ($x_{k+1} = x_k + \dot x\,\Delta t$) jest proste, ale dryfuje; RK4 kupuje dokładność na krok. Wartości własne macierzy układu zamkniętego decydują o stabilności (wszystkie w lewej półpłaszczyźnie / wewnątrz okręgu jednostkowego); to most do LQR i nowoczesnej teorii sterowania.

Jeśli robisz…	Używasz…
Czytanie spektrogramu	Fourier / Nyquist
Strojenie P i D	odpowiedź 2. rzędu, $\zeta$, $\omega_n$
Zaufanie GPS vs baro	fuzja gaussowska / Kalman
Matematyka trybu angle	macierze obrotu / kwaterniony
Pisanie symulatora	całkowanie numeryczne (RK4)
Mikser i moment obrotowy	iloczyny wektorowe, momenty

📚 Darmowe źródła: 3Blue1Brown „Essence of linear algebra" i „Essence of calculus"; playlisty Briana Douglasa o teorii sterowania; MIT OCW 18.06; interaktywny wizualizator kwaternionów (eater.net/quaternions).