Prvo rješenje.
Označimo vrhove trokuta s A, B i C te označimo standardno ∠BAC=α, ∠CBA=β, ∠ACB=γ. Nadalje, neka su NA i NB redom nožišta visina iz vrhova A i B te H ortocentar tog trokuta.

Iz pravokutnih trokuta ABNB, ABNA i BCNB slijedi da je
∠ABNB=90∘−α,∠NAAB=90∘−β,∠NBBC=90∘−γ.
Primjenom sinusovog poučka na trokut ABH i korištenjem idetntiteta sin(90∘−φ)=cosφ dobivamo
∣BH∣∣AH∣=sin(90∘−β)sin(90∘−α)=cosβcosα.
Nadalje, iz pravokutnog trokuta BNAH slijedi
∣BH∣∣BNA∣=sin(90∘−γ)=cosγ.
Zato imamo
∣HNA∣∣AH∣=∣BH∣cosγcosβcosα∣BH∣=cosβcosγcosα.
Drugo rješenje.
Zadržimo iste oznake kao u prvom rješenju.
Iz pravokutnih trokuta ANAC i BCNB slijedi da je
∠CANA=90∘−γ,∠NBBC=90∘−γ.
Iz pravokutnih trokuta ANAB i BNBA slijedi
∣AB∣∣BNA∣=cosβ,∣AB∣∣ANB∣=cosα.
Nadalje, iz pravokutnih trokuta ANBH i BNAH dobivamo
∣AH∣∣ANB∣=cos(90∘−γ)=sinγ,
∣BNA∣∣HNA∣=tg(90∘−γ)=ctgγ.
Sada slijedi
∣HNA∣∣AH∣=∣BNA∣ctgγsinγ∣ANB∣=∣AB∣cosβsinγcosγsinγ∣AB∣cosα=cosβcosγcosα.