Solution:
We use vectors with H as the origin. Then Pi⋅(Pj−Pk)=0 from the definition of H. Thus Pi⋅Pj=Pi⋅Pk for any distinct i,j,k. In particular, the quantity Pi⋅Pj is a constant over all distinct choices of i,j. Let this value be D. Let
O′=21(P1+P2+P3+P4)
We claim O′=O. To see this, note that
(O′−P1)⋅(O′−P1)=41(P2+P3+P4−P1)⋅(P2+P3+P4−P1)
will be symmetric after expanding. Thus O′ is equidistant from the Pi's, which means O′=O.
Now, the projection of O onto P1H is P1⋅P1O⋅P1P1, so
B=P1(P1⋅P1(2O−P1)⋅P1)=P1(P1⋅P13D)
Meanwhile, A is the projection of P2 on P1H, so
A=P1(P1⋅P1P1⋅P2)=P1(P1⋅P1D)
Thus HB=3HA, as desired.