Suppose the normals at α, β and γ are concurrent at (h, k) and let δ be the foot of the fourth normal from (h, k) Then we have
∑tan α/2 tan β/2 = 0
and tan α/2 tan β/2 tan γ/2 tan δ/2 = -1
Eliminating tan δ/2 from the above two equations gives
0 = ∑tan (α/2) tan (β/2)

Therefore
