Let $a(t)$ be a parametrised curve. Then the torsion of the curve can be calculated as
$$\tau = \frac{\langle a' \times a'', a''' \rangle}{||a' \times a''||^2}$$ I have seen a proof of this formula. But nevertheless I wonder whether it is possible to derive this formula directly. I think I need to clarify my intention: Suppose you know the definition of torsion but you don't know the formula for torsion as in the above equation. Then, someone asks you to give a formula for the torsion in terms of $a(t)$ and its derivatives. How would you proceed, and how would you find this above equation? I think, it has to come from somewhere...
I know how the proof works, but what if you don't know the formula to be proven beforehand..

