If `|veca+vecb|=|veca-vecb|` show that `veca_|_vecb`.

Explanation

We have `|veca+vecb|^2=(veca+vecb).(veca+vecb)`
`=veca.veca+veca.vecb+vecb.veca+vecb.vecb`
`=a^2+b^2+2veca.vecb`
Similarly
`|veca-vecb|^2=(veca-vecb).(veca.vecb)`
`=a^2+b^2-2veca.vecb`
If `|veca+vecb|=|veca-vecb|`,
`veca^2+vecb^2+2veca.vecb=a^2+b^2-2veca.vecb`
or, `veca.vecb=0`
or, `veca_|_vecb`.