This theorem tells us that the two segments opposite the bisected angle are proportional to the two other sides of the triangle. We are given the expressions for the lengths of these sides and segments, so we can write a proportion.
9/x = 17/8.5
Let's solve it using the Cross Product Property.
