FA' — FE' A^ — R' SA^- PE

Or A^ - E' = (A- + AE + E^) X (A - E); donc A' — E'

= A'-+ AE-f-ES

et le triple du tronc sera (A- + AE -t- E-) x F.

Mais, si l'on forme le triangle comme il a été dit, soient T sa base et R le rayon du cercle circonscrit, on aura T^ égal d'une part à

A''' + AE -f- E%

de l'autre à 3R-, égalités qui seront démontrées tout à l'heure. Par conséquent le triple du tronc sera T^F ou 3R^F; donc R-F sera le volume du tronc. , c. q. k. d.

Quant à ce qui reste à prouver, à savoir que