Проведемо радіуси ОВі ОС у точки дотику .За властивістю дотичної(теорема 20.3)ОВперпендикулярний до АВ і ОСтеж перпендикулярний до АС. У прямокутних трикутниках АОВ і АОС катати ОВ і ОС рівні як радіуси одного кола ,АО-спільна гіпотенуза .Отже ,трикутники АОВ і АОС рівні за гіпотенузою та катетом .Звідси АВ=АС.довели