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 "2010 USAMO Problems/Problem 1"

(Created page with '==Problem== Let <math>AXYZB</math> be a convex pentagon inscribed in a semicircle of diameter <math>AB</math>. Denote by <math>P, Q, R, S</math> the feet of the perpendiculars fr…')
 
(→‎Solution)
Line 14: Line 14:
 
<asy>
 
<asy>
 
import olympiad;
 
import olympiad;
−
 
+
import markers;
−
unitsize(1inch);
 
  
 
void langle(picture p=currentpicture,
 
void langle(picture p=currentpicture,
−
            pair A, pair B, pair C, string l="", real r=20)
+
    pair A, pair B, pair C, string l="", real r=40,
 +
    int n=1, int marks = 0)
 
{
 
{
−
        path a = anglemark(A, B, C, r);
+
marker m;
−
        draw(p, a);
+
string sl = "$\scriptstyle{" + l + "}$";
−
        pair lp = bisectorpoint(A, B, C);
+
if (marks == 0) {
−
        label(p, "$\scriptstyle{" + l + "}$",
+
m = nomarker;
−
              B + 1.2 * r * markscalefactor * (lp - B));
+
} else {
 +
m = marker(markinterval(stickframe(n=marks, 2mm),true));
 +
}
 +
markangle(p, Label(sl), radius=r, n=n, A, B, C, m);
 
}
 
}
  
 
picture p;
 
picture p;
 +
unitsize(1inch);
 
real r = 1.75;
 
real r = 1.75;
 
pair A = r * plain.W; dot(p, A); label(p, "$A$", A, plain.W);
 
pair A = r * plain.W; dot(p, A); label(p, "$A$", A, plain.W);
Line 33: Line 37:
 
pair O = (0,0); dot(p, O); label(p, "$O$", O, plain.S);
 
pair O = (0,0); dot(p, O); label(p, "$O$", O, plain.S);
  
−
real alpha = 22.5;                     // angle BAZ
+
// Semi-circle with diameter A--B
−
real beta = 15;                         // angble ABX
+
path C=arc(O, r, 0, 180)--cycle; draw(p, C);
−
real delta = 30;                       // angle ZAY
+
 
−
real gamma = 90 - alpha - beta - delta; // angle XBY
+
real alpha = 22.5; // angle BAZ
 +
real beta = 15; // angble ABX
 +
real delta = 30; // angle ZAY
 +
real gamma = 90 - alpha - beta - delta; // angle XBY
  
 
// Points X, Y, Z
 
// Points X, Y, Z
Line 43: Line 50:
 
pair Z = r * dir(2*alpha);  dot(p, Z); label(p, "$Z$", Z, plain.NE);
 
pair Z = r * dir(2*alpha);  dot(p, Z); label(p, "$Z$", Z, plain.NE);
  
−
langle(p, B, A, Z, "\alpha");
+
// Angle labels
−
langle(p, X, B, A, "\beta");
+
langle(p, B, A, Z, "\alpha" );
−
langle(p, X, B, A, "\beta");
+
langle(p, X, B, A, "\beta", n=2);
−
langle(p, Y, B, X, "\gamma");
+
langle(p, Y, A, X, "\gamma", marks=1);
−
langle(p, Y, A, X, "\gamma");
+
langle(p, Y, B, X, "\gamma", marks=1);
−
langle(p, Z, A, Y, "\delta");
+
langle(p, Z, A, Y, "\delta", marks=2);
−
langle(p, Z, B, Y, "\delta");
+
langle(p, Z, B, Y, "\delta", marks=2);
−
 
 
−
// Semi-circle with diameter A--B
 
−
path C=B..r*plain.N..A--cycle; draw(p, C);
 
  
 +
// Perpendiculars from Y
 
pair Q = foot(Y, B, X);
 
pair Q = foot(Y, B, X);
 
dot(p, Q); label(p, "$Q$", Q, plain.SW);
 
dot(p, Q); label(p, "$Q$", Q, plain.SW);
Line 69: Line 74:
 
draw(p, Y--S);
 
draw(p, Y--S);
 
draw(p, rightanglemark(Z, S, Y, 3));
 
