where,, are the lengths of the angle bisectors (internal to the triangle) and,, are the lengths of the angle bisectors extended until they meet the circle.
saan,, ang haba ng bisectors anggulo (panloob na sa tatsulok) at,, ang haba ng anggulo bisectors pinalawig hanggang sa makamit nila ang mga bilog.