Let α=BC, β=CA, γ=AB. Without loss of generality we may assume that β≥γ. Let M be the midpoint of BC, and let A′, I′, and G′ be the orthogonal projections of A, I and G on MB.

We have
MI′=MB−BI′=2α−(s−β)=2β−γ,
and because
γ2−A′B2=β2−(α−A′B)2,
we have
=MG′=31MA′=31(MB−A′B)31(2α−2αα2−β2+γ2)=6αβ2−γ2.
We conclude that IG⊥BC is equivalent to I′ coincides to G′, that is MI′=MG′. The last relation is equivalent to
2β−γ=6αβ2−γ2
or
(β−γ)(β+γ−3α)=0
and the conclusion follows.