Difference between revisions of "1967 IMO Problems/Problem 1"
m |
|||
Line 2: | Line 2: | ||
If <math>\Delta ABD</math> is acute, prove that the four circles of radius 1 with centers A, B, C, D cover the parallelogram if and only if | If <math>\Delta ABD</math> is acute, prove that the four circles of radius 1 with centers A, B, C, D cover the parallelogram if and only if | ||
− | <math>a\leq \cos \alpha+\sqrt{3}\sin \alpha</math> | + | <math>a\leq \cos \alpha+\sqrt{3}\sin \alpha</math> (1) |
---- | ---- | ||
Line 14: | Line 14: | ||
Using the Pythagorean theorem we conclude: | Using the Pythagorean theorem we conclude: | ||
− | <math>1^2+x^2=2^2\\x=\sqrt{3}</math> | + | <math>1^2+x^2=2^2\\x=\sqrt{3}</math> |
Using trigonometric functions we can compute: | Using trigonometric functions we can compute: |
Revision as of 01:33, 17 May 2013
Let ABCD be a parallelogram with side lengths and with . If is acute, prove that the four circles of radius 1 with centers A, B, C, D cover the parallelogram if and only if
(1)
To start our proof we draw a parallelogram with the requested sides. We notice that by drawing the circles with centers A, B, C, D that the length of a must not exceed 2 (a radius for each circle) or the circles will not meet and thus not cover the parallelogram. Also, we notice that if an angle exceeds 90 degrees (is no longer acute as requested), side can exceed 2. This is our conjecture.
To prove our conjecture we draw a parallelogram with and draw a segment so that
This is the parallelogram which we claim has the maximum length on and the highest value on any one angle.
We now have two triangles inside a parallelogram with lengths and , being segment . Using the Pythagorean theorem we conclude:
Using trigonometric functions we can compute:
Notice that our angle
To conclude our proof we make sure that our values match the required values for maximum length of
Notice that as decreases, the value of (1) increases beyond 2. Similarly as increases, the value of (1) decreases below 2, confirming that (1) is only implied when is acute.
--Bjarnidk 02:16, 17 May 2013 (EDT)