운동 에너지
formula_71는 바이츠제커의 운동 에너지 범함수이다.