Geometria analítica/condição de perpendicularismo

[Pete best]

Pessoal, estou empacado para resolver um exercício...

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, interseção de BC e PD, conduzimos a reta AE cuja interseção com PC é o ponto F. Prove que BF e PD são perpendiculares.

Agradeço imensamente a quem ajudar. Grato desde já !

[João P. Ferreira]

Vede anexo

Fiz com régua...

Não me parece que BF e PD sejam perpendiculares!!!

Talvez não usei a ordem certa nos pontos do quadrado...

Anexos