Difference between revisions of "1967 IMO Problems/Problem 1"
Mathboy100 (talk | contribs) m |
|||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
− | Let | + | Let <math>ABCD</math> be a parallelogram with side lengths <math>AB = a</math>, <math>AD = 1</math> and with <math>\angle BAD = \alpha</math>. |
− | 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 <math>1</math> with centers <math>A</math>, <math>B</math>, <math>C</math>, <math>D</math> cover the parallelogram if and only if |
<math>a\leq \cos \alpha+\sqrt{3}\sin \alpha</math> (1) | <math>a\leq \cos \alpha+\sqrt{3}\sin \alpha</math> (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 <math>a</math> must not exceed 2 (the radius for each circle) or the circles will not meet and thus not cover the parallelogram. | + | ==Solution== |
− | + | 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 <math>a</math> must not exceed 2 (the radius for each circle) or the circles will not meet and thus not cover the parallelogram. | |
− | |||
To prove our conjecture we draw a parallelogram with <math>a=2</math> and draw a segment <math>DB</math> so that <math>\angle ADB=90^{\circ}</math> | To prove our conjecture we draw a parallelogram with <math>a=2</math> and draw a segment <math>DB</math> so that <math>\angle ADB=90^{\circ}</math> | ||
Line 17: | Line 16: | ||
<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: | ||
Line 32: | Line 29: | ||
Notice that as <math>\angle\alpha</math> decreases, the value of (1) increases beyond 2. We can prove this using the law of sines. Similarly as <math>\angle\alpha</math> increases, the value of (1) decreases below 2, confirming that (1) is only implied when <math>\Delta ABD</math> is acute. | Notice that as <math>\angle\alpha</math> decreases, the value of (1) increases beyond 2. We can prove this using the law of sines. Similarly as <math>\angle\alpha</math> increases, the value of (1) decreases below 2, confirming that (1) is only implied when <math>\Delta ABD</math> is acute. | ||
− | + | --[[User:Bjarnidk|Bjarnidk]] 02:16, 17 May 2013 (EDT) | |
+ | ----- | ||
+ | Solution can also be found here [https://artofproblemsolving.com/community/c6h21154p137323] | ||
− | - | + | == See Also == {{IMO box|year=1967|before=First question|num-a=2}} |
Latest revision as of 00:10, 10 December 2022
Let be a parallelogram with side lengths
,
and with
.
If
is acute, prove that the four circles of radius
with centers
,
,
,
cover the parallelogram if and only if
(1)
Solution
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 must not exceed 2 (the radius for each circle) or the circles will not meet and thus not cover the parallelogram.
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 by applying the and
functions, we can conclude 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. We can prove this using the law of sines. 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)
Solution can also be found here [1]
See Also
1967 IMO (Problems) • Resources | ||
Preceded by First question |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 2 |
All IMO Problems and Solutions |