Difference between revisions of "1981 USAMO Problems/Problem 2"
ThatDonGuy (talk | contribs) (→Solution) |
Quantummech (talk | contribs) (→Solution) |
||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
− | Assume AB, AC, and AD are all rail. | + | Assume <math>AB</math>, <math>AC</math>, and <math>AD</math> are all rail. |
− | None of BC, CD, or CD can be rail, as those cities would form a rail triangle with A. | + | None of <math>BC</math>, <math>CD</math>, or <math>CD</math> can be rail, as those cities would form a rail triangle with <math>A</math>. |
− | If BC is bus, then BD is bus as well, as otherwise B has all three types. | + | If <math>BC</math> is bus, then <math>BD</math> is bus as well, as otherwise <math>B</math> has all three types. |
− | However, CD cannot be rail (as ACD would be a rail triangle), bus (as BCD would be a bus triangle), or ferry (as C and D would have all three types). | + | However, <math>CD</math> cannot be rail (as <math>\triangle ACD</math> would be a rail triangle), bus (as <math>BCD</math> would be a bus triangle), or ferry (as <math>C</math> and <math>D</math> would have all three types). |
Therefore, no city can have three connections of the same type. | Therefore, no city can have three connections of the same type. | ||
− | Assume there are 5 towns - A, B, C, D, and E. | + | Assume there are 5 towns - <math>A</math>, <math>B</math>, <math>C</math>, <math>D</math>, and <math>E</math>. |
− | Two connections from A must be of one type, and two of another; otherwise there would be at least three connections of the same type from A, which has been shown to be impossible. | + | Two connections from <math>A</math> must be of one type, and two of another; otherwise there would be at least three connections of the same type from <math>A</math>, which has been shown to be impossible. |
− | Let AB and AC be rail connections, and AD and AE be bus. | + | Let <math>AB</math> and <math>AC</math> be rail connections, and <math>AD</math> and <math>AE</math> be bus. |
− | Assume CD is air. | + | Assume <math>CD</math> is air. |
− | BC cannot be rail (ABC would be a rail triangle) or bus (C would have all three types), so BC must be air. | + | <math>BC</math> cannot be rail (<math>\triangle ABC</math> would be a rail triangle) or bus (<math>C</math> would have all three types), so <math>BC</math> must be air. |
− | DE cannot be bus (ADE would be a bus triangle) or rail (D would have all three types), so DE must be air. | + | <math>DE</math> cannot be bus (<math>\triangle ADE</math> would be a bus triangle) or rail (<math>D</math> would have all three types), so <math>DE</math> must be air. |
− | BE cannot be rail (E would have all three types) or bus (B would have all three types), so BE must be air. | + | <math>BE</math> cannot be rail (<math>E</math> would have all three types) or bus (<math>B</math> would have all three types), so <math>BE</math> must be air. |
− | However, BD cannot be rail (D would have all three types), bus (B would have all three types), or air (D would have three air connections). | + | However, <math>BD</math> cannot be rail (<math>D</math> would have all three types), bus (<math>B</math> would have all three types), or air (<math>D</math> would have three air connections). |
− | Therefore, the assumption that CD is air is false. | + | Therefore, the assumption that <math>CD</math> is air is false. |
− | CD can equally be rail or bus; assume it is bus. | + | <math>CD</math> can equally be rail or bus; assume it is bus. |
− | BC cannot be rail (ABC would be a rail triangle) or air (C would have all three types), so BC must be bus. | + | <math>BC</math> cannot be rail (<math>\triangle ABC</math> would be a rail triangle) or air (<math>C</math> would have all three types), so <math>BC</math> must be bus. |
− | BD cannot be air (B would have all three types) or bus (D would have three bus connections), so BD must be rail. | + | <math>BD</math> cannot be air (<math>B</math> would have all three types) or bus (<math>D</math> would have three bus connections), so <math>BD</math> must be rail. |
− | DE cannot be air (D would have all three types) or bus (D would have three bus connections), so DE must be rail. | + | <math>DE</math> cannot be air (<math>D</math> would have all three types) or bus (<math>D</math> would have three bus connections), so <math>DE</math> must be rail. |
− | CE cannot be air (C would have all three types) or bus (E would have three bus connections), so CE must be rail. | + | <math>CE</math> cannot be air (<math>C</math> would have all three types) or bus (<math>E</math> would have three bus connections), so <math>CE</math> must be rail. |
− | The only connection remaining is BE, which cannot be orange as both B and D would have all three types, but this means there are no air connections. | + | The only connection remaining is <math>BE</math>, which cannot be orange as both <math>B</math> and <math>D</math> would have all three types, but this means there are no air connections. |
Therefore, it is impossible with five (or more) towns. | Therefore, it is impossible with five (or more) towns. | ||
Line 49: | Line 49: | ||
A four-town mapping is possible: | A four-town mapping is possible: | ||
− | AB, BC, CD, and DA are connected by bus | + | <math>AB</math>, <math>BC</math>, <math>CD</math>, and <math>DA</math> are connected by bus. |
− | AC is connected by rail | + | <math>AC</math> is connected by rail. |
− | BD is connected by air | + | <math>BD</math> is connected by air. |
− | Therefore, the maximum number of towns is 4. | + | Therefore, the maximum number of towns is <math>4</math>. |
==See Also== | ==See Also== |
Revision as of 07:15, 27 August 2015
Problem
What is the largest number of towns that can meet the following criteria. Each pair is directly linked by just one of air, bus or train. At least one pair is linked by air, at least one pair by bus and at least one pair by train. No town has an air link, a bus link and a trian link. No three towns, are such that the links between and are all air, all bus or all train.
Solution
Assume , , and are all rail.
None of , , or can be rail, as those cities would form a rail triangle with .
If is bus, then is bus as well, as otherwise has all three types.
However, cannot be rail (as would be a rail triangle), bus (as would be a bus triangle), or ferry (as and would have all three types).
Therefore, no city can have three connections of the same type.
Assume there are 5 towns - , , , , and .
Two connections from must be of one type, and two of another; otherwise there would be at least three connections of the same type from , which has been shown to be impossible.
Let and be rail connections, and and be bus.
Assume is air.
cannot be rail ( would be a rail triangle) or bus ( would have all three types), so must be air.
cannot be bus ( would be a bus triangle) or rail ( would have all three types), so must be air.
cannot be rail ( would have all three types) or bus ( would have all three types), so must be air.
However, cannot be rail ( would have all three types), bus ( would have all three types), or air ( would have three air connections).
Therefore, the assumption that is air is false.
can equally be rail or bus; assume it is bus.
cannot be rail ( would be a rail triangle) or air ( would have all three types), so must be bus.
cannot be air ( would have all three types) or bus ( would have three bus connections), so must be rail.
cannot be air ( would have all three types) or bus ( would have three bus connections), so must be rail.
cannot be air ( would have all three types) or bus ( would have three bus connections), so must be rail.
The only connection remaining is , which cannot be orange as both and would have all three types, but this means there are no air connections.
Therefore, it is impossible with five (or more) towns.
A four-town mapping is possible:
, , , and are connected by bus.
is connected by rail.
is connected by air.
Therefore, the maximum number of towns is .
See Also
1981 USAMO (Problems • Resources) | ||
Preceded by Problem 1 |
Followed by Problem 3 | |
1 • 2 • 3 • 4 • 5 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.