для наглядности полный отрезок будет выглядеть A----B--D--C
AB=BC
BD=(1/2)BC=(1/2)AB
DC=(1/2)BC=(1/2)AB
эти два угла опираются на одну дугу (вродь так это называется, забыл уже :D )