We have
HA1AH+1=HA1AH+HA1HA1=HA1AA1=P△HBCP△ABC.
Similarly, HB1BH+1=P△HCAP△HBC and HC1CH+1=P△HABP△HBC. If x=P△HBC, y=P△HCA, z=P△HAB, then
P△ABC=x+y+z. Now HA1AH+HB1BH+HC1CH=2008 is equivalent to
xx+y+z−1+yx+y+z−1+zx+y+z−1=2008,
from where (x+y+z)(yz+xz+xy)=2011xyz.
Finally
(xx+y+z−1)⋅(yx+y+z−1)⋅(zx+y+z−1)=xy+z⋅yx+z⋅zx+y=xyz(y+z)(x+z)(x+y)==xyz(x+y+z)(yz+xz+xy)−xyz=xyz2011xyz−xyz=2010