From the right
△AHF,cos(∠HAF)=AFAH−(1)
∴cos(∠HAF)=cos(90−C)=sin(∠C)−(2)
∴sin(∠C)=AFAH
⟹AH=AFsinC−(3)
Fromright△ABF,cos(∠A)=AFAB
⟹AF=AB×cosA=2R.sinCcosA
∵Bysinlawof△le,ABsinC=2R,
where R is the radius of the circle circumscribly, the△ABC.
⟹AH=2R.sinC.cosAsinC=2RcosA
Thus,distance of the verticeA from its orthocenter=2RcosA.
Similarily, other 2 vertices are 2RcosB&2RcosC
∴x=2RcosA;y=2RcosB;z=2RcosC
By sine law of△ABC
a=2RsinA;b=2RsinB;c=2RsinC
∴ax=tanA;by=tanB;cz=tanC−(4)
∴ax+by+cz=tanA+tanB+tanC−(5)
∴In△ABC,A+B+C=180∘
(Angle sum property of△le)
⟹A+B=180−C∴tan(A+B)=tan(180−C)=−tanC
∴tanA+tanB1−tanA.tanB=−tanC
∴tanA+tanB+tanC=tanA.tanB.tanC−(6)
∴ax+by+cz=tanA.tanB.tanC−(7)
Substituting the values of tanA,tanB&tanCfrom(4)
⟹ax+by+cz=abcxyz