draw(p, rightanglemark(Z, S, Y, 3));
−
 
  
 
pair R = foot(Y, B, Z);
 
pair R = foot(Y, B, Z);
Line 77: Line 81:
 
draw(p, rightanglemark(B, R, Y, 3));
 
draw(p, rightanglemark(B, R, Y, 3));
  
−
// Triangles AB{X,Y,Z}
+
// Angle labels
 +
langle(p, R, S, Y, "\alpha+\delta", r=23);
 +
langle(p, Y, Q, P, "\beta+\gamma", r=23);
 +
 
 +
// Right triangles AB{X,Y,Z}
 
draw(p, A--Y); draw(p, A--Z);
 
draw(p, A--Y); draw(p, A--Z);
 
draw(p, B--X); draw(p, B--Y);
 
draw(p, B--X); draw(p, B--Y);
Line 88: Line 96:
 
dot(p, T); label(p, "$T$", T, plain.S);
 
dot(p, T); label(p, "$T$", T, plain.S);
  
−
pen cp = currentpen;
+
// Label for sought angle "chi"
−
currentpen = linewidth(0.3);
+
langle(p, R, T, P, "\chi", r=15);
−
draw(p, P--T);
+
 
−
draw(p, R--T);
+
// Ligher lines for PT, RT
−
langle(p, R, T, P, "\chi", 10);
+
draw(p, P--T, linewidth(0.2)); draw(p, R--T, linewidth(0.2));
−
currentpen = cp;
 
  
 
add(p);
 
add(p);

Revision as of 01:29, 8 May 2010

Problem

Let $AXYZB$ be a convex pentagon inscribed in a semicircle of diameter $AB$. Denote by $P, Q, R, S$ the feet of the perpendiculars from $Y$ onto lines $AX, BX, AZ, BZ$, respectively. Prove that the acute angle formed by lines $PQ$ and $RS$ is half the size of $\angle XOZ$, where $O$ is the midpoint of segment $AB$.

Solution

Let $\alpha = \angle BAZ$, $\beta = \angle ABX$. Since $XY$ is a chord of the circle with diameter $AB$, $\angle XAY = \angle XBY = \gamma$. From the chord $YZ$, we conclude $\angle YAZ = \angle YBZ = \delta$.

[asy] import olympiad; import markers; void langle(picture p=currentpicture, pair A, pair B, pair C, string l="", real r=40, int n=1, int marks = 0) { marker m; string sl = "$\scriptstyle{" + l + "}$"; if (marks == 0) { m = nomarker; } else { m = marker(markinterval(stickframe(n=marks, 2mm),true)); } markangle(p, Label(sl), radius=r, n=n, A, B, C, m); } picture p; unitsize(1inch); real r = 1.75; pair A = r * plain.W; dot(p, A); label(p, "$A$", A, plain.W); pair B = r * plain.E; dot(p, B); label(p, "$B$", B, plain.E); pair O = (0,0); dot(p, O); label(p, "$O$", O, plain.S); // Semi-circle with diameter A--B path C=arc(O, r, 0, 180)--cycle; draw(p, C); real alpha = 22.5; // angle BAZ real beta = 15; // angble ABX real delta = 30; // angle ZAY real gamma = 90 - alpha - beta - delta; // angle XBY // Points X, Y, Z pair X = r * dir(180-2*beta); dot(p, X); label(p, "$X$", X, plain.WNW); pair Y = r * dir(2*(alpha + delta)); dot(p, Y); label(p, "$Y$", Y, plain.NNW); pair Z = r * dir(2*alpha); dot(p, Z); label(p, "$Z$", Z, plain.NE); // Angle labels langle(p, B, A, Z, "\alpha" ); langle(p, X, B, A, "\beta", n=2); langle(p, Y, A, X, "\gamma", marks=1); langle(p, Y, B, X, "\gamma", marks=1); langle(p, Z, A, Y, "\delta", marks=2); langle(p, Z, B, Y, "\delta", marks=2); // Perpendiculars from Y pair Q = foot(Y, B, X); dot(p, Q); label(p, "$Q$", Q, plain.SW); draw(p, Y--Q); draw(p, rightanglemark(Y, Q, X, 3)); pair P = foot(Y, A, X); dot(p, P); label(p, "$P$", P, plain.NW); draw(p, A--P); draw(p, Y--P); draw(p, rightanglemark(Y, P, A, 3)); pair S = foot(Y, A, Z); dot(p, S); label(p, "$S$", S, plain.SE); draw(p, Y--S); draw(p, rightanglemark(Z, S, Y, 3)); pair R = foot(Y, B, Z); dot(p, R); label(p, "$R$", R, plain.NE); draw(p, B--R); draw(p, Y--R); draw(p, rightanglemark(B, R, Y, 3)); // Angle labels langle(p, R, S, Y, "\alpha+\delta", r=23); langle(p, Y, Q, P, "\beta+\gamma", r=23); // Right triangles AB{X,Y,Z} draw(p, A--Y); draw(p, A--Z); draw(p, B--X); draw(p, B--Y); draw(p, rightanglemark(B, Y, A, 3)); draw(p, rightanglemark(B, Z, A, 3)); draw(p, rightanglemark(B, X, A, 3)); // Y projection on AB pair T = foot(Y, A, B); dot(p, T); label(p, "$T$", T, plain.S); // Label for sought angle "chi" langle(p, R, T, P, "\chi", r=15); // Ligher lines for PT, RT draw(p, P--T, linewidth(0.2)); draw(p, R--T, linewidth(0.2)); add(p); [/asy]

