Difference between revisions of "2006 Indonesia MO Problems/Problem 3"
Rockmanex3 (talk | contribs) (Solution to Problem 3 -- trig casework) |
Rockmanex3 (talk | contribs) m (→Solution) |
||
Line 16: | Line 16: | ||
'''Case 1: Two variables are 1s''' | '''Case 1: Two variables are 1s''' | ||
− | |||
[[WLOG]], let <math>x,y = 1</math>. Substitution results in <math>2+z=z</math>, resulting in no solutions. | [[WLOG]], let <math>x,y = 1</math>. Substitution results in <math>2+z=z</math>, resulting in no solutions. | ||
Line 22: | Line 21: | ||
'''Case 2: One variable is 1''' | '''Case 2: One variable is 1''' | ||
− | |||
[[WLOG]], let <math>x = 1</math>. Substitution results in <math>1+y+z=yz</math>, and rearranging the equation results in <math>yz-y-z=1</math>. By [[Simon's Favorite Factoring Trick]], the equation can be rewritten as <math>(y-1)(z-1) = 2</math>. Thus, <math>y=3</math> and <math>z=2</math> (or vice versa), so a solution is <math>(1,2,3)</math> in some permutation. | [[WLOG]], let <math>x = 1</math>. Substitution results in <math>1+y+z=yz</math>, and rearranging the equation results in <math>yz-y-z=1</math>. By [[Simon's Favorite Factoring Trick]], the equation can be rewritten as <math>(y-1)(z-1) = 2</math>. Thus, <math>y=3</math> and <math>z=2</math> (or vice versa), so a solution is <math>(1,2,3)</math> in some permutation. | ||
Line 28: | Line 26: | ||
'''Case 3: No variables are 1s''' | '''Case 3: No variables are 1s''' | ||
− | |||
Since we already found a solution permutation in Case 2, we want to show that there are no solutions in this case. We can use [[induction]]. | Since we already found a solution permutation in Case 2, we want to show that there are no solutions in this case. We can use [[induction]]. | ||
Latest revision as of 11:00, 26 September 2019
Problem
Let be the set of all triangles which have property: are positive integers. Prove that all triangles in are similar.
Solution
If all triangles in are similar, then the triplet of angles must be equivalent.
Let . Note that , so .
By applying the Angle Addition Identity for Tangent, . Multiplying both sides by the denominator results in , and rearranging results in . We want this equation to be satisfied by positive integers, and we want to show that there is only one solution permutation. Thus, we can divide into cases based on the number of ones.
Case 1: Two variables are 1s
WLOG, let . Substitution results in , resulting in no solutions.
Case 2: One variable is 1
WLOG, let . Substitution results in , and rearranging the equation results in . By Simon's Favorite Factoring Trick, the equation can be rewritten as . Thus, and (or vice versa), so a solution is in some permutation.
Case 3: No variables are 1s
Since we already found a solution permutation in Case 2, we want to show that there are no solutions in this case. We can use induction.
For the base case, . For the inductive step, assume .
WLOG, let be the variable that is increased. Adding to both sides results in . Since , , so . Thus, , so the inductive step is complete. Therefore, by induction, there are no solutions in this case.
Since all of the solutions are permutations of and , there is only one permutation of angles where the tangent of each angle results in a permutation of . Therefore, all of the triangles in set are similar.
See Also
2006 Indonesia MO (Problems) | ||
Preceded by Problem 2 |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 | Followed by Problem 4 |
All Indonesia MO Problems and Solutions |