Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2003 USAMO Problems/Problem 2"
m (→‎Solution)
Line 7: Line 7:
 
When <math> \mathcal{P} </math> is a triangle, the problem is trivial.  Otherwise, it is sufficient to prove that any two diagonals of the polygon cut each other into rational lengths.  Let two diagonals which intersect at a point <math>P </math> within the polygon be <math>AC </math> and <math>BD </math>.  Since <math>ABCD </math> is a convex quadrilateral with sides and diagonals of rational length, we consider it in isolation.
 
When <math> \mathcal{P} </math> is a triangle, the problem is trivial.  Otherwise, it is sufficient to prove that any two diagonals of the polygon cut each other into rational lengths.  Let two diagonals which intersect at a point <math>P </math> within the polygon be <math>AC </math> and <math>BD </math>.  Since <math>ABCD </math> is a convex quadrilateral with sides and diagonals of rational length, we consider it in isolation.
  
−
By the [[Law of Cosines]], <math> \cos BAC = \frac{AB^2 + CA^2 - BC^2}{2AB \cdot CA} </math>, which is rational.  Similarly, <math>\cos CAD </math> is rational, as well as <math>\cos BAD = \cos (BAC + CAD) = \cos BAC \cos CAD - \sin BAC \sin CAD </math>.  It follows that <math>\sin BAC \sin CAD </math> is rational.  Since <math>\sin^2 CAD = 1 - \cos^2 CAD </math> is rational, this means that <math> \frac{\sin BAC \sin CAD}{\sin^2 CAD} = \frac{\sin BAC}{\sin CAD} = \frac{\sin BAP}{\sin PAD} </math> is rational.  This implies that <math> \frac{ AB \sin BAP}{ AD \sin PAD} = \frac{\frac{1}{2} AB \cdot AP \sin BAP}{\frac{1}{2} AP \cdot AD \sin PAD} = \frac{[BAP]}{[PAD]} = \frac{BP}{PD} </math> is rational.  This means that for some rational number <math>r </math>,  <math>(1+r)BP = BP + PD = BD </math>, which is, of course, rational.  It follows that <math>BP </math> and <math>PD </math> both have rational length, as desired.
+
By the [[Law of Cosines]], <math> \cos BAC = \frac{AB^2 + CA^2 - BC^2}{2AB \cdot CA} </math>, which is rational.  Similarly, <math>\cos CAD </math> is rational, as well as <math>\cos BAD = \cos (BAC + CAD) = \cos BAC \cos CAD - \sin BAC \sin CAD </math>.  It follows that <math>\sin BAC \sin CAD </math> is rational.  Since <math>\sin^2 CAD = 1 - \cos^2 CAD </math> is rational, this means that <math> \frac{\sin BAC \sin CAD}{\sin^2 CAD} = \frac{\sin BAC}{\sin CAD} = \frac{\sin BAP}{\sin PAD} </math> is rational.  This implies that <math> \frac{ AB \sin BAP}{ AD \sin PAD} = \frac{\frac{1}{2} AB \cdot AP \sin BAP}{\frac{1}{2} AP \cdot AD \sin PAD} = \frac{[BAP]}{[PAD]} = \frac{BP}{PD} </math> is rational.  This means that for some rational number <math>r </math>,  <math>(1+r)PD = BP + PD = BD </math>, which is, of course, rational.  It follows that <math>BP </math> and <math>PD </math> both have rational length, as desired.
  
  

Revision as of 19:47, 29 April 2014

Problem

A convex polygon $\mathcal{P}$ in the plane is dissected into smaller convex polygons by drawing all of its diagonals. The lengths of all sides and all diagonals of the polygon $\mathcal{P}$ are rational numbers. Prove that the lengths of all sides of all polygons in the dissection are also rational numbers.

Solution

When $\mathcal{P}$ is a triangle, the problem is trivial. Otherwise, it is sufficient to prove that any two diagonals of the polygon cut each other into rational lengths. Let two diagonals which intersect at a point $P$ within the polygon be $AC$ and $BD$. Since $ABCD$ is a convex quadrilateral with sides and diagonals of rational length, we consider it in isolation.

By the Law of Cosines, $\cos BAC = \frac{AB^2 + CA^2 - BC^2}{2AB \cdot CA}$, which is rational. Similarly, $\cos CAD$ is rational, as well as $\cos BAD = \cos (BAC + CAD) = \cos BAC \cos CAD - \sin BAC \sin CAD$. It follows that $\sin BAC \sin CAD$ is rational. Since $\sin^2 CAD = 1 - \cos^2 CAD$ is rational, this means that $\frac{\sin BAC \sin CAD}{\sin^2 CAD} = \frac{\sin BAC}{\sin CAD} = \frac{\sin BAP}{\sin PAD}$ is rational. This implies that $\frac{ AB \sin BAP}{ AD \sin PAD} = \frac{\frac{1}{2} AB \cdot AP \sin BAP}{\frac{1}{2} AP \cdot AD \sin PAD} = \frac{[BAP]}{[PAD]} = \frac{BP}{PD}$ is rational. This means that for some rational number $r$, $(1+r)PD = BP + PD = BD$, which is, of course, rational. It follows that $BP$ and $PD$ both have rational length, as desired.


Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

See also

2003 USAMO (Problems • Resources)
Preceded by
Problem 1 		Followed by
Problem 3
1 • 2 • 3 • 4 • 5 • 6
All USAMO Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2003_USAMO_Problems/Problem_2&oldid=61817"