Triangles $BQY$ and $APY$ are both right-triangles, and share the angle $\gamma$, therefore they are similar, and so the ratio $PY : YQ = AY : YB$. Now by Thales' theorem the angles $\angle AXB = \angle AYB = \angle AZB$ are all right-angles. Also, $\angle PYQ$, being the fourth angle in a quadrilateral with 3 right-angles is again a right-angle. Therefore $\triangle PYQ \sim \triangle AYB$ and $\angle YQP = \angle YBA = \gamma + \beta$. Similarly, $RY : YS = BY : YA$, and so $\angle YSR = \angle YAB = \alpha + \delta$.

Now $SY$ is perpendicular to $AZ$ so the direction $SY$ is $\alpha$ anti-clockwise from the vertical, and since $\angle YSR = \alpha + \delta$ we see that $SR$ is $\delta$ clockwise from the vertical.

Similarly, $QY$ is perpendicular to $BX$ so the direction $QY$ is $\beta$ clockwise from the vertical, and since $\angle YQP$ is $\gamma + \beta$ we see that $QY$ is $\gamma$ anti-clockwise from the vertical.

Therefore the lines $PQ$ and $RS$ intersect at an angle $\chi = \gamma + \delta$. Now by the central angle theorem $2\gamma = \angle XOY$ and $2\delta = \angle YOZ$, and so $2(\gamma + \delta) = \angle XOZ$, and we are done.

Footnote

We can prove a bit more. Namely, the extensions of the segments $RS$ and $PQ$ meet at a point on the diameter $AB$ that is vertically below the point $Y$.

Since $YS = AY \sin(\delta)$ and is inclined $\alpha$ anti-clockwise from the vertical, the point $S$ is $AY \sin(\delta) \sin(\alpha)$ horizontally to the right of $Y$.

Now $AS = AY \cos(\delta)$, so $S$ is $AS \sin(\alpha) = AY \cos(\delta)\sin(\alpha)$ vertically above the diameter $AB$. Also, the segment $SR$ is inclined $\delta$ clockwise from the vertical, so if we extend it down from $S$ towards the diameter $AB$ it will meet the diameter at a point which is $AY \cos(\delta)\sin(\alpha)\tan(\delta) = AY \sin(\delta)\sin(\alpha)$ horizontally to the left of $S$. This places the intersection point of $RS$ and $AB$ vertically below $Y$.

Similarly, and by symmetry the intersection point of $PQ$ and $AB$ is directly below $Y$ on $AB$, so the lines through $PQ$ and $RS$ meet at a point $T$ on the diameter that is vertically below $Y$.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2010_USAMO_Problems/Problem_1&oldid=34474"