G4

Part of 2020 IMO Shortlist

Problems(1)

Disk inequality

Source: ISL 2020 G4

In the plane, there are

n \geqslant 6

pairwise disjoint disks

D_{1}, D_{2}, \ldots, D_{n}

R_{1} \geqslant R_{2} \geqslant \ldots \geqslant R_{n}

i=1,2, \ldots, n

P_{i}

is chosen in disk

D_{i}

O

be an arbitrary point in the plane. Prove that

O 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.)

inequalitiesgeometric inequalitygeometrydisksIMO ShortlistIMO Shortlist 2020imo shortlist g4