Proposición 41

Si en una hipérbola, una elipse o una circunferencia se traza a un diámetro una recta de una manera ordenada, se construyen con ella y con la recta que pasa por el centro figuras paralelográmicas equiángulas y si la razón del lado trazado al otro lado de la figura se compone de la de la recta que pasa por el centro del otro lado de su figura y la del lado recto de la figura de la sección a su lado transverso, la figura construida sobre la recta comprendida entre el centro y la recta trazada ordenadamente es semejante a la construida sobre la recta que pasa por el centro, y excede en la hipérbola a la construida sobre la recta trazada ordenadamente en la construida sobre la recta que pasa por el centro, mientras que en la elipse y en la circunferencia dicha figura, aumentada en la construida sobre la recta trazada ordenadamente, equivale a la construida sobre la recta que pasa por el centro.

Sea una hipérbola, una elipse o una circunferencia, de diámetro AB y centro E , y tracemos una ordenada GD , y sobre las rectas EA y GD construyamos paralelogramos AEZM y DGHL equiangulares de manera que GDGH=AEEZrectumtranscersum .

Digo que, el paralelogramo DENK sobre ED semejante a AEZM verifica, en el caso de la hipérbola, ▱DENK=▱AEZM+▱DGHL, y en el caso de la elipse y la circunferencia, ▱DENK=▱AEZM -▱DGHL .

En efecto, sea GQ una recta tal que DGGQ=rectumtransversum. Entonces, ya que rectumtransversum=DGGQ=DG2DGGQ, , y DG2BDDA=rectumtranversum [Prop. I.21], entonces BD∙DA=DG∙GQ.

Ya que DGGH=AEEZrectumtransversum, y ya que DGGH=DGGQGQGH, entonces AEEZDGGQ=DGGQGQGH, por tanto AEEZ=GQGH.

Pero GQGH=GQGDGHGD y AEEZ=AE2AEEZ, así AE2AEEZ=GQGDGHGD.

Y como QG∙GD=BD∙DA, así AE2AEEZ=BDDAGHGD, alternativamente GHGDAEEZ=BDDAAE2.

Por otra parte DGHLAEZM=HGAEGDEZ=HGGDAEEZ [Euclides:Prop. VI.23], y así DGHLAEZM=BDDAEA2.

Además en el caso de la hipérbola, AEZM+DGHLAEZM=BDDA+AE2EA2 y ya que BDDA+AE2=(DE+AE)(DEAE)+AE2=DE2 [Euclides:Prop. II.6], se tiene que AEZM+DGHLAEZM=DE2EA2. Y como DENKAEZM=DE2EA2 [Euclides:Gor. Prop. VI.29], resulta AEZM+DGHLAEZM=DENKAEZM. Así ▱DENK=▱AEZM+▱DGHL.

En el caso de la elipse y de la circunferencia, AE2AEZM=BDDADGHL, de donde AE2AEZM=AE2BDDAAEZMDGHL [Euclides:Prop. V.19].

Y AE2BDDA=AE2(AE+DE)(AEDE)=DE2 [Euclides:Prop. II.5], así AE2AEZM=DE2AEZMDGHL. Pero AE2AEZM=DE2DENK. Así DE2AEZMDGHL=DE2DENK [Euclides:Cor. Prop. VI.20] . Así ▱DENK=▱AEZM-▱DGHL.

Q. E. D.

Ir a Comentario de Eutocio