Любая точка А касательной, отличная от точки ..., является внешней относительно ..., поэтому OA ... OH. Следовательно, ... наклонная к p, а OH — ... . Значит, p ⊥ OH.

Любая точка А касательной, отличная от точки Н, является внешней относительно окружности, поэтому OA > OH. Следовательно, прямая наклонная к p, а OH — перпендикуляр. Значит, p ⊥ OH.

Доказано.