MathDB

Problems(3)

three "old" circles and four concurrent lines

Source: IMO Shortlist 2006, Geometry 6, AIMO 2007, TST 3, P3

6/28/2007
Circles w1 w_{1} and w2 w_{2} with centres O1 O_{1} and O2 O_{2} are externally tangent at point D D and internally tangent to a circle w w at points E E and F F respectively. Line t t is the common tangent of w1 w_{1} and w2 w_{2} at D D. Let AB AB be the diameter of w w perpendicular to t t, so that A,E,O1 A, E, O_{1} are on the same side of t t. Prove that lines AO1 AO_{1}, BO2 BO_{2}, EF EF and t t are concurrent.
ratiogeometryprojective geometryhomothetyIMO Shortlist
tiling holey triangles with diamonds

Source: IMO Shortlist 2006, Combinatorics 6

6/28/2007
A holey triangle is an upward equilateral triangle of side length nn with nn upward unit triangular holes cut out. A diamond is a 6012060^\circ-120^\circ unit rhombus. Prove that a holey triangle TT can be tiled with diamonds if and only if the following condition holds: Every upward equilateral triangle of side length kk in TT contains at most kk holes, for 1kn1\leq k\leq n.
Proposed by Federico Ardila, Colombia
rhombuscombinatoricstilingsIMO ShortlistHall s marriage theorem
local champion integers

Source: IMO Shortlist 2006, Number Theory 6, AIMO 2007, TST 1, P3

6/28/2007
Let a>b>1 a > b > 1 be relatively prime positive integers. Define the weight of an integer c c, denoted by w(c) w(c) to be the minimal possible value of |x| \plus{} |y| taken over all pairs of integers x x and y y such that ax \plus{} by \equal{} c. An integer c c is called a local champion if w(c)w(c±a) w(c) \geq w(c \pm a) and w(c)w(c±b) w(c) \geq w(c \pm b).
Find all local champions and determine their number.
Proposed by Zoran Sunic, USA
number theoryrelatively primegreatest common divisorIMO Shortlist