OLYMPIC-REVENGE 2023 Problem 3
Define a in a sphere as a circle that has two diametrically oposite points of the sphere in it. Suppose as the big circle that passes through and . Also, let a be connected by big circles. The angle between two circles that intersect is defined by the angle between the two tangent lines from the intersection point through the two circles in their respective planes. Define also the angle between and . Two circles are tangent if the angle between them is 0. All the points in the following problem are in a sphere S. Let be a spheric triangle with all its angles such that there is a circle tangent to , , in . Show that there is with , , .
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.