Let $S$ be the set of all convex cyclic heptagons in the plane. Define a function $f:S \rightarrow \mathbb{R}^+$, such that for any convex cyclic heptagon $ABCDEFG,$ $$f(ABCDEFG)=\frac{AC \cdot BD \cdot CE \cdot DF \cdot EG \cdot FA \cdot GB} {AB \cdot BC \cdot CD \cdot DE \cdot EF \cdot FG \cdot GA}. $$ a) Show that for any $M \in S$, $f(M) \geq f(\prod)$, where $\prod$ is a regular heptagon. b) If $f(M)=f(\prod)$, is it true that $M$ is a regular heptagon?
Problem
Source: Serbia IMO TST 2024, P3
Tags: algebra
18.05.2024 17:08
It can be done by doing inversion on $A$ I think.
18.05.2024 21:15
19.05.2024 17:32
In the original statement the heptagon is inscribed.
19.05.2024 19:52
Statement on heptagons doesn't imply statement on hexagons. Title misleading.
19.05.2024 19:58
Now for real, the function is a product of cross-ratios so it's preserved under projectivity. This kills (b). For (a), the local minimum of the function under movement of one vertex at a time is when all the lines $A_iA_i$, $A_{i-1}A_{i+1}$,$A_{i-2}A_{i+2}$ are concurrent. It follows by Pascal that $A_{i-3}A_{i+3}$ also passes through this point and that all 7 such points of concurrency are collinear (as is expected from the regular heptagon case). Now a homography fixing the circumcircle and sending these intersection to infinity gives us a regular heptagon so all local minima are equivalent to the regular heptagon.
19.05.2024 21:40
gvole wrote: Now for real, the function is a product of cross-ratios so it's preserved under projectivity. This kills (b). For (a), the local minimum of the function under movement of one vertex at a time is when all the lines $A_iA_i$, $A_{i-1}A_{i+1}$,$A_{i-2}A_{i+2}$ are concurrent. It follows by Pascal that $A_{i-3}A_{i+3}$ also passes through this point and that all 7 such points of concurrency are collinear (as is expected from the regular heptagon case). Now a homography fixing the circumcircle and sending these intersection to infinity gives us a regular heptagon so all local minima are equivalent to the regular heptagon. You forgot to mention who came up with the idea for local minimum. Also im pretty sure this part (a) solution is worth 0 points.