Proposición 51

Trazar a una sección cónica una tangente que forma un ángulo agudo dado con el diámetro de la sección.

Supongamos que la sección cónica es una parábola cuyo eje es AB y sea H el ángulo dado, entonces queremos trazar una tangente a la parábola que con el diámetro que pasa por el punto de contacto forme un ángulo igual al ángulo H.

Supongamos el problema resuelto, y tracemos una tangente CD que con el diámetro EC trazado por el punto de contacto forme un ángulo ECD^ igual al ángulo H^, y corte al eje en el punto D [Prop. I.24]. Ya que AD es paralela a EC [Cor. Prop. I.51] ADC^=ECD^.

Pero el ángulo ECD^ está dado pues es igual al ángulo H^, así el ángulo ADC^ también está dado.

La construcción será, pues, la siguiente: Sea una parábola cuyo eje es AB y sea H^ el ángulo dado . Tracemos una tangente CD que con el eje forme un ángulo ADC^ igual al ángulo H^ [Prop. II.50], y desde C tracemos una paralela EC a AB . Ya que H^=ADC^, y ADC^=ECD^, así H^=ECD^.

Supongamos que la sección cónica es una hipérbola de eje AB , centro E , y asíntota EJ , y sea dado un ángulo agudo W^, y sea CD tangente. Tracemos la recta de unión CE que resuelve el problema, y una perpendicular CG. Así transversumrectum está dado, y por tanto también EGGDCG2 [Prop. I.37].

Construyamos un segmento circular, sobre una cierta recta FH, de un ángulo igual al ángulo W^ [Euclides:Prop. III.33], así será mayor que un semicírculo [Euclides:Prop. III.31]. Desde un punto K de la circunferencia tracemos una perpendicular KL, tal que FLLH=transversumrectum, y tracemos las rectas de unión FK y KH. Ya que FKH^=ECD^, pero EGGDGC2=transversumrectum, así los triángulos KFL y ECG son semejantes, y los triángulos FHK y ECD también lo son. Y por tanto HFK^=W^=CED^.

La construcción será, pues, la siguiente: Sea AC la hipérbola dada , AB su eje , y E su centro , W^ un ángulo agudo dado , y supongamos que transversumrectum=CACB, y que B'A' es bisecada en D' , y tracemos aparte una recta FH , y describamos sobre ella un segmento circular mayor que un semicírculo y ángulo FKH^ igual al ángulo W^ [Euclides:Prop. III.31 y Euclides:Prop. III.33], y sea N el centro del círculo , y desde N, tracemos la perpendicular NO a FH , y cortemos NO en P de manera que NPPO=DÀAC , y desde P tracemos una paralela PK a FH , y desde K una recta perpendicular a KL a FH , y prolonguémosla, y tracemos las rectas de unión FK y KH , y prolonguemos LK hasta M , y desde N tracemos una recta perpendicular NQ a él , así es paralela a FH.

Y así NPPO=DBBC=QKKL.

Y por duplicación de los antecedentes ABB¡C=MKKL, y por composición ACCB=MLLK. Pero MLLK=MLLKLK2, así ACCB=MLLKLK2=FLLHLK2, y [Euclides:Prop. III.36].

Pero ACCB=transversumrectum, así FLLHLK2=transversumrectum.

Entonces tracemos desde A una perpendicular AJ a AB . Ya que [Prop. II.1] EA2AJ2=transversumrectum, y transversumrectum=FLLHLK2, y FL2LK2>FLLHLK2, entonces FL2LK2>EA2AJ2.

Y los ángulos A^ y L^ son rectos, así F^<E^.

Entonces AEC^=LFK^, así EC [Prop. II.2] cortará a la sección . Sea C el punto de corte. Entonces tracemos desde C una tangente CD [Prop. II.49], y tracemos una perpendicular CG , entonces [Prop. I.37] transversumrectum=EGGDCG2. Así FLLHLK2=EGGDCG2, así el triángulo KFL es semejante al triángulo ECG, y el triángulo KHL es semejante al triángulo CGD, y el triángulo KFH es semejante al triángulo CED. Y por tanto ECD^=FKH^=W^.

Y si transversumrectum=1 [hipérbola rectangular], KL es tangente a la circunferencia [Euclides:Prop. III.37], y la recta que une el centro con K será paralela a FH y resolverá el problema.

Q. E. D.