olymmath

ISL 2020 G4

    In the plane, there are n⩾6n \geqslant 6 pairwise disjoint disks D1,D2,…,DnD_{1}, D_{2}, \ldots, D_{n} with radii R1⩾R2⩾…⩾RnR_{1} \geqslant R_{2} \geqslant \ldots \geqslant R_{n}. For every i=1,2,…,ni=1,2, \ldots, n, a point PiP_{i} is chosen in disk DiD_{i}. Let OO be an arbitrary point in the plane. Prove that OP1+OP2+…+OPn⩾R6+R7+…+RnO P_{1}+O P_{2}+\ldots+O P_{n} \geqslant R_{6}+R_{7}+\ldots+R_{n} (A disk is assumed to contain its boundary.) (Iran)

    Dataset text NuminaMath olympiads. 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.

    Add a solution

    Locator isl/2020/g4 · Tag QS8N9D87FZ · Edit this page on GitHub · Keys: j next, k previous