SHARYGIN 2009 Problem 24
A sphere is inscribed into a quadrangular pyramid. The point of contact of the sphere with the base of the pyramid is projected to the edges of the base. Prove that these projections are concyclic.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.