Page:Œuvres de Blaise Pascal, IX.djvu/38

Cette page n’a pas encore été corrigée
Démonstration de la proposition 13.

Je dis que la somme de tous les BO quarré en OD, ou FD quarré en DO, est double de la somme triangulaire des mesmes portions ARIP, à commencer du costé de B : ou que cette somme triangulaire des portions ARIP est égale à la somme des solides QD en FD en DO (qui sont la moitié des FD quarré en DO, chaque FD estant divisée par la moitié en Q).

Car soit entendue la figure adjointe BAP relevée perpendiculairement au plan du triligne BAC, et former le solide dont il a esté parlé dans le lemme gênerai, qui soit coupé par deux ordres de plans perpendiculaires au triligne, les uns passans par les droites EG, et les autres par les droites DF ; les uns donnans pour sections des figures pareilles aux espaces ARIP, et les autres donnans pour sections les rectangles FD en DO, comme cela a esté dit dans le lemme gênerai. Et ainsi ce solide sera composé de la somme des espaces ARIP, et le mesme solide est aussi composé de la somme des rectangles FD en DO : d’où il s’ensuit que la somme des portions ARIP, élevées perpendiculairement au plan ABC sur les droites EG, et la somme des rectangles FDO , élevez aussi perpendiculairement au mesme plan ABC, ne sont qu’une mesme chose, tant entr’elles qu’avec le sohde ; et, par conséquent, que la somme triangulaire des portions du solide comprises entre tous