You aren't going to get there inexpensively. You really need a ultra short throw model and with a image size of about 120 square feet you will need to carefully consider the brightness of the room to get enough usable light on the ground.
But, in reality, your fight will be the need for the throw distance.
The best option is a projector model which supports a .5x -.7x throw distance. (throw distance to screen width is the .5x to .7x). At 9 feet, your exact throw distance is .6x.
Be aware, many projectors can't be placed in a vertical orientation. In setups like this, it is common to mount the projector horizontally, then use a mirror to bounce the image towards the ground. It also keeps 3 feet of projector depth to be hanging downwards into the room.
There are some newer projectors which are finally coming out with very short throw zoom lenses. But, you can expect to pay $2,000 or more for the lens alone. But, a model like this comes close:https://epson.com/Clearance-Center/Projectors-for-Work/Pro-G7500UNL-WUXGA-3LCD-Projector-with-4K-Enhancement-without-Lens---Refurbished/p/V11H750920-N
You can get the ELP-LU03 lens, and it can hit 15' wide from about 10' lens to screen, so a mirror about 1' out will give you 10'.
Note: When searching by feature, you quickly get into expensive models with interchangeable lenses which can do your 15' width from 9' throw (lens to screen)...https://www.projectorcentral.com/projectors
The exception, is the Canon Realis WU400ST which is a unique model.https://www.projectorcentral.com/Canon-REALiS_WUX400ST.htm
Make sure brightness and throw distance works in the space.
- Theater, whole house audio, and technology consultation during the build and installation process in the Washington, DC metropolitan area.