Поскольку угол ADV = углу ASD и угол ADB = углу ACS (по свойству биссектрисы), то треугольники ADV и ASD подобны по стороне-уголу. Это означает, что отношение соответствующих сторон этих треугольников равно. Таким образом, AB/AS = AV/AD и AC/AS = AC/AD. Так как AV = AD, тогда AB = AS и AC = AD. Из этого мы можем заключить, что AB = AC.
Доказательство:
Поскольку угол ADV = углу ASD и угол ADB = углу ACS (по свойству биссектрисы), то треугольники ADV и ASD подобны по стороне-уголу. Это означает, что отношение соответствующих сторон этих треугольников равно. Таким образом, AB/AS = AV/AD и AC/AS = AC/AD. Так как AV = AD, тогда AB = AS и AC = AD. Из этого мы можем заключить, что AB = AC.
Таким образом, утверждение доказано.