Seja P um ponto da elipse de focos e . Mostre que os segmentos e P F2 formam ângulos iguais com a reta tangente a xi em P , e que a reta normal a xi em P é a bissetriz do ângulo widehatF1 P F2.
Sem perder generalidade, nos limitaremos à Elipse:
xi: x^2a^2+y^2b^2=1, a>b
Sejam os focos F1=(-c, 0) e F2=(c, 0), e um ponto arbitrário P=(x0, y0). O vetor normal a xi no ponto P é n=(b^2 x0, a^2 y0). Para provar o requerido, precisamos verificar que
n cdot P F1d1=n cdot P2d2,
onde d1=raiz(x0+c)^2+y0^2=|P F1| e d2=raiz(x0-c)^2+y0^2=|P F2|. A prova segue-se das seguintes equivalências
n cdot P F1d1=n cdot P F2d2 & Leftrightarrow -b^2 x0 c+a^2 b^2d1=b^2 x0 c+a^2 b^2d2 & Leftrightarrow -x0 c+a^2d1=x0 c+a^2d2 & Leftrightarrow (d2-d1) a^2=2 a x0 c & Leftrightarrow (d2^2-d1^2) a^2=4 a^2 x0 c & Leftrightarrow 4 a^2 x0 c=4 a^2 x0 c square
Passo 1
O enunciado pede para mostrar a propriedade refletora da elipse
xi:x^2a^2+y^2b^2=1, a>b,
com focos F1=(-c,0), F2=(c,0) e ponto genérico P=(x0,y0).
Ou seja, provar que os segmentos P F1 e P F2 fazem ângulos iguais com a reta tangente em P e que a reta normal em P bisseta o ângulo widehatF1PF2.
Para isso usaremos o vetor normal obtido pelo gradiente e compararemos produtos escalares normalizados.
Passo 2
A equação implícita da elipse é
F(x,y)=x^2a^2+y^2b^2-1=0
O gradiente em (x0,y0) é
nabla F(x0,y0)=l(tfrac2x0a^2,,tfrac2y0b^2r)
Multiplicando por a^2b^2/2, um vetor normal à tangente em P pode ser escolhido como
n=(b^2x0,;a^2y0)
Passo 3
Escrevemos os vetores dos segmentos até os focos e suas normas:
para verificar que a igualdade é satisfeita identicamente. Portanto
ncdotPF1d1 =ncdotPF2d2
Passo 5
Geometricamente, a igualdade anterior significa que os ângulos entre n e PF1 e entre n e PF2 são iguais. Como a reta tangente é perpendicular a n, deduz-se que PF1 e PF2 formam ângulos iguais com a tangente em P. Além disso, n é bissetriz do ângulo widehatF1PF2, como queríamos.
Resposta
O vetor normal n=(b^2x0,;a^2y0) satisfaz
ncdot tfracPF1d1 =ncdot tfracPF2d2,
logo PF1 e PF2 fazem ângulos iguais com a tangente em P e a normal em P é a bissetriz de widehatF1PF2.