Herman Trivilino
Science Advisor
Gold Member
- 3,733
- 1,750
PeterDonis said:Definitions don't have to be demonstrated. They just have to be adopted. Clearly ##E^2 - p^2## is well-defined and positive if ##E > p##, so it can be used to define a positive constant (its square root).
To adopt this as a definition of ##m## for a massive particle, don't we have to start with expressions for ##E## and ##p## that don't involve ##m##? It seems circular to define ##E## and ##p## in terms of ##m## and then use ##\sqrt{E^2-p^2}## to define ##m##.