What you could do to find that quartic polynomial is to use similar triangles.

Square both sides and bring everything to one side via cross multiplication:

Expand out and get:

If we solve this we find it has two real solutions, one is 9/2. That's the one.