MassEnergy
Discussion
momentum and energy separately
These ideas are completely disorganized. Keep that in mind when reading this.
Relativity has a different equation for (almost) everything. It's like classical physics just isn't good enough. There's a different one for time (time dilation) and a different one for space (length contraction) and now there's a different one for momentum (relativistic momentum) and another different one for energy (relativistic energy).
The equation for relativistic momentum looks like this…
p =  mv 
√(1 − v^{2}/c^{2}) 
When v is small (as it is for the kinds of speeds we deal with in everyday life) the denominator is approximately equal to one and the equation reduces to its classical version…
v ≪ c  ⇒  p ≈ mv 
which is as it should be. Relativity doesn't replace classical physics, it supplements it. All equations in special relativity should reduce to classical equations at low velocities. This is known as the correspondence principle.
The equation for relativistic energy looks like this…
E =  mc^{2} 
√(1 − v^{2}/c^{2}) 
Applying the correspondence principal to give us the classical equations is not so easy here. Once again, at low speeds the denominator is one, but the numerator we're left with is something new. Something with no classical counterpart. Something famous.
v ≪ c  ⇒  E ≈ mc^{2} 
This equation says that an object at rest has energy, which is why it is sometimes called the rest energy equation. It also says that the reason an object at rest has any energy at all is because it has mass, which is why this equation is also known as the massenergy equivalence.
Let's try a more sophisticated approach and see where it takes us. The binomial expansion is an equation for transforming a binomial raised to a power into a sum of terms. In its most general form, it looks like this…
(a + b)^{n} = 

⎛ ⎜ ⎝ 
n  ⎞ ⎟ ⎠ 
a^{n − k}b^{k}  
k 
Some readers might recognize this as the equation used to generate the terms in Pascal's triangle. Each row of the triangle contains the expansion coeficients for a nonnegative integer power (n = 0, 1, 2, 3, …). Although the expansion generates an infinite number of terms, only the first n + 1 of them are nonzero.
1 
1  1 
1  2  1 
1  3  3  1 
1  4  6  4  1 
1  5  10  10  5  1 
1  6  15  20  15  6  1 
1  7  21  35  35  21  7  1 
1  8  28  56  70  56  28  8  1 
1  9  36  84  126  126  84  36  9  1 
1  10  45  120  210  252  210  120  45  10  1 
1  11  55  165  330  462  462  330  165  55  11  1 
1  12  66  220  495  792  924  792  495  220  66  12  1 
Comparing (a + b)^{n} to the relativistic gamma…
γ =  1  = (1 − v^{2}/c^{2})^{−½} 
√(1 − v^{2}/c^{2}) 
gives the following parameters for the binomial expansion…
a =  1 
b =  −v^{2}/c^{2} 
n =  −½ 
When n is a fraction, the expansion is truly infinite. Here's what the first six terms of the relativistic energy equation look like. Only the first two are interesting (n = 0 and n = 1).
E = mc^{2}  ⎛ ⎜ ⎝ 
1 +  1  v^{2}  +  3  v^{4}  +  5  v^{6}  +  35  v^{8}  +  63  v^{10 }  +…  ⎞ ⎟ ⎠ 

