Theorem XV

Given two parallel horizontal planes and a vertical line connecting them; given also an inclined plane passing through the lower extremity of this vertical line; then, if a body fall freely along the vertical line and have its motion reflected along the inclined plane, the distance which it will traverse along this plane, during a time equal to that of the vertical fall, is greater than once but less than twice the vertical line.

Let BC and HG be the two horizontal planes, connected by the perpendicular AE; also let EB represent the inclined plane along which the motion takes place after the body has fallen along AE and has been reflected from E towards B. Then, I say, that, during a time equal to that of fall along AE, the body will ascend the inclined plane through a distance which is greater than AE but less than twice AE. Lay off ED equal to AE and choose F so that EB:BD=BD:BF. First we shall show that F is the point to which the moving body will be carried after reflection from E towards B during a time equal to that of fall along AE; and next we shall show that the distance EF is greater than EA but less than twice that quantity.

Let us agree to represent the time of fall along AE by the length AE, then the time of descent along BE, or what is the same thing, ascent along EB will be represented by the distance EB.

Now, since DB is a mean proportional between EB and BF, and since BE is the time of descent for the entire distance BE, it follows that BD will be the time of descent through BF, while the remainder DE will be the time of descent along the remainder FE. But the time of descent along the fall from rest at B is the same as the time of ascent from E to F after reflection from E with the speed acquired during fall either through AE or BE. Therefore DE represents the time occupied by the body in passing from E to F, after fall from A to E and after reflection along EB. But by construction ED is equal to AE. This concludes the first part of our demonstration.

Now since the whole of EB is to the whole of BD as the portion DB is to the portion BF, we have the whole of EB is to the whole of BD as the remainder ED is to the remainder DF; but EB>BD and hence ED>DF, and EF is less than twice DE or AE.

q. e. d.

The same is true when the initial motion occurs, not along a perpendicular, but upon an inclined plane: the proof is also the same provided the upward sloping plane is less steep, i. e., longer, than the downward sloping plane.