Розглянемо трикутники АВК АСК вини подібні . Оскільки кути ВКА=СКА то і кути ВАК=САК тому що бісектриса поділила кут ВАС навпіл. Оскільки сторрони АВ і АС мають спільну точку А, а сторони ВК і СК мають спільну точку К і утворюють одинакові кути, то можна вважати що і АВ=АС