Define A∗, A# similarly. Since A′B′∥AB, B′C′∥BC, C′A′∥CA, and the three altitudes are concurrent, we obtain
A♯B′C′A♯⋅C♯A′B′C♯⋅B♯C′A′B♯=1=A∗CBA∗⋅C∗BAC∗⋅B∗ACB∗=1,
so K also lies on A′A♯. Let a=BC, b=CA, c=AB. By Menelaus' theorem,
KA♯A′K⋅C′B′A♯C′⋅C♯A′B′C♯=−1=KA♯A′K⋅AA∗A♯A⋅LA′A∗L.
Therefore LA′A∗L=A♯AAA∗⋅C′B′A♯C′⋅C♯A′B′C♯=2⋅accosB⋅acosBbcosA=a22bccosA. Denote this ratio by r. And A′A∗=bcosC−21a=2bcosC−ccosB, so
LCBL=bcosC−1+rr⋅2bcosC−ccosBccosB+1+rr⋅2bcosC−ccosB=2bcosC+r(ccosB+bcosC)2ccosB+r(ccosB+bcosC)=2bcosC+a2bccosA2ccosB+a2bccosA(since ccosB+bcosC=a)=b(acosC+ccosA)c(acosB+bcosC)=b2c2.
But LCBL=bsin∠CALcsin∠BAL, so we get sin∠CALsin∠BAL=bc. Also, since A′ is the midpoint of BC, 1=A′CBA′=bsin∠CAA′csin∠BAA′, so
sin∠CALsin∠BAL=sin∠BAA′sin∠CAA′
Because ∠BAL+∠CAL=∠CAA′+∠BAA′=∠A, we conclude ∠BAL=∠CAA′, ∠CAL=∠BAA′. This completes the proof.