Pessoal, o seguinte problema sai "tranquilamente" usando Geometria Analítica. Tentei usar Geometria Plana, mas apenas girei bastante, sem concluir. Será que é possível?
Dado um ponto P situado no prolongamento do lado AB de um quadrado ABCD, traçam-se as retas PC e PD. Pelo ponto E, intersecção de BC e PD, conduzimos a reta AE cuja intersecção com PC é o ponto F. Provar que BF e PD são perpendiculares. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.