Derivation

About

This is a mockup of a tool with the ambitious intention of becoming the standard format for derivations. The tool aims to do several things:

Example (2=1)

Let $$a = b$$ Multiply both sides by $a$ $$a^2 = ab$$ Subtract $b^2$ from both sides $$a^2-b^2 = ab-b^2$$ Factorize (difference of squares and common term) $$(a+b)(a-b) = b(a-b)$$
Divide both sides by $(a-b)$ [only valid if $a-b \ne 0$, i.e. $a \ne b$] $$a+b = b$$ Substitution $(a=b)$ $$2b = b$$
Divide both sides by $b$ [only valid if $b \ne 0$] $$2 = 1$$