2  c^{2}  8  c^{4}  16  c^{6}  128  c^{8}  256  c^{10} 
Distribute mc^{2} across all the terms The zeroeth term is the rest energy.
E_{0} = mc^{2}
The first term is the classical equation for kinetic energy.
E_{1} =  1  mv^{2} 
2 
The remaining terms are higher order corrections that become more and more significant as an object's speed approaches the speed of light. I don't know of any practical use for these terms. They do look fancy, however.
E_{2} =  3  mv^{4}  
8  c^{2} 
E_{3} =  5  mv^{6}  
16  c^{4} 
E_{4} =  35  mv^{8}  
128  c^{6} 
E_{5} =  63  mv^{10 }  
256  c^{8} 
…
The energy added to an object to take it from an initial speed of zero to a final speed of something is its kinetic energy.
K = E − E_{0}
Subtitute.
K =  mc^{2}  −  mc^{2} 
√(1 − v^{2}/c^{2})  √(1 − v_{0}^{2}/c^{2}) 
Let initial velocity equal zero.
K =  mc^{2}  −  mc^{2} 
√(1 − v^{2}/c^{2})  1 
Factor out like terms and in the end we get an equation for relativistic kinetic energy that looks like this in expanded notation…
K =  ⎛ ⎜ ⎝  1  − 1  ⎞ ⎟ ⎠  mc^{2} 
√(1 − v^{2}/c^{2}) 
…and like this in gamma notation.
K = (γ − 1)mc^{2}
momentum and energy together
In relativistic mechanics, the momentum equation…
p =  mv 
√(1 − v^{2}/c^{2}) 
and the energy equation…
E =  mc^{2} 
√(1 − v^{2}/c^{2}) 
have a common feature — the Lorentz factor, a.k.a. the relativistic gamma…
γ =  1 
√(1 − v^{2}/c^{2}) 
which means they can be written in a more compact form like this…
p = γmv  E = γmc^{2} 
For no immediately apparent reason, start with this expression…
E^{2} − p^{2}c^{2}
Replace energy and momentum with their gamma versions like this…
γ^{2}m^{2}c^{4} − γ^{2}m^{2}v^{2}c^{2}
The identity rule allows us to multiply the second term by 1 in the form of c^{2}/c^{2}.
γ^{2}m^{2}c^{4} − γ^{2}m^{2}v^{2}c^{2}(c^{2}/c^{2})
Using the commutative and associative properties of multiplication, move things around in the second term.
γ^{2}m^{2}c^{4} − γ^{2}m^{2}(v^{2}/c^{2})(c^{2}c^{2})
Simplify a little…
γ^{2}m^{2}c^{4} − γ^{2}m^{2}(v^{2}/c^{2})c^{4}
and pull out like terms.
γ^{2}m^{2}c^{4}(1 − v^{2}/c^{2})
Notice that the stuff in parentheses is the reciprocal of γ^{2}, which means the stuff on the left cancels the stuff on the right and the stuff in the middle stays put.
m^{2}c^{4}
This means that…
E^{2} − p^{2}c^{2} = m^{2}c^{4}
or…
E^{2} = p^{2}c^{2} + m^{2}c^{4}
This is the relativistic energymomentum relation. For massed particles at rest we get the famous massenergy relationship or the rest energy equation…
v = 0  ⇒  E = mc^{2} 
For massless particles we get the much less famous energymomentum relationship…
m = 0  ⇒  E = pc 
 Does E^{2} = p^{2}c^{2} + m^{2}c^{4} also show that…
 massless particles must travel at the speed of light?
 particles traveling at the speed of light must be massless?
 Can E^{2} = p^{2}c^{2} + m^{2}c^{4} also be thought of as a version of Pythagoras' theorem?
 The squared terms correspond to the sides of a right triangle.
 Are the angles in this triangle anything?
 Is energymomentum a four dimensional vector with
 pc as the spatial component?
 mc^{2} as the temporal component?
If the equations of relativity are to be believed, then nothing with mass can travel at the speed of light. If it did, it would have either undefined energy (the mathematicians answer) or infinite energy (the physicists answer). If v = c, then √(1 − v^{2}/c^{2}) = 0 and as everyone knows you can't divide by zero. This is the mathematicians argument. There's a breakdown of logic. As v approaches c, 1/√(1 − v^{2}/c^{2}) approaches infinity and finite things with infinite characteristics are seen as completely unrealistic. This is the physicists argument. There's a disconnect from what we can observe. Interestingly, the ∞ symbol means both undefined and infinite.
E =  mc^{2}  
√(1 − v^{2}/c^{2})  
E =  mc^{2}  
√(1 − c^{2}/c^{2})  
E =  mc^{2}  
√(1 − 1)  
E =  mc^{2}  
0  
E = ∞  
But what if an object with zero mass was traveling at the speed of light? Now the relativistic energy equation would have zero in the numerator and zero in the denominator. What does everyone have to say about that?
E =  mc^{2}  
√(1 − v^{2}/c^{2})  
E =  0c^{2}  
√(1 − c^{2}/c^{2})  
E =  0  
0  
E = ?  
Well the mathematicians are still unhappy. Division by zero is just not allowed under any circumstances. But the physicists have a different opinion. They often see extreme values as limits on the behavior of numbers, not as logical statements. What is the physical "reality" of dividing mc^{2} = 0 by √(1 − v^{2}/c^{2}) = 0? Mathematicians have found ways to deal with the limit of zero divided by zero and physicists often think of extremes as limits rather than actual values. One of the interesting things about physics is that it appears that measurable reality can be described mathematically. One of the other interesting things about reality is that the only thing that's real about it are the measurements — and they don't give a crap about you and your mathematics. In fact, sometimes I think the universe is daring us to try and figure out how it works. (Yo humans. Check this out. High temperature superconductivity. What do your big monkey brains have to say about that?)
Since a fraction whose value can be expressed as 0/0 may have a finite limit under certain circumstances, there's no logical reason that physical entities with zero mass traveling at the speed of light cannot exist. Light appears to be made of particles with zero mass that travel at the speed of light in a vacuum. There is nothing in relativistic mechanics (or the associated mathematics) that disagrees with this statement.
Let me say it right now. Light is composed of particles (called photons) that have no mass and travel at the speed of light in a vacuum. They have no mass, but somehow they still transfer energy (kinetic energy, to be specific) and momentum. That's the way it appears to be so I'm going to say, with only the most microscopic amount of doubt, that that's the way it is. When you observe something different you let me know.