$H_i$ lies on the ray $IA_i$ and $IH_i\cdot IH_i=2r^2$ (where $r=IB_i$), so $H_i$ is the image of $A_i$ under inversion with respect to center $I$ and radius $\sqrt{2}r$. Thus the result.
Fedor Petrov
- 108.9k
- 9
- 264
- 459