By now I understand that "energy is a conserved quantity" and that's all we need to know. Then, the idea of work comes as the change in kinectic energy of a system and we realise that having energy is being able to do work, but still remembering that the most basic and important fact about energy is it's conservation.
Now, my doubt is, there are many expressions for the total energy of a system, depending on the situation. For example, in classical mechanics the total energy of a system composed by a particle with trajectory $\gamma : \mathbb{R}\to\mathbb{R}^3$ is:
$$E(t) = K(t)+U(\gamma(t))$$
where $K(t) = m|\gamma\dot(t)|^2/2$ and $U(\gamma(t))$ is the potential energy along the trajectory.
Now, how one might deduce that the conserved quantity is $E(t)$ and even further deduce that $K(t)$ must have this form? I mean, starting just with the assumption that energy is a conserved quantity and using Noether's theorem to grant this quantity does exits, how one can show it has this specific form and find the formulas for it?
Thanks very much in advance.