Um exemplo escolar

Considere a figura dinâmica
em que [ABDE) e (BCGF] são quadrados.

Movimentando alguns dos pontos A, B ou C na construção de suporte à proposta de um exercício escolar

[A.A.F.] pode deixar-se convencer que AF e CD são perpendiculares.

O exercício escolar pedia aos estudantes que provassem ser recto o ângulo H, usando o produto escalar de vectores e suas propriedades. Pode fazer isso?

Clicando sobre a ilustração, pode descarregar uma demonstração em .pdf usando o produto escalar de vectores e suas propriedades.

Pode demonstrar-se de outro modo?