IMO 1973 Problem 5
- Day 2
is a set of non-constant functions . Each is defined on the real line and has the form for some real . If and are in , then so is , where is defined by . If is in , then so is the inverse . If , then . Every in has a fixed point (in other words we can find such that . Prove that all the functions in have a common fixed point.
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.