Sia ABK=KBC=β, dato che BK è la bisettrice di B.
Nel triangolo ABK, il teorema dei seni dà:
sinβAK=sinAKBAB⟹ABAK=sinAKBsinβ.
Nel triangolo CBK, analogamente:
CBCK=sinBKCsinβ.
Ma AKB e BKC sono angoli adiacenti lungo il segmento AC, quindi supplementari: AKB+BKC=180°, da cui sinAKB=sinBKC.
Confrontando le due espressioni si ottiene:
ABAK=sinAKBsinβ=sinBKCsinβ=CBCK.
ABAK=CBCK■