Propositie 5 Stelling

Versie Oliver Byrne

Als een hoeveelheid dezelfde veelvoud van een ander is,
die een deel genomen van de eerste is van een deel genomen van de andere,
dan zal de rest dezelfde veelvoud van de rest zijn die het geheel is van het geheel.

 


Laat

blboom
blboom blboom
gehang


=


M'

zw3hoek
ro4kant

en

gehang

=

M'

ro4kant.


Dan

blboom
blboom blboom
gehang


gehang


=


M'

zw3hoek
ro4kant


M' ro4kant.


Dus

blboom
blboom blboom


=


M' (

zw3hoek
ro4kant


ro4kant).


En dus

blboom
blboom blboom


=


M'


zw3hoek.

Dus als een hoeveelheid, enzovoort.

Als a + b = m (c + d) en
   b = M' d
dan a = M' c

Want
als a + b = M' (c + d) en
   b = M' d
dan a + b - b = m (c + d) - M' d
dus a = M' c + M' d - M' d
dus a = M' c

Oftewel, M' c + M' d = M' (c + d).


Anders gesteld, met c + d = e:
M' e − M' d = M' (ed)

Naar de versie van David E. Joyce à la Byrne

Als blge lijn dezelfde veelvoud is van zwro lijn als ge lijn van ro dun,
dan is het verschil bl lijn dezelfde veelvoud van het verschil zw dun
als blge lijn is van zwro lijn.


Maak zw dun zo dat bl lijn dezelfde veelvoud van zw dun is
als ge lijn is van ro dun.

En maak ro lijn gelijk aan ro dun.


Daar bl lijn dezelfde veelvoud van zw dun is als ge lijn van ro dun en als blge lijn van zwro lijn,
moet ook blge lijn dezelfde veelvoud van zwro dun zijn (prop 1 uit Boek V).


Dus zwro lijn = zw dun + ro dun.

En ro lijn is gelijk gemaakt aan ro dun.

Trek ro lijn = ro dun af van zowel zwro lijn als van zw dun + ro dun.

Dan is het verschil zw stijn gelijk aan het verschil zw dun.


En daar blge lijn dezelfde veelvoud van zwro lijn is als ge lijn is van ro dun en
als bl lijn = zw lijn,
moet ro lijn dezelfde veelvoud van ge lijn zijn als bl lijn is van zw lijn.


Verder geldt: ro lijn is dezelfde veelvoud van ge lijn als robl lijn is van gezw lijn (hyp).

Dat betekent dat het verschil bl lijn dezelfde veelvoud van het verschil zw lijn is
als het geheel robl lijn is van het geheel gezw lijn.


Daarom geldt: Als robl lijn dezelfde veelvoud is van gezw lijn enzovoort.

Figuur propositie 5

vorige / volgende