The air density on earth decays as a function of altitude approximately according to an law, where denotes the weight of a nitrogen molecule and where is a constant and the thermodynamic temperature. To derive this law one usually invokes the Boltzmann factor, itself derived from statistical considerations. We show that this (barometric) law may be derived solely from the democritian concept of corpuscles moving in vacuum. We employ a principle of simplicity, namely that this law is independent of the law of corpuscle motion. This viewpoint puts aside restrictive assumptions that are source of confusion. Similar observations apply to the idealgas law. In the absence of gravity, when a cylinder terminated by a piston, containing a single corpuscle and with height has temperature , the average force that the corpuscle exerts on the piston is: . This law is valid at any temperature, except at very low temperatures when quantum effects are significant and at very high temperatures because the corpuscle may then split into smaller parts. It is usually derived under the assumption that the temperature is proportional to the corpuscle kinetic energy, or else, from a form of the quantum theory. In contradistinction, we show that it follows solely from the postulate this it is independent of the law of corpuscle motion. On the physical side we employ only the concept of potential energy. A consistent picture is offered leading to the barometric law when , and to the usual idealgas law when . The mathematics is elementary. The present paper should accordingly facilitate the understanding of the physical meaning of the barometric and idealgas laws.
1 Introduction
The purpose of this paper is to show that the barometric law and the idealgas law may be obtained on the sole basis of the democritian model according to which nature consists of corpuscles moving in a vacuum, plus a principle of simplicity: namely that these fundamental laws are independent of the law of corpuscle motion (nonrelativistic, relativistic, or otherwise: see appendix D). The temperature enters into the idealgas law and the expression of the gas internal energy solely for dimensional reasons. We show from the general expressions of the gas internal energy and of the force (or pressure) that the heat delivered by the gas is , an expression of the entropy being given. This result enables us to prove that the formallyintroduced temperature coincides, to within some arbitrary constant factor, with the thermodynamic temperature . Indeed, we recover for ideal gases the general Carnot result asserting that the maximum efficiency of thermal engines is: , where denotes the cold bath temperature and the hot bath temperature. The reader may feel that our statement that the above invariance principle implies the barometric and idealgas laws, without anything else, is quite surprising. Yet, we hope that we can convince him/her that this is indeed the case.
Let us emphasize that our goal is to derive the barometric and idealgas laws from first principles, only conservation of potential energy being assumed. We do not use the concept of kinetic energy, nor do we postulate any law of corpuscle motion. Accordingly, a given potential for a weight does not imply any specific law of motion .
Concepts relating to heat since the antiquity:
Democritus, who lived about 300 years B.C., described nature as a collection of corpuscles that cannot be split, moving in vacuum. These corpuscles differ from oneanother in form, position and weight. In the case of a gas, interaction between corpuscles may often be neglected, but they collide with the container’s walls. Platon [1] ascribed heat to corpuscular motion: “Heat and fire are generated by impact and friction, but that’s motion”. Much later, Francis Bacon (15611626) wrote: “The very nature of heat is motion, and nothing else”. This viewpoint is more explicit in Daniel Bernoulli writing (1738): “Gas atoms are moving randomly, and pressure is nothing else but the impact of the atoms on their container walls”. Lastly, Carnot introduced energy considerations circa 1830: “Heat is nothing but motive power, or rather another form of motion. When motive power is destroyed, heat is generated precisely in proportion of the motive power destroyed. Likewise, when heat is destroyed, motive power is generated ”. We will employ the law of conservation of potential energy, well known since the antiquity from cords and pulleys experiments.
Experimental results relating to air:
The first accurate experiments relating to gases are tied up to the invention of the thermometer by Galileo and the barometer by his assistant Torricelli. Then, to Pascal experiments on atmospheric pressure. Pascal ascribed the diminution of the height of a mercury column as a function of altitude to the reduction of the weight of the air above the barometer. It was later shown that the pressure decays exponentially.
Let us recall the crucial experiments performed in the seventeenth century concerning the properties of air. Air, consisting mostly of diatomic nitrogen, may be viewed as an ideal gas. When a tight box contains some amount of air, the volumepressure product is a constant at room temperature, a law enunciated for the first time by Boyle in 1660: “Pressure and expansion are in reciprocal proportions”. Boyle employed a Jshaped glass tube, with the sealed small side full of air, and the other full of mercury. The leftside height was a measure of volume and the rightside height a measure of pressure. Subsequent experiments have shown that this law is applicable at any constant temperature, for example at various liquid boiling temperatures, within some experimental range. We call “generalized Boyle law” the expression: , where P represents pressure, V volume, and some temperature measure.
From an experimental standpoint we could define temperature as the pressure relating to some given amount of matter contained within some fixed volume. As the temperature gets higher the pressure increases. This pressure may be used to define . Of course, different temperature scales would be obtained for different substances, but such thermometers may be calibrated one against another because temperatures tend to equalize in equilibrium. Rarefied helium may be described with great accuracy as a collection of independent corpuscles, except perhaps at very low temperatures when quantum effects become significant and at very high temperatures when the helium atoms may get ionized. The theory presented in this paper shows on the basis of the corpuscular model that , initially introduced formally from dimensional considerations, coincides with the thermodynamic temperature. This is the temperature that enters in the expression of thermalengine efficiencies.
GayLussac has shown in 1802 that, at atmospheric pressure, the volume increment of various gases from freezing to boiling water temperatures is 37.5%[2]. Appropriate gas thermometers enabled experimentalists to establish the proportionality of volume and temperature at constant pressure. This measurement was subsequently made at various pressures, for exemple at various altitudes. The generalized GayLussac law may be enunciated as follows: The twovariable function , where is some unknown function of pressure. Comparison of the generalized Boyle and GayLussac laws shows that: , where defines the amount of gas considered.
Let us emphasize that the empirical GayLussac law makes sense only if one specifies which thermometer is employed. One may employ a gas thermometer from a selected gas such as helium in two ways. One method consists of defining the temperature as the cylinder height (or volume) at a fixed pressure, for example at the standard atmospheric pressure. In the following, we assume that a second method is being employed instead: the temperature is defined as the force that must be exerted on the piston to maintain the height at a fixed value, for example one meter, as said above. If the GayLussac experiment were applied to a gas identical to the gas employed in the thermometer (helium in our example) the fact that pressure is proportional to temperature would be obvious. The importance of the GayLussac experiment is that the proportionality law is found to be valid for any gas.
However, it was subsequently discovered that the GayLussac proportionality law is reasonably accurate only at very small pressures. The theoretical reason that explains this observation is that, at low pressures, the gas molecules of the tested gas and those of the thermometer gas may both be considered as independent noninteracting corpuscles (see below).
In 1803, Dalton, on the basis of his studies of chemical compounds and gaseous mixtures suggested that matter consists of atoms of different masses that combine in simple ratios. He discovered the partialpressure law according to which the total pressure exerted by a gas mixture is equal to the sum of the pressure that each one of the gases would exert if it occupied the full volume alone. Finally, in 1811, Avogadro concluded that equal volumes of gases at the same temperature and pressure contain the same number of molecules (or corpuscles). This entails that is proportional to , now interpreted as the number of corpuscles. One calls “Avogadro number”, , the number of corpuscles contained in 0.0224 cubic meters of gas in standard conditions. In 1865, Loschmidt established from a measurement of the air viscosity that is on the order of . Many other methods have been employed since then for that purpose, such as Brownian motion.
On empirical grounds, the idealgas law may therefore be written as:
(1) 
where V denotes the volume, P the pressure, the number of corpuscules, and the temperature.
The idealgas law has been partly explained on the basis of a kinetic theory by Waterston [3] in 1843, the kinetic theory being based itself on nonrelativistic mechanics. The next important theoretical discovery is due to Boltzmann, see Section 2. In subsequent sections we recall the basic assumptions on which rest the usual proofs of the barometric and idealgas laws. Then we present our model.
2 Usual kinetic and statistical theories
A recent reference[4] lists the assumptions on which the gas kinetic theory rests. Some of them express the democritian hypothesis and are indeed essential. The usefulness of the others, listed below, however, may be questioned:

Gases consist in corpuscles having nonzero mass.

The corpuscles are quickly moving.

They are perfectly spherical and elastic.

The average kinetic energy depends only on the system temperature.

Relativistic effects are negligible.

Motion laws are time reversible.

The number of molecules is so large that a statistical treatment is appropriate.
Comment: As we shall show, none of the above assumptions are needed. It suffices that the (perhaps unique) corpuscle be in thermal contact with the ground.
We sketch in the present section the most usual derivations of the barometric and idealgas laws to remind the readers of the underlying assumptions. Note that the barometric law may be obtained from the idealgas law, and conversely, if one postulates that weightless plates may be introduced or removed at will in the gas at various altitudes. But this postulate is at best plausible. In an interesting paper, Norton [5] derived the idealgas law from the barometric equation. However, the latter involves the Boltzmann factor, which requires other physical considerations (see below), while in the present paper this factor comes in naturally, that is, for purely mathematical reasons.
The barometric law is usually viewed as a straightforward consequence of the Boltzmann factor: the probability that a corpuscle has energy is proportional to: where and the energy , where denotes the corpuscle weight (e.g., the weight of a diatomic nitrogen molecule) and the altitude. Hence the exponential decay.
The derivation of the Boltzmann factor itself is based on a quantization of the energy^{1}^{1}1This concept was introduced by Boltzmann who, however, considered only the limit in which the difference between successive energies is arbitrarily small., and the postulated equiprobability of the microstates. Let the discrete (nondegenerate) energy levels be denoted by . If distinguishable corpuscles are distributed among the energy levels, with corpuscles in level 1, corpuscles in level 2, and so on, the number of ways of doing that is inversely proportional to: . It is postulated that this number reaches its maximum value at equilibrium under the constraint that , the total number of corpuscles, and , the total energy. In the limit of large values, one finds that: , for some value that depends on and . Even though physicists are nowaday very familiar with that procedure, it is not so easy to explain it to students. Besides, it rests on a number of assumptions.
The traditional derivation of the idealgas law, on the other hand, is based on nonrelativistic mechanics [6]. For a onedimensional model, one considers a corpuscle moving back and forth between two plates separated by a distance , one of them playing the role of a piston. If denotes the speed of a corpuscle, an impact on a plate delivers to it an impulse where denotes the corpuscle mass, and this occurs every time units. It is concluded that the force exerted on the piston is: , that is: , where denotes the kinetic energy. It is recognised that there may be a distribution of kinetic energies [6]. Postulating that the temperature is proportional to the average kinetic energy one obtains for the average force the idealgas law: . Alternatively, one may quantize the corpuscle wavefunction and employ the Bolzmann factor [7].
The procedure described above has been generalized to relativistic motion (). The same idealgas law is valid at any temperature (within the corpuscular model). Our thesis is that the idealgas law has simply nothing to do with the law of corpuscle motion, and that it is therefore not surprising that it holds for both the Galileo and Einstein laws of motion. The assumption that temperature is proportional to the average kinetic energy cannot possibly be derived from first principles since it is only an approximation acceptable when . These are some of the reasons why we feel that the traditional proofs are unsatisfactory. An alternative is offered below.
3 The barometric law
We are considering an unitarea cylinder with vertical axis in uniform gravity, resting on the ground () at some temperature. We consider only motion along the vertical axis, denoted in general by , where denotes time. The corpuscle energy is defined as: where is the corpuscle weight and the maximum altitude. In the following, some regularity of the function is assumed, but no specific law is presumed, except in examples. We set for convenience at the top of the trajectory, that is: , , where a prime denotes a derivative with respect to .
Consider a single period of corpuscle motion as shown in Fig. 1. Let the corpuscle distance from the top of its trajectory be denoted , at times and . We call^{2}^{2}2We do not assume that or . Asymmetric laws of motion occur if one employs clock synchronisation rules different from the one proposed by Einstein. For example, if a light pulse emitted from at propagating upward is employed to synchronise clocks located at different altitudes, the apparent upward speed of light is, by this convention, infinite. The downward speed of light is then if denotes the Einstein speed of light, so that the twoway speed of light remains equal to , in agreement with very precise experiments. The present anisotropy refers to a change of formalism, not of physics. It is of some importance that the laws discussed in this paper do not depend on such conventional changes.: “time interval” . Because gravity is static and uniform (that is, independent of altitude and time) this function depends only on . As an example, for nonrelativistic motion: , with where denotes the corpuscle mass and the gravitational acceleration. In that example: , being a constant.
The period of motion of a corpuscle bouncing off the ground () without any loss of energy (rigid walls and negligible gas friction), and having energy , is according to the above definitions: . On the other hand, the time spent by the corpuscle above some level is obviously zero if , and equal to: if . In the latter case, the fraction of time during which the corpuscle is above is therefore: , as suggested on the figure 1.
We now suppose that the ground on which the corpuscle is bouncing off has been heated to some temperature (the concept of temperature will be precisely defined later on). This means that the ground level (=0) is not perfectly static as assumed above, but instead is quivering. Concretely, the groung level could be moving up and down according to some zeromean fluctuation of small amplitude so that, upon impacting on the ground, the corpuscle may loose energy (when the ground level is moving downward), or gain energy (when the ground level is moving upward). We will not need the explicit form of this fluctuation. We only assume that the amplitude of that fluctuation is so small that the corpuscle energy does not vary significantly over many periods. Yet it may evolve slowly. The energy distribution refers to averages over arbitrarily long times, and is presently unknown; it will be determined by enforcing the condition that the law of interest (presently the barometric law) does not depend on the corpuscle law of motion.
The fractional time during which the corpuscle is above some level is, according to the previous considerations and remembering that where is a constant:
(2) 
The lower limit of the integral in the numerator is since the fractional time is equal to zero when .
We now argue that must be: , where is a constant having the dimension of energy as is required by the fact that the argument of an exponential is dimensionless. First, let us introduce this distribution law in (2). We obtain:
(3) 
On the third line, we have used as an integration variable instead of . The last line follows from the fact that are dummy variables, so that we may replace by . Note that, even though we have introduced integral signs, no integral has been performed.
The distribution introduced above is the one that leads to a result (last line of (3)) independent of the particular form of the function, and therefore of the law of motion. For a purely mathematical reason, the term: must be there to cancel a similar term in the denominator of the expression of the fractional time. On the other hand, the only function of that may cause the integral in the numerator to go from 0 to infinity and cancel out with the integral in the denominator is: , the argument being defined only to within a constant factor. In order to obtain the energy distribution , one would need to know the function . But, remarkably, the energy distribution is not needed explicitly.
From a physical standpoint, the energy distribution may be written as , where denotes the action, equal to the motion area for one period, and . In quantum mechanics the action is set equal to an integer (1,2…, ignoring a small constant) times the reduced Planck constant . The term , usually referred to as the “Boltzmann factor”, enters here solely by mathematical necessity[7].
The gas density, defined as the probability that the corpuscle be located between and , divided by , is: . This is the barometric law. Since and are constant, the density decays exponentially as a function of altitude . In the earth atmosphere the density of diatomic oxygen decays faster than the density of diatomic nitrogen because the weight of an oxygen atom exceeds that of a nitrogen atom in the ratio 16/14.
We have supposed above that the weight is independent of altitude. A more general formulation is given in appendix.
4 Potential energy
We will only need the gas internal energy . However, it is of some pedagogical interest to separate out from a term that may be called the potential energy. This term is directly calculated in the present section. The potential energy of a corpuscle of weight located at altitude is defined as . The gas potential energy, according to the above expression of the density, is therefore: , using (3).
When the corpuscle motion is restricted to: one can show that the density is unaffected in that range of , as is discussed in an appendix. It must be normalized, though, so that the integral of from 0 to be unity. A simple integration of from to then gives the potential energy for any value:
(4) 
According to that expression tends to monotonically if . It tends to 0 when tends to 0, that is in the absence of gravity. This is what is usually assumed when one refers to the idealgas law. In that case, as shown below, the internal energy depends only on temperature.
5 Internal energy
The gas internal energy is the average value of , if only motion along the axis is considered (note that the gravitational energy is accounted for in ). It can be evaluated by the above method and is found to be given by the sum of the potential energy in (4) and a term that depends on but not on .
The explicit expression of is, omitting details that are similar to those in section 3:
(5) 
where the potential energy is given in (4) and:
(6) 
depends only on temperature.
The explicit form of requires the knowledge of the function and therefore of the corpuscle law of motion. In the special case of nonrelativistic motion, for example, we have , see Section 3. At that point, Integration is needed. It gives: , or more precisely: , a wellknown result. In Physics textbooks is called the average kinetic energy. This interpretation, however, is not needed here: is simply the term that remains when the potential energy is subtracted from the internal energy.
6 Force exerted on the piston by a corpuscle of energy
We now treat the idealgas law by similar methods. We are considering again a unitarea cylinder with vertical axis in uniform gravity, resting on the ground () at some temperature. A tight piston can move in the vertical direction. The cylinder height is denoted by and contains a single corpuscle of weight . In our onedimensional model, the pressure P corresponds to the average force , the volume V to the height , and . Our result provides the idealgas law in a generalized form, taking into account gravity. In that case, the pressure varies as a function of altitude. More precisely, the force exerted by the corpuscle on the lower end of the cylinder exceeds the force exerted on the upper end (or piston) by the corpuscle weight. But in the absence of gravity, the forces exerted on both ends are the same.
We are introducing (static and uniform) gravity, not so much for the sake of generality, but because this helps clarify the concept of corpuscle energy: the corpuscle energy is defined as the maximum altitude that the corpuscle would reach in the absence of the piston, multiplied by the corpuscle weight. Precisely, the maximum height reached by a corpuscle of weight and energy in the absence of a piston is: , the corpuscle bouncing elastically from the ground, that is, without any loss or gain of energy.
Consider first the case where is infinite, that is, in the absence of a piston. The time period is denoted as before with . The average force exerted on the ground, equal to the corpuscle weight , is the product of the impulse and the number of impulses per unit time. Thus . In other words, the impulse transmitted to a plane when the corpuscle impacts on it is the product of the corpuscle weight and the motion period.
If the plate is located at , we have and the impulse is: . When the corpuscle is moving back and forth beween the planes at and (instead of being located above ) the impulse is just opposite to . It is therefore in absolute value equal to .
Next, we introduce a rigid plane at , viewed as a piston, and consider a corpuscle bouncing on the and planes alternately. The time period becomes: , as one can see from inspection of the figure. We call the force exerted on the rigid plane, averaged over a time period. It follows from the previous expressions that:
(7) 
7 Average force
As a consequence of the slight quivering of the cylinder lower end (thermal motion), the corpuscle energy slowly varies in the course of time. The force just defined must be weighed by some energy distribution in such a way that the average force be independent of the corpuscle equation of motion, and thus of the function. In the limit where , a condition that amounts to ignoring gravity, we obtain the idealgas law in the form: , where is a quantity having the dimension of an energy. We later on prove that is the thermodynamic temperature.
The above condition obtains from (6) if and only if one selects the following energy distribution:
(8) 
where has the dimension of an energy. Indeed, the average force becomes, using (6) and (7):
(9) 
In the above integrals going from to we have replaced by and introduced the variable , so that all the integrals go from zero to infinity and cancel out. Note that, as in Section 3, no integration has been actually performed.
The corpuscles being independent, for an arbitrary collection of corpuscles having the same weight the force is multiplied by . In the case of zero gravity =0 or more precisely: . The above expression then gives: . Thus we have obtained the idealgas law: .
The expressions given earlier for the average force in (7) and the internal energy in (5) may be written, setting , as:
(10) 
is essentially the quantity called in thermodynamics the partition function. It becomes dimensionless if it is divided by the reduced Planck constant , which however plays here no physical role. The continuous energy in the integral may be replaced by closelyspaced discrete energies , the spacing between adjacent energies accounting for the function. This procedure is the one employed in the numerical evaluation of integrals; it does not in itself implies quantization. The factor preceding the integral in (7) entails that the energies are multiplied by some function of . In the second expressions of and given in (7) we have introduced for brevity the socalled “free energy” .
To be sure, the present paper does not provide explicit expressions of gases internal energy if the law of corpuscle motion remains unknown. It does provide, however, a firstprinciple proof of the idealgas law, including a possible effect of uniform gravity, and the barometric equation. We have recovered the usual thermodynamical and semiclassical statisticalmechanical expressions for the special case of ideal gases.
8 The energy is the thermodynamic temperature
We now prove that , introduced in the previous sections on dimensional grounds only, is the thermodynamic temperature. We do this by showing that the maximum efficiency of a thermal cycle employing ideal gases is: , where is the coldbath temperature and the hot bath temperature.
From (7) we obtain:
(11) 
where represents the heat released by the gas, from the law of conservation of energy. For any function such as : . If the gas is in contact with a thermal bath (= constant), is the heat gained by the bath. The quantity defined above is called the “entropy”. In particular, if heat cannot go through the gas container wall (adiabatic transformation) we have that is, according to the above result: . Thus adiabatic transformations are isentropic. Note that introduction of and is only a matter of mathematical convenience.
A Carnot cycle consists of two isothermal transformations at temperatures and , and two intermediate adiabatic transformations (). After a complete cycle, the entropy recovers its original value and therefore . According to (8): , and therefore . Energy conservation gives the work performed over a cycle from: . The cycle efficiency is defined as the ratio of and the heating supplied by the hot bath. We have therefore: , from which we conclude that is the “thermodynamic temperature”.
This temperature is defined only to within a multiplicative factor, which is fixed by agreeing that the water triplepoint temperature is 273.16 kelvins. One thus sets: . One generally considers an amount of gas called a “mole” occupying a volume of 0.0224 cubic meters at standard pressure and temperature (approximately one atmosphere or 100 000 pascals, and 300 kelvins). We then write: , with the idealgas constant: joules per kelvin.
9 Conclusion
Let us briefly recall the concepts introduced in the present paper. One can imagine that after having introduced the corpuscular concept, Democritus observed the elastic bounces of a unit weight on a balance and defined the weight “impulse” from the motion period. Not knowing the nature of the motion (parabolic? hyperbolic?), he may have thought of introducing a weight factor such that the average force does not depend on the law of motion. This, as we have seen, may be done. This weight factor involves for dimensional reasons a quantity having the dimension of energy. Considering a thermal engine operating between two baths at temperatures one finds on the basis of the principles just stated that the maximum efficiency is: . This allows us to call the thermodynamic temperature.
William of Ockham (12871347) set as a matter of principle that one should not employ more concepts than those that are strictly necessary to explain the observed phenomenas. (Some authors consider that the Ockham philosophy predates the advent of modern science by insisting on facts and the kind of reasoning employed rather than on speculations about essences). Accordingly, it seems important to elucidate the assumptions on which rest, in particular, the barometric and idealgas laws that play an essential role in theoretical physics and many applications. Our thesis is that these laws may be obtain on the sole basis of the Democritus model of corpuscles and vacuum. It is indeed unnecessary to specify the laws of motion. One can also show that the idealgas internal energy depends only on temperature (in the absence of gravity). To evaluate explicitly this energy it is, however, necessary to know the law of motion. From a pedagogical standpoint and in application of Ockham’s concept one should not postulate principles which, without being erroneous, are unnecessary.
Appendix A A simple but incomplete proof of the ideal gas law
We present in this paragraph a simple proof leading to the idealgas law. Initially, we only suppose that the gas corpuscles are independent, so that the force exerted on the piston by corpuscles is times the force exerted by a single corpuscle, the other conditions (temperature and cylinder height) being the same. We also postulate that the force exerted by a corpuscle of any kind (e.g., nitrogen or helium) on the piston depends only on temperature and height (or volume). At the end of the argument, we additionally postulate that intermediate pistons may be removed without affecting the system equilibrium. This latter assumption would be untenable if the corpuscles were attracting each others, as is the case for nonideal gases. The present proof is incomplete because we postulate, rather than demonstrate, that plates may be added or removed at various altitudes without resulting into any physical effects.
Let us consider a cylinder of unit area, with a tight piston that can move freely along the axis. This cylinder of height contains corpuscles and is raised at some temperature . The cylinder may, for exemple, be filled with nitrogen at standard temperature and pressure. Because the corpuscles are independent, corpuscles exert times as much pressure as a single corpuscle, and being unchanged. We can therefore set in general: , where is an unknown twovariables function. We can (at least in principle) define as the force that a single helium atom exerts on the piston when the cylinder height . Then: .
If we now superpose such cylinders, possibly containing corpuscles of various kinds, the total height becomes and the number of corpuscles becomes also. The force exerted on the upper piston gets transmitted unchanged to each of the cylinders, if we neglect the gas and cylinder weight. This amounts to saying that each cylinder remains in the same conditions as before. But the system presently considered has height , contains corpuscles, and the force is: . Substituting these values of , and in the general expression: , we get: . Thus , and the general formula becomes: , which is the ideal gas law.
We have implicitly assumes above that one can remove the intermediate pistons without modifying the system equilibrium; this is plausible if the corpuscles do not interact. A proof is given in Appendix B.
Appendix B Barometric equation with a plate
We consider the case where the corpuscle of weight is bouncing between the ground and a fixed plate at . We are seeking the density: , where . In Section 4, we have supposed that this density is the same as if the plate were not there (except for a normalization factor). Even though this assumption is plausible, it is useful to verify it to prove our formalism consistency. As in the main text we denote by the maximum height that the corpuscle would attain if the plate were not there, as a consequence of its energy. We set for brevity.
To evaluate the probability that the corpuscle be below , one must distinguish three cases:
(12) 
On the other hand, the weighting factors relating to given in (7) are:
(13) 
The probability that the corpuscle be below is therefore:
(14)  
(15) 
After normalization, we see that the probability that the corpuscle be below is: , which is the expected result if the density is the same as in the absence of the plate at , namely: .
Appendix C Nonuniform gravity
In the present appendix we show how nonuniform weights , or continuous potentials: , could be handled. On earth, weights decay in proportion to the reciprocal of the square of the distance from the earth center. It is only for small changes in altitude that weights may be considered constant. Another example is a cylinder rotating about its axis at some constant angular rate. In that case is proportional to the distance from axis.
We only treat the case of two weight values: and , and evaluate the ratio of the average times spent by the corpuscle below and above the altitude. Besides energy conservation we only suppose that corpuscle speeds are continuous. As in the main text, the corpuscles considered are bouncing off the ground at , at some temperature .
Let us denote by the timeinterval corresponding to a distance from the top of the trajectory when the weight is a constant , with . These functions are of course different for different weight values. Considering two weightvalues corresponding to subscripts 1,2, continuity of the corpuscle speed entails that: , as one can see by taking the derivative of this relation with respect to . This relation is readily verified for the special case of Galilean motion in which case: for a constant . As in the main text we will let denote the corpuscle energy.
When the corpuscle stays below the plane. When , the time spent by the corpuscle above the plane is: because the corpuscle weight is and its energy with respect of the plane is . The time spent below the plane is in that case: . Thus the average times spent below and above the plane are respectively:
average time below  
average time above  (16) 
If denotes the energy distribution, the ratio of the average times spent by the corpuscle below and above is therefore:
(17) 
The only way to remove the functions is to choose: , where has the dimension of an energy. Proceeding as in the main text, we obtain from the above expression the result:
(18) 
We have therefore obtained a result applicable to nonlinear potentials. A possible generalization would consist of considering arbitrary static potentials. This, however, will not be done here.
The expression in (18) is usually obtained by postulating a gas density: , where is the potential at . is now viewed as the ratio of the integral of from to and its integral from to . We have: .
Thus: , where is a constant. Integration gives
(19) 
which coincides with (18). The interest of our method is of course that the Boltzmann factor needs not be postulated.
Appendix D General equations of motion
The Hamilton equations of motion in one space dimension () derive from a hamiltonian function: , with . In the situations considered in this paper we may set , where is a (nearly) arbitrary function of , and is the potential function. In a static (timeindependent) force of constant magnitude directed along the negative axis, we have . Thus, a general equation of motion is: , where , and , where is an integration constant.
In particular, for a slow corpuscle of mass we have: . Since , where is the acceleration, it follows that , if , according to Galileo. For a corpuscle at any speed we have: where is the speed of light, according to Einstein. Still other forms, which are dimensionally correct but unlikely to be in general physically significant, would be: for some function . No particular function is presumed in this paper.
References
 [1] E. Hecht, Physique. de Boeck University, 2003, see § 14.8.
 [2] C. H. Holbrow and J. C. Amato, “What GayLussac didn’t tell us,” Am. J. Phys., vol. 79, pp. 17–24, 2011.
 [3] J. Waterston, “On the physics of media that are composed of free and perfectly elastic molecules in a state of motion,” Philosophical Transactions of the Royal Society of London A, vol. 183, pp. 1—79, 1892, this article, submitted to that journal in 1843, was initially rejected.
 [4] F. P. Miller, A. F. Vandome, and J. McBrewster, Eds., Ideal gas law. Mauricius: Alphascript Publishing, 2009, this booklet reproduces Wikipedia articles relating to the idealgas law. Numerous references to Physics textbooks are listed there. Aslo see http://en.wikipedia.org/wiki/Kinetic_theory.
 [5] J. D. Norton, “Atoms, entropy, quanta: Einstein’s miraculous argument of 1905,” Studies in History and Philosophy of Modern Physics, vol. 37, pp. 71–100, 2006. [Online]. Available: http://www.pitt.edu/~jd/papers/miraculous.pdf
 [6] R. P. Feynman, R. B. Leighton, and M. Sands, Feynman lectures in physics; mainly mechanics, radiation and heat. Reading, MA: AddisonWeysley Publishing Company, 1963, vol. 1.
 [7] J. Arnaud, L. Chusseau, and F. Philippe, “Démocrite et la puissance motrice du feu (Democritus and the motive power of fire),” 2011, 79 pages. [Online]. Available: http://arxiv.org/abs/1104.0836