I am new to theoretical physics. When I was reading the proof of conservation of energy, I found that the proof was a little bit trivial and everything seems to just be a definition.
The potential energy is derived from $W=\int_c {\bf F} \, \mathrm{d}{\bf r} =\varphi(b) - \varphi(a)$ where curve $c$ starts at $a$ and ends at $b$, and $\varphi$ is the "antiderivative" of the force field ${\bf F}$, given the field is conservative. The potential energy is defined as $U(x) = -\varphi(x)$.
The kinetic energy (Newtonian), by Newton's first law, is defined as $W=\int_0^t {\bf F} \, \mathrm{d}x=\int_0^t m{\bf v} \, \mathrm{d}v=\frac{1}{2}mv^2$.
Note that in the definition, both kinetic and potential energy are derived from the definition of work, but they're just viewed differently. One is viewed as a line integral, the other is viewed as a function of velocity. However, since both are derived from work simply with a different sign, their sum is 0 for sure, I didn't see any need to do a proof. Why is a law of universe just a definition? I think it should be based on observations, but the "proof" has really made me confused, because physics is not like math and we can't "invent" laws.