Solve for Unknown Side Lengths

RandomInstance can be used to solve for unknown side lengths subject to abstract geometric constraints.

Given the length of one side of a triangle and the ratio of lengths created by splitting another side by the opposite angle bisector, find the length of the third side of the triangle.

Find the side length of a regular triangle whose area is equal to the circumference of its incircle.