$\sin^2 \alpha + \cos^2 \alpha = 1$
$\log_a{(bc)}=\log_a{b}+\log_a{c}$
$\displaystyle \frac{a^m}{a^n}=a^{m-n}$
$(a+b)^2=a^2+2ab+b^2$
Законы математики, имеющие какое-либо отношение к реальному миру, ненадежны; а надежные математические законы не имеют отношения к реальному миру.
А. Эйнштейн
Теорема о симметрии параллелизма на плоскости Лобачевского с доказательством.
