Denote ∠BAC=α, ∠CBA=β, ∠ACB=γ. Without loss of generality, we may assume α≤β≤γ.
Also denote the three side lengths of triangle ABC as BC=a, CA=b, AB=c.
We first prove: △A1B1C1 is also an acute triangle. Take points D,E on side BC satisfying: B1D//AB, and B1E is the interior angle bisector of ∠BB1C. Since ∠B1DB=180∘−β is obtuse, we know BB1>B1D. Thus we have
ECBE=B1CBB1>B1CDB1=ACBA=A1CBA1.
From this we know BE>BA1, and 21∠BB1C=∠BB1E>∠BB1A1. Similarly we obtain 21∠BB1A>∠BB1C1. Therefore
∠A1B1C1=∠BB1A1+∠BB1C1<21(∠BB1C+∠BB1A)=90∘
is acute. By symmetry, we conclude that △A1B1C1 is an acute triangle.
Returning to the original problem. Let line BB1 meet A1C1 at point F. From α≤γ, we know a≤c, and thus we have
BA1=b+cca≤a+bac=BC1
so ∠BC1A1≤∠BA1C1. Because BF is the interior angle bisector of ∠A1BC1, ∠B1FC1=∠BFA1≤90∘. Therefore H and C1 lie on the same side of line BB1, so H lies inside triangle BB1C1. Similarly, since α≤β and β≤γ, we know H lies inside triangle CC1B1, and also inside triangle AA1C1.
Since α≤β≤γ, we have α≤60∘≤γ. Hence ∠BIC≤120∘≤∠AIB. We first discuss the case ∠AIC≥120∘.
Rotate each of the points B,I,H by 60∘ about the center A, obtaining points B′,I′,H′ respectively, such that B′ and C lie on opposite sides of line AB. Since △AI′I is an equilateral triangle, we know
AI+BI+CI=I′I+B′I′+IC=B′I′+I′I+IC.(1)
Similarly we know
AH+BH+CH=H′H+B′H′+HC=B′H′+H′H+HC.(2)
Since ∠AII′=∠AI′I=60∘, ∠AI′B′=∠AIB≥120∘, and ∠AIC≥120∘, B′I′IC is a convex quadrilateral, lying on the same side of line B′C as point A.
Next, since H lies inside triangle ACC1, H lies outside quadrilateral B′I′IC. Also, since H lies inside triangle ABI, we get that H′ also lies inside triangle AB′I′. Therefore H′ also lies outside B′I′IC. Hence, the quadrilateral B′I′IC lies entirely inside quadrilateral B′H′HC. From this we know the perimeter of B′I′IC does not exceed the perimeter of B′H′HC. Thus from (1) and (2) we obtain
AH+BH+CH≥AI+BI+CI.
When ∠AIC<120∘, we may rotate points B,I,H by 60∘ about the center C, obtaining points B′,I′,H′ respectively, such that B′ and A lie on opposite sides of BC. The proof in this case is similar to the case above, and yields the same inequality. This completes the proof.