Difference between revisions of "2022 AIME I Problems/Problem 3"

(Solution 1)
(Solution 9)
 
(43 intermediate revisions by 15 users not shown)
Line 4: Line 4:
 
== Diagram ==
 
== Diagram ==
 
<asy>
 
<asy>
unitsize(0.016cm);
+
/* Made by MRENTHUSIASM */
pair A = (-250,324.4);
+
size(300);
pair B = (250, 324.4);
+
pair A, B, C, D, A1, B1, C1, D1, P, Q;
pair C = (325, 0);
+
A = (-250,6*sqrt(731));
pair D = (-325, 0);
+
B = (250,6*sqrt(731));
draw(A--B--C--D--cycle);
+
C = (325,-6*sqrt(731));
pair W = (8,0);
+
D = (-325,-6*sqrt(731));
pair X = (-8, 0);
+
A1 = bisectorpoint(B,A,D);
pair Y = (-83,324.4);
+
B1 = bisectorpoint(A,B,C);
pair Z = (83,324.4);
+
C1 = bisectorpoint(B,C,D);
 +
D1 = bisectorpoint(A,D,C);
 +
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*NE,linewidth(4));
 +
dot("$Q$",Q,1.5*NW,linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
label("$500$",midpoint(A--B),1.25N);
 +
label("$650$",midpoint(C--D),1.25S);
 +
label("$333$",midpoint(A--D),1.25W);
 +
label("$333$",midpoint(B--C),1.25E);
 +
</asy>
 +
~MRENTHUSIASM ~ihatemath123
 +
 
 +
== Solution 1 ==
 +
We have the following diagram:
 +
<asy>
 +
/* Made by MRENTHUSIASM , modified by Cytronical */
 +
size(300);
 +
pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W;
 +
A = (-250,6*sqrt(731));
 +
B = (250,6*sqrt(731));
 +
C = (325,-6*sqrt(731));
 +
D = (-325,-6*sqrt(731));
 +
A1 = bisectorpoint(B,A,D);
 +
B1 = bisectorpoint(A,B,C);
 +
C1 = bisectorpoint(B,C,D);
 +
D1 = bisectorpoint(A,D,C);
 +
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
X = intersectionpoint(B--5*(Q-B)+B,C--D);
 +
Y = (0,6*sqrt(731));
 +
Z = intersectionpoint(A--4*(P-A)+A,B--4*(Q-B)+B);
 +
W = intersectionpoint(A--5*(P-A)+A,C--D);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*(-1,0),linewidth(4));
 +
dot("$Q$",Q,1.5*E,linewidth(4));
 +
dot("$X$",X,1.5*dir(-105),linewidth(4));
 +
dot("$Y$",Y,1.5*N,linewidth(4));
 +
dot("$Z$",Z,4.5*dir(75),linewidth(4));
 +
dot("$W$",W,1.5*dir(-75),linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
draw(P--W^^Q--X^^Y--Z,dashed);
 +
</asy>
 +
 
 +
Let <math>X</math> and <math>W</math> be the points where <math>AP</math> and <math>BQ</math> extend to meet <math>CD</math>, and <math>YZ</math> be the height of <math>\triangle AZB</math>. As proven in Solution 2, triangles <math>APD</math> and <math>DPW</math> are congruent right triangles. Therefore, <math>AD = DW = 333</math>. We can apply this logic to triangles <math>BCQ</math> and <math>XCQ</math> as well, giving us <math>BC = CX = 333</math>. Since <math>CD = 650</math>, <math>XW = DW + CX - CD = 16</math>.
 +
 
 +
Additionally, we can see that <math>\triangle XZW</math> is similar to <math>\triangle PQZ</math> and <math>\triangle AZB</math>. We know that <math>\frac{XW}{AB} = \frac{16}{500}</math>. So, we can say that the height of the triangle <math>AZB</math> is <math>500u</math> while the height of the triangle <math>XZW</math> is <math>16u</math>. After that, we can figure out the distance from <math>Y</math> to <math>PQ: \frac{500+16}{2} = 258u</math> and the height of triangle <math>PZQ: 500-258 = 242u</math>.
 +
 
 +
Finally, since the ratio between the height of <math>PZQ</math> to the height of <math>AZB</math> is <math>242:500</math> and <math>AB</math> is <math>500</math>, <math>PQ = \boxed{242}.</math>
 +
 
 +
~Cytronical
 +
 
 +
== Solution 2 ==
 +
 
 +
Extend line <math>PQ</math> to meet <math>AD</math> at <math>P'</math> and <math>BC</math> at <math>Q'</math>. The diagram looks like this:
 +
<asy>
 +
/* Made by MRENTHUSIASM */
 +
size(300);
 +
pair A, B, C, D, A1, B1, C1, D1, P, Q, P1, Q1;
 +
A = (-250,6*sqrt(731));
 +
B = (250,6*sqrt(731));
 +
C = (325,-6*sqrt(731));
 +
D = (-325,-6*sqrt(731));
 +
A1 = bisectorpoint(B,A,D);
 +
B1 = bisectorpoint(A,B,C);
 +
C1 = bisectorpoint(B,C,D);
 +
D1 = bisectorpoint(A,D,C);
 +
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
P1 = intersectionpoint(A--D,P--(-300)*(Q-P)+P);
 +
Q1 = intersectionpoint(B--C,Q--300*(Q-P)+Q);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*NE,linewidth(4));
 +
dot("$Q$",Q,1.5*NW,linewidth(4));
 +
dot("$P'$",P1,1.5*W,linewidth(4));
 +
dot("$Q'$",Q1,1.5*E,linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
draw(P--P1^^Q--Q1,dashed);
 +
</asy>
 +
Because the trapezoid is isosceles, by symmetry <math>PQ</math> is parallel to <math>AB</math> and <math>CD</math>. Therefore, <math>\angle PAB \cong \angle APP'</math> by interior angles and <math>\angle PAB \cong \angle PAD</math> by the problem statement. Thus, <math>\triangle P'AP</math> is isosceles with <math>P'P = P'A</math>. By symmetry, <math>P'DP</math> is also isosceles, and thus <math>P'A = \frac{AD}{2}</math>. Similarly, the same thing is happening on the right side of the trapezoid, and thus <math>P'Q'</math> is the midline of the trapezoid. Then, <math>PQ = P'Q' - (P'P + Q'Q)</math>.
 +
 
 +
Since <math>P'P = P'A = \frac{AD}{2}, Q'Q = Q'B = \frac{BC}{2}</math> and <math>AD = BC = 333</math>, we have <math>P'P + Q'Q = \frac{333}{2} + \frac{333}{2} = 333</math>. The length of the midline of a trapezoid is the average of their bases, so <math>P'Q' = \frac{500+650}{2} = 575</math>. Finally, <math>PQ = 575 - 333 = \boxed{242}</math>.
 +
 
 +
~KingRavi
  
pair P = (-121, 162.2);
+
== Solution 3 ==
pair Q = (121, 162.2);
 
dot(P);
 
dot(Q);
 
  
draw(A--W, dashed);
+
We have the following diagram:
draw(B--X, dashed);
+
<asy>
draw(C--Y, dashed);
+
/* Made by MRENTHUSIASM */
draw(D--Z, dashed);
+
size(300);
label("$A$", A, N);
+
pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W;
label("$B$", B, N);
+
A = (-250,6*sqrt(731));
label("$Y$", Y, N);
+
B = (250,6*sqrt(731));
label("$Z$", Z, N);
+
C = (325,-6*sqrt(731));
label("$C$", C, S);
+
D = (-325,-6*sqrt(731));
label("$D$", D, S);
+
A1 = bisectorpoint(B,A,D);
label("$W$", W, SE);
+
B1 = bisectorpoint(A,B,C);
label("$X$", X, SW);
+
C1 = bisectorpoint(B,C,D);
label("$P$", P, N);
+
D1 = bisectorpoint(A,D,C);
label("$Q$", Q, N);
+
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
X = intersectionpoint(B--5*(Q-B)+B,C--D);
 +
Y = intersectionpoint(C--5*(Q-C)+C,A--B);
 +
Z = intersectionpoint(D--5*(P-D)+D,A--B);
 +
W = intersectionpoint(A--5*(P-A)+A,C--D);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*(-1,0),linewidth(4));
 +
dot("$Q$",Q,1.5*E,linewidth(4));
 +
dot("$X$",X,1.5*dir(-105),linewidth(4));
 +
dot("$Y$",Y,1.5*N,linewidth(4));
 +
dot("$Z$",Z,1.5*N,linewidth(4));
 +
dot("$W$",W,1.5*dir(-75),linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
draw(P--Z^^P--W^^Q--X^^Q--Y,dashed);
 
</asy>
 
</asy>
 +
Extend lines <math>AP</math> and <math>BQ</math> to meet line <math>DC</math> at points <math>W</math> and <math>X</math>, respectively, and extend lines <math>DP</math> and <math>CQ</math> to meet <math>AB</math> at points <math>Z</math> and <math>Y</math>, respectively.
 +
 +
Claim: quadrilaterals <math>AZWD</math> and <math>BYXC</math> are rhombuses.
 +
 +
Proof: Since <math>\angle DAB + \angle ADC = 180^{\circ}</math>, <math>\angle ADP + \angle PAD = 90^{\circ}</math>. Therefore, triangles <math>APD</math>, <math>APZ</math>, <math>DPW</math> and <math>PZW</math> are all right triangles. By SAA congruence, the first three triangles are congruent; by SAS congruence, <math>\triangle PZW</math> is congruent to the other three. Therefore, <math>AD = DW = WZ = AZ</math>, so <math>AZWD</math> is a rhombus. By symmetry, <math>BYXC</math> is also a rhombus.
 +
 +
Extend line <math>PQ</math> to meet <math>\overline{AD}</math> and <math>\overline{BC}</math> at <math>R</math> and <math>S</math>, respectively. Because of rhombus properties, <math>RP = QS = \frac{333}{2}</math>. Also, by rhombus properties, <math>R</math> and <math>S</math> are the midpoints of segments <math>AD</math> and <math>BC</math>, respectively; therefore, by trapezoid properties, <math>RS = \frac{AB + CD}{2} = 575</math>. Finally, <math>PQ = RS - RP - QS = \boxed{242}</math>.
  
== Solution 1 ==
+
~ihatemath123
  
Extend line <math>PQ</math> to meet <math>AD</math> at <math>P'</math> and <math>BC</math> at <math>Q'</math>. The diagram looks like this:
+
== Solution 4 ==
  
 
<asy>
 
<asy>
unitsize(0.016cm);
+
/* Made by MRENTHUSIASM */
pair A = (-250,324.4);
+
size(300);
pair B = (250, 324.4);
+
pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W;
pair C = (325, 0);
+
A = (-250,6*sqrt(731));
pair D = (-325, 0);
+
B = (250,6*sqrt(731));
draw(A--B--C--D--cycle);
+
C = (325,-6*sqrt(731));
 +
D = (-325,-6*sqrt(731));
 +
A1 = bisectorpoint(B,A,D);
 +
B1 = bisectorpoint(A,B,C);
 +
C1 = bisectorpoint(B,C,D);
 +
D1 = bisectorpoint(A,D,C);
 +
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*NE,linewidth(4));
 +
dot("$Q$",Q,1.5*NW,linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
X = (-121,6*sqrt(731));
 +
Y = (121,6*sqrt(731));
 +
Z = (-121,-6*sqrt(731));
 +
W = (121,-6*sqrt(731));
 +
draw(X--Z^^Y--W,dashed);
 +
draw(rightanglemark(A,X,Z,500),red);
 +
draw(rightanglemark(B,Y,W,500),red);
 +
draw(rightanglemark(C,W,Y,500),red);
 +
draw(rightanglemark(D,Z,X,500),red);
 +
dot("$X$",X,1.5*N,linewidth(4));
 +
dot("$Y$",Y,1.5*N,linewidth(4));
 +
dot("$Z$",Z,1.5*S,linewidth(4));
 +
dot("$W$",W,1.5*S,linewidth(4));
 +
</asy>
  
 +
Let <math>X</math> and <math>Y</math> be the feet of the altitudes from <math>P</math> and <math>Q</math>, respectively, to <math>AB</math>, and let <math>Z</math> and <math>W</math> be the feet of the altitudes from <math>P</math> and <math>Q</math>, respectively, to <math>CD</math>. Side <math>AB</math> is parallel to side <math>CD</math>, so <math>XYWZ</math> is a rectangle with width <math>PQ</math>. Furthermore, because <math>CD - AB = 650-500 = 150</math> and trapezoid <math>ABCD</math> is isosceles, <math>WC - YB = ZD - XA = 75</math>.
  
pair P1 = (-121, 162.2);
+
Also because <math>ABCD</math> is isosceles, <math>\angle ABC + \angle BCD</math> is half the total sum of angles in <math>ABCD</math>, or <math>180^{\circ}</math>. Since <math>BQ</math> and <math>CQ</math> bisect <math>\angle ABC</math> and <math>\angle BCD</math>, respectively, we have <math>\angle QBC + \angle QCB = 90^{\circ}</math>, so <math>\angle BQC = 90^{\circ}</math>.  
pair P2 = (-287.5,162.2);
 
pair Q1 = (121, 162.2);
 
pair Q2 = (287.5,162.2);
 
dot(P1);
 
dot(Q1);
 
dot(P2);
 
dot(Q2);
 
  
draw(P2--Q2);
+
Letting <math>BQ = 333k</math>, applying Pythagoras to <math>\triangle BQC</math> yields <math>QC = 333\sqrt{1-k^2}</math>. We then proceed using similar triangles: <math>\angle BYQ = \angle BQC = 90^{\circ}</math> and <math>\angle YBQ = \angle QBC</math>, so by AA similarity <math>YB = 333k^2</math>. Likewise, <math>\angle CWQ = \angle BQC = 90^{\circ}</math> and <math>\angle WCQ = \angle QCB</math>, so by AA similarity <math>WC = 333(1 - k^2)</math>. Thus <math>WC + YB = 333</math>.
draw(A--P1, dashed);
 
draw(D--P1, dashed);
 
draw(B--Q1, dashed);
 
draw(C--Q1, dashed);
 
  
 +
Adding our two equations for <math>WC</math> and <math>YB</math> gives <math>2WC = 75 + 333 = 408</math>. Therefore, the answer is <math>PQ = ZW = CD - 2WC = 650 - 408 = \boxed{242}</math>.
  
label("$A$", A, N);
+
~Orange_Quail_9
label("$B$", B, N);
 
  
label("$C$", C, S);
+
== Solution 5 ==
label("$D$", D, S);
 
  
label("$P$", P1, N);
+
This will be my first solution on AoPS. My apologies in advance for any errors.
label("$Q$", Q1, N);
 
  
label("$P'$", P2, W);
+
Angle bisectors can be thought of as the locus of all points equidistant from the lines whose angle they bisect. It can thus be seen that <math>P</math> is equidistant from  <math>AB, AD,</math> and <math>CD</math> and <math>Q</math> is equidistant from  <math>AB, BC,</math> and <math>CD.</math> If we let the feet of the altitudes from <math>P</math> to <math>AB, AD,</math> and <math>CD</math> be called <math>E, F,</math> and <math>G</math> respectively, we can say that <math>PE = PF = PG.</math> Analogously, we let the feet of the altitudes from <math>Q</math> to <math>AB, BC,</math> and <math>CD</math> be <math>H, I,</math> and <math>J</math> respectively. Thus, <math>QH = QI = QJ.</math> Because <math>ABCD</math> is an isosceles trapezoid, we can say that all of the altitudes are equal to each other.
label("$Q'$", Q2, E);
+
 
 +
By SA as well as SS congruence for right triangles, we find that triangles <math>AEP, AFP, BHQ,</math> and <math>BIQ</math> are congruent. Similarly, <math>DFP, DGP, CJQ,</math> and <math>CIQ</math> by the same reasoning. Additionally, <math>EH = GJ = PQ</math> since <math>EHQP</math> and <math>GJQP</math> are congruent rectangles.
 +
 
 +
If we then let <math>x = AE = AF = BH = BI,</math> let <math>y = CI = CJ = DG = DF,</math> and let <math>z = EH = GJ = PQ,</math> we can create the following system of equations with the given side length information:
 +
<cmath>\begin{align*}
 +
2x + z &= 500, \\
 +
2y + z &= 650, \\
 +
x + y &= 333.
 +
\end{align*}</cmath>
 +
Adding the first two equations, subtracting by twice the second, and dividing by <math>2</math> yields <math>z = PQ = \boxed{242}.</math>
 +
 
 +
~regular
 +
 
 +
== Solution 6 ==
 +
Extend line <math>PQ</math> to meet <math>AD</math> at <math>P'</math> and <math>BC</math> at <math>Q'</math>. The diagram looks like this:
 +
<asy>
 +
/* Made by MRENTHUSIASM */
 +
size(300);
 +
pair A, B, C, D, A1, B1, C1, D1, P, Q, P1, Q1;
 +
A = (-250,6*sqrt(731));
 +
B = (250,6*sqrt(731));
 +
C = (325,-6*sqrt(731));
 +
D = (-325,-6*sqrt(731));
 +
A1 = bisectorpoint(B,A,D);
 +
B1 = bisectorpoint(A,B,C);
 +
C1 = bisectorpoint(B,C,D);
 +
D1 = bisectorpoint(A,D,C);
 +
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
P1 = intersectionpoint(A--D,P--(-300)*(Q-P)+P);
 +
Q1 = intersectionpoint(B--C,Q--300*(Q-P)+Q);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*NE,linewidth(4));
 +
dot("$Q$",Q,1.5*NW,linewidth(4));
 +
dot("$P'$",P1,1.5*W,linewidth(4));
 +
dot("$Q'$",Q1,1.5*E,linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
draw(P--P1^^Q--Q1,dashed);
 +
</asy>
 +
Since <math>\angle A + \angle D=\angle B + \angle C = 180^{\circ}</math>, it follows that <math>\angle P'AP+\angle P'DP = \angle Q'BQ + \angle Q'CQ = 90^{\circ}</math>. Thus, <math>\angle APD = \angle BQC = 90^{\circ}</math>, implying that <math>\triangle APD</math> and <math>\triangle BQC</math> are right triangles. Since <math>P'P</math> and <math>Q'Q</math> are medians, <math>P'P+Q'Q=\frac{333\times2}{2}=333</math>. Since <math>P'Q'=\frac{500+650}{2}=575</math>, we have <math>PQ+P'P+Q'Q=575</math>, or <math>PQ=575-333=\boxed{242}</math>.
 +
 +
~sigma
 +
 
 +
== Solution 7 (Trigonometry) ==
 +
 
 +
Let <math>PQ = x</math>. Note that since <math>AP</math> bisects <math>\angle{A}</math> and <math>DP</math> bisects <math>\angle{D}</math>, we have <cmath>\angle{APD} = 180^{\circ}-\tfrac12 \angle{A}-\tfrac12 \angle{D}=90^{\circ}.</cmath> Let <math>\angle{ADP}=\theta</math>. We have that <math>\angle{ADC} = 2\theta.</math> Now, drop an altitude from <math>A</math> to <math>CD</math> at <math>E</math>. Notice that <math>DE=\tfrac{650-500}{2}=75</math>. By the definition of cosine, we have <cmath>\cos{2\theta}=1-2\cos^2{\theta}=\tfrac{75}{333}=\tfrac{25}{111} \implies \cos{\theta}=\tfrac{2\sqrt{1887}}{111}.</cmath> Notice, however, that we can also apply this to <math>\triangle{APD}</math>; we have <cmath>\cos{\theta}=\tfrac{DP}{333} \implies DP=6\sqrt{1887}.</cmath> By the Pythagorean Theorem, we get <cmath>AP=\sqrt{333^2-(6\sqrt{1887})^2}=3\sqrt{4773}.</cmath> Then, drop an altitude from <math>P</math> to <math>AB</math> at <math>F</math>; if <math>AF=y</math>, then <math>PQ=x=500-2y</math>. Because <math>AP</math> is an angle bisector, we see that <math>\angle{BAP}=\angle{DAP}=90^{\circ}-\theta</math>. Again, by the definition of cosine, we have <cmath>\cos{(90^{\circ}-\theta)}=\sin{\theta}=\tfrac{\sqrt{4773}}{111}=\tfrac{y}{3\sqrt{4773}} \implies y=129.</cmath> Finally, <math>PQ=500-2y=\boxed{242}</math>.
 +
 
 +
~pqr.
 +
 
 +
== Solution 8 (Pythagoras + Similar Triangles) ==
 +
<asy>
 +
/* Made by MRENTHUSIASM */
 +
size(300);
 +
pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W;
 +
A = (-250,6*sqrt(731));
 +
B = (250,6*sqrt(731));
 +
C = (325,-6*sqrt(731));
 +
D = (-325,-6*sqrt(731));
 +
A1 = bisectorpoint(B,A,D);
 +
B1 = bisectorpoint(A,B,C);
 +
C1 = bisectorpoint(B,C,D);
 +
D1 = bisectorpoint(A,D,C);
 +
P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D);
 +
Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C);
 +
draw(anglemark(P,A,B,1000),red);
 +
draw(anglemark(D,A,P,1000),red);
 +
draw(anglemark(A,B,Q,1000),red);
 +
draw(anglemark(Q,B,C,1000),red);
 +
draw(anglemark(P,D,A,1000),red);
 +
draw(anglemark(C,D,P,1000),red);
 +
draw(anglemark(Q,C,D,1000),red);
 +
draw(anglemark(B,C,Q,1000),red);
 +
add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red));
 +
add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red));
 +
dot("$A$",A,1.5*dir(A),linewidth(4));
 +
dot("$B$",B,1.5*dir(B),linewidth(4));
 +
dot("$C$",C,1.5*dir(C),linewidth(4));
 +
dot("$D$",D,1.5*dir(D),linewidth(4));
 +
dot("$P$",P,1.5*NE,linewidth(4));
 +
dot("$Q$",Q,1.5*NW,linewidth(4));
 +
draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q);
 +
X = (-121,6*sqrt(731));
 +
Y = (121,6*sqrt(731));
 +
Z = (-121,-6*sqrt(731));
 +
W = (121,-6*sqrt(731));
 +
draw(X--Z^^Y--W,dashed);
 +
draw(rightanglemark(A,X,Z,500),red);
 +
draw(rightanglemark(B,Y,W,500),red);
 +
draw(rightanglemark(C,W,Y,500),red);
 +
draw(rightanglemark(D,Z,X,500),red);
 +
dot("$X$",X,1.5*N,linewidth(4));
 +
dot("$Y$",Y,1.5*N,linewidth(4));
 +
dot("$Z$",Z,1.5*S,linewidth(4));
 +
dot("$W$",W,1.5*S,linewidth(4));
 
</asy>
 
</asy>
  
Because the trapezoid is isosceles, by symmetry <math>PQ</math> is parallel to <math>AB</math> and <math>BC</math>. Therefore, <math>\angle PAB \cong \angle APP'</math>
+
As in solution 4, <math>\angle APD = 90^{\circ}</math>. Set <math>k = AX</math> and <math>x = DP</math>.
  
== Solution 2==
+
We know that <math>DZ = AX + \frac{DC-AB}{2}</math>, so <math>DZ = k + \frac{650-500}{2} = k + 75</math>.
  
Extend lines <math>AP</math> and <math>BQ</math> to meet line <math>DC</math> at points <math>W</math> and <math>X</math>, respectively, and extend lines <math>DP</math> and <math>CQ</math> to meet <math>AB</math> at points <math>Z</math> and <math>Y</math>, respectively.
+
<math>\triangle DPZ \sim \triangle APD</math> by AA, so we have <math>\frac{PD}{AD} = \frac{ZD}{PD}</math>, resulting in
 +
 
 +
<cmath>
 +
\frac{x}{333} = \frac{k+75}{x} \text{ (1)}
 +
</cmath>
 +
 
 +
<math>\triangle APX \sim \triangle ADP</math> by AA, so we have <math>\frac{AP}{AD} = \frac{AX}{AP}</math>, resulting in
  
Claim: quadrilaterals <math>AZWD</math> and <math>BYXD</math> are rhombuses.
+
<cmath>
 +
\frac{\sqrt{333^2-x^2}}{333} = \frac{k}{\sqrt{333^2-k^2}} \text{ (2)}
 +
</cmath>
  
Proof: Since <math>\angle DAB + \angle ADC = 180^{\circ}</math>, <math>\angle ADP + \angle PAD = 90^{\circ}</math>. Therefore, triangles <math>APD</math>, <math>APZ</math>, <math>DPW</math> and <math>PZW</math> are all right triangles. By SAA congruence, the first three triangles are congruent; by SAS congruence, <math>\triangle PZW</math> is congruent to the other three. Therefore, <math>AD = DW = WZ = AZ</math>, so <math>AZWD</math> is a rhombus. By symmetry, <math>BYXC</math> is also a rhombus.
+
From <math>\text{(1)}</math>, we have <math>x^2 = 333k + 333(75) = 333k + 24975</math>. From <math>\text{(2)}</math>, we have <math>333^2 - x^2 = 333k</math>, or <math>x^2 = 333^2 - 333k</math>. Thus, <math>333k + 24975 = 333^2 - 333k</math>. Solving for <math>k</math> yields <math>k = 129</math>.
  
Extend line <math>PQ</math> to meet <math>\overline{AD}</math> and <math>\overline{BC}</math> at <math>R</math> and <math>S</math>, respectively. Because of rhombus properties, <math>RP = QS = \frac{333}{2}</math>. Also, by rhombus properties, <math>R</math> and <math>S</math> are the midpoints of segments <math>AD</math> and <math>BC</math>, respectively; therefore, by trapezoid properties, <math>RS = \frac{AB + CD}{2} = 575</math>. Finally, <math>PQ = RS - RP - QS = \boxed{242}</math>.
+
By symmetry, <math>YB = AX = 129</math>. Thus, <math>PQ = XY = AB - 2AX = 500 - 2(129) = \boxed{242}</math>.
  
~ihatemath123
+
~ adam_zheng
  
 
==Video Solution (Mathematical Dexterity)==
 
==Video Solution (Mathematical Dexterity)==
 
https://www.youtube.com/watch?v=fNAvxXnvAxs
 
https://www.youtube.com/watch?v=fNAvxXnvAxs
 +
 +
==Video Solution==
 +
https://www.youtube.com/watch?v=h_LOT-rwt08
 +
 +
~Steven Chen (www.professorchenedu.com)
 +
 +
== Video Solution ==
 +
 +
https://youtu.be/MJ_M-xvwHLk?t=545
 +
 +
~ThePuzzlr
 +
 +
==Video Solution by MRENTHUSIASM (English & Chinese)==
 +
https://www.youtube.com/watch?v=dqVVOSCWujo&ab_channel=MRENTHUSIASM
 +
 +
~MRENTHUSIASM
 +
 +
==Video Solution==
 +
 +
https://youtu.be/Q_S_VhiLRJE
 +
 +
~AMC & AIME Training
  
 
==See Also==
 
==See Also==
 
{{AIME box|year=2022|n=I|num-b=2|num-a=4}}
 
{{AIME box|year=2022|n=I|num-b=2|num-a=4}}
 +
 +
[[Category:Intermediate Geometry Problems]]
 
{{MAA Notice}}
 
{{MAA Notice}}

Latest revision as of 19:59, 2 March 2024

Problem

In isosceles trapezoid $ABCD$, parallel bases $\overline{AB}$ and $\overline{CD}$ have lengths $500$ and $650$, respectively, and $AD=BC=333$. The angle bisectors of $\angle{A}$ and $\angle{D}$ meet at $P$, and the angle bisectors of $\angle{B}$ and $\angle{C}$ meet at $Q$. Find $PQ$.

Diagram

[asy] /* Made by MRENTHUSIASM */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*NE,linewidth(4)); dot("$Q$",Q,1.5*NW,linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); label("$500$",midpoint(A--B),1.25N); label("$650$",midpoint(C--D),1.25S); label("$333$",midpoint(A--D),1.25W); label("$333$",midpoint(B--C),1.25E); [/asy] ~MRENTHUSIASM ~ihatemath123

Solution 1

We have the following diagram: [asy] /* Made by MRENTHUSIASM , modified by Cytronical */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); X = intersectionpoint(B--5*(Q-B)+B,C--D); Y = (0,6*sqrt(731)); Z = intersectionpoint(A--4*(P-A)+A,B--4*(Q-B)+B); W = intersectionpoint(A--5*(P-A)+A,C--D); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*(-1,0),linewidth(4)); dot("$Q$",Q,1.5*E,linewidth(4)); dot("$X$",X,1.5*dir(-105),linewidth(4)); dot("$Y$",Y,1.5*N,linewidth(4)); dot("$Z$",Z,4.5*dir(75),linewidth(4)); dot("$W$",W,1.5*dir(-75),linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); draw(P--W^^Q--X^^Y--Z,dashed); [/asy]

Let $X$ and $W$ be the points where $AP$ and $BQ$ extend to meet $CD$, and $YZ$ be the height of $\triangle AZB$. As proven in Solution 2, triangles $APD$ and $DPW$ are congruent right triangles. Therefore, $AD = DW = 333$. We can apply this logic to triangles $BCQ$ and $XCQ$ as well, giving us $BC = CX = 333$. Since $CD = 650$, $XW = DW + CX - CD = 16$.

Additionally, we can see that $\triangle XZW$ is similar to $\triangle PQZ$ and $\triangle AZB$. We know that $\frac{XW}{AB} = \frac{16}{500}$. So, we can say that the height of the triangle $AZB$ is $500u$ while the height of the triangle $XZW$ is $16u$. After that, we can figure out the distance from $Y$ to $PQ: \frac{500+16}{2} = 258u$ and the height of triangle $PZQ: 500-258 = 242u$.

Finally, since the ratio between the height of $PZQ$ to the height of $AZB$ is $242:500$ and $AB$ is $500$, $PQ = \boxed{242}.$

~Cytronical

Solution 2

Extend line $PQ$ to meet $AD$ at $P'$ and $BC$ at $Q'$. The diagram looks like this: [asy] /* Made by MRENTHUSIASM */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q, P1, Q1; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); P1 = intersectionpoint(A--D,P--(-300)*(Q-P)+P); Q1 = intersectionpoint(B--C,Q--300*(Q-P)+Q); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*NE,linewidth(4)); dot("$Q$",Q,1.5*NW,linewidth(4)); dot("$P'$",P1,1.5*W,linewidth(4)); dot("$Q'$",Q1,1.5*E,linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); draw(P--P1^^Q--Q1,dashed); [/asy] Because the trapezoid is isosceles, by symmetry $PQ$ is parallel to $AB$ and $CD$. Therefore, $\angle PAB \cong \angle APP'$ by interior angles and $\angle PAB \cong \angle PAD$ by the problem statement. Thus, $\triangle P'AP$ is isosceles with $P'P = P'A$. By symmetry, $P'DP$ is also isosceles, and thus $P'A = \frac{AD}{2}$. Similarly, the same thing is happening on the right side of the trapezoid, and thus $P'Q'$ is the midline of the trapezoid. Then, $PQ = P'Q' - (P'P + Q'Q)$.

Since $P'P = P'A = \frac{AD}{2}, Q'Q = Q'B = \frac{BC}{2}$ and $AD = BC = 333$, we have $P'P + Q'Q = \frac{333}{2} + \frac{333}{2} = 333$. The length of the midline of a trapezoid is the average of their bases, so $P'Q' = \frac{500+650}{2} = 575$. Finally, $PQ = 575 - 333 = \boxed{242}$.

~KingRavi

Solution 3

We have the following diagram: [asy] /* Made by MRENTHUSIASM */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); X = intersectionpoint(B--5*(Q-B)+B,C--D); Y = intersectionpoint(C--5*(Q-C)+C,A--B); Z = intersectionpoint(D--5*(P-D)+D,A--B); W = intersectionpoint(A--5*(P-A)+A,C--D); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*(-1,0),linewidth(4)); dot("$Q$",Q,1.5*E,linewidth(4)); dot("$X$",X,1.5*dir(-105),linewidth(4)); dot("$Y$",Y,1.5*N,linewidth(4)); dot("$Z$",Z,1.5*N,linewidth(4)); dot("$W$",W,1.5*dir(-75),linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); draw(P--Z^^P--W^^Q--X^^Q--Y,dashed); [/asy] Extend lines $AP$ and $BQ$ to meet line $DC$ at points $W$ and $X$, respectively, and extend lines $DP$ and $CQ$ to meet $AB$ at points $Z$ and $Y$, respectively.

Claim: quadrilaterals $AZWD$ and $BYXC$ are rhombuses.

Proof: Since $\angle DAB + \angle ADC = 180^{\circ}$, $\angle ADP + \angle PAD = 90^{\circ}$. Therefore, triangles $APD$, $APZ$, $DPW$ and $PZW$ are all right triangles. By SAA congruence, the first three triangles are congruent; by SAS congruence, $\triangle PZW$ is congruent to the other three. Therefore, $AD = DW = WZ = AZ$, so $AZWD$ is a rhombus. By symmetry, $BYXC$ is also a rhombus.

Extend line $PQ$ to meet $\overline{AD}$ and $\overline{BC}$ at $R$ and $S$, respectively. Because of rhombus properties, $RP = QS = \frac{333}{2}$. Also, by rhombus properties, $R$ and $S$ are the midpoints of segments $AD$ and $BC$, respectively; therefore, by trapezoid properties, $RS = \frac{AB + CD}{2} = 575$. Finally, $PQ = RS - RP - QS = \boxed{242}$.

~ihatemath123

Solution 4

[asy] /* Made by MRENTHUSIASM */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*NE,linewidth(4)); dot("$Q$",Q,1.5*NW,linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); X = (-121,6*sqrt(731)); Y = (121,6*sqrt(731)); Z = (-121,-6*sqrt(731)); W = (121,-6*sqrt(731)); draw(X--Z^^Y--W,dashed); draw(rightanglemark(A,X,Z,500),red); draw(rightanglemark(B,Y,W,500),red); draw(rightanglemark(C,W,Y,500),red); draw(rightanglemark(D,Z,X,500),red); dot("$X$",X,1.5*N,linewidth(4)); dot("$Y$",Y,1.5*N,linewidth(4)); dot("$Z$",Z,1.5*S,linewidth(4)); dot("$W$",W,1.5*S,linewidth(4)); [/asy]

Let $X$ and $Y$ be the feet of the altitudes from $P$ and $Q$, respectively, to $AB$, and let $Z$ and $W$ be the feet of the altitudes from $P$ and $Q$, respectively, to $CD$. Side $AB$ is parallel to side $CD$, so $XYWZ$ is a rectangle with width $PQ$. Furthermore, because $CD - AB = 650-500 = 150$ and trapezoid $ABCD$ is isosceles, $WC - YB = ZD - XA = 75$.

Also because $ABCD$ is isosceles, $\angle ABC + \angle BCD$ is half the total sum of angles in $ABCD$, or $180^{\circ}$. Since $BQ$ and $CQ$ bisect $\angle ABC$ and $\angle BCD$, respectively, we have $\angle QBC + \angle QCB = 90^{\circ}$, so $\angle BQC = 90^{\circ}$.

Letting $BQ = 333k$, applying Pythagoras to $\triangle BQC$ yields $QC = 333\sqrt{1-k^2}$. We then proceed using similar triangles: $\angle BYQ = \angle BQC = 90^{\circ}$ and $\angle YBQ = \angle QBC$, so by AA similarity $YB = 333k^2$. Likewise, $\angle CWQ = \angle BQC = 90^{\circ}$ and $\angle WCQ = \angle QCB$, so by AA similarity $WC = 333(1 - k^2)$. Thus $WC + YB = 333$.

Adding our two equations for $WC$ and $YB$ gives $2WC = 75 + 333 = 408$. Therefore, the answer is $PQ = ZW = CD - 2WC = 650 - 408 = \boxed{242}$.

~Orange_Quail_9

Solution 5

This will be my first solution on AoPS. My apologies in advance for any errors.

Angle bisectors can be thought of as the locus of all points equidistant from the lines whose angle they bisect. It can thus be seen that $P$ is equidistant from $AB, AD,$ and $CD$ and $Q$ is equidistant from $AB, BC,$ and $CD.$ If we let the feet of the altitudes from $P$ to $AB, AD,$ and $CD$ be called $E, F,$ and $G$ respectively, we can say that $PE = PF = PG.$ Analogously, we let the feet of the altitudes from $Q$ to $AB, BC,$ and $CD$ be $H, I,$ and $J$ respectively. Thus, $QH = QI = QJ.$ Because $ABCD$ is an isosceles trapezoid, we can say that all of the altitudes are equal to each other.

By SA as well as SS congruence for right triangles, we find that triangles $AEP, AFP, BHQ,$ and $BIQ$ are congruent. Similarly, $DFP, DGP, CJQ,$ and $CIQ$ by the same reasoning. Additionally, $EH = GJ = PQ$ since $EHQP$ and $GJQP$ are congruent rectangles.

If we then let $x = AE = AF = BH = BI,$ let $y = CI = CJ = DG = DF,$ and let $z = EH = GJ = PQ,$ we can create the following system of equations with the given side length information: \begin{align*} 2x + z &= 500, \\ 2y + z &= 650, \\ x + y &= 333. \end{align*} Adding the first two equations, subtracting by twice the second, and dividing by $2$ yields $z = PQ = \boxed{242}.$

~regular

Solution 6

Extend line $PQ$ to meet $AD$ at $P'$ and $BC$ at $Q'$. The diagram looks like this: [asy] /* Made by MRENTHUSIASM */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q, P1, Q1; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); P1 = intersectionpoint(A--D,P--(-300)*(Q-P)+P); Q1 = intersectionpoint(B--C,Q--300*(Q-P)+Q); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*NE,linewidth(4)); dot("$Q$",Q,1.5*NW,linewidth(4)); dot("$P'$",P1,1.5*W,linewidth(4)); dot("$Q'$",Q1,1.5*E,linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); draw(P--P1^^Q--Q1,dashed); [/asy] Since $\angle A + \angle D=\angle B + \angle C = 180^{\circ}$, it follows that $\angle P'AP+\angle P'DP = \angle Q'BQ + \angle Q'CQ = 90^{\circ}$. Thus, $\angle APD = \angle BQC = 90^{\circ}$, implying that $\triangle APD$ and $\triangle BQC$ are right triangles. Since $P'P$ and $Q'Q$ are medians, $P'P+Q'Q=\frac{333\times2}{2}=333$. Since $P'Q'=\frac{500+650}{2}=575$, we have $PQ+P'P+Q'Q=575$, or $PQ=575-333=\boxed{242}$.

~sigma

Solution 7 (Trigonometry)

Let $PQ = x$. Note that since $AP$ bisects $\angle{A}$ and $DP$ bisects $\angle{D}$, we have \[\angle{APD} = 180^{\circ}-\tfrac12 \angle{A}-\tfrac12 \angle{D}=90^{\circ}.\] Let $\angle{ADP}=\theta$. We have that $\angle{ADC} = 2\theta.$ Now, drop an altitude from $A$ to $CD$ at $E$. Notice that $DE=\tfrac{650-500}{2}=75$. By the definition of cosine, we have \[\cos{2\theta}=1-2\cos^2{\theta}=\tfrac{75}{333}=\tfrac{25}{111} \implies \cos{\theta}=\tfrac{2\sqrt{1887}}{111}.\] Notice, however, that we can also apply this to $\triangle{APD}$; we have \[\cos{\theta}=\tfrac{DP}{333} \implies DP=6\sqrt{1887}.\] By the Pythagorean Theorem, we get \[AP=\sqrt{333^2-(6\sqrt{1887})^2}=3\sqrt{4773}.\] Then, drop an altitude from $P$ to $AB$ at $F$; if $AF=y$, then $PQ=x=500-2y$. Because $AP$ is an angle bisector, we see that $\angle{BAP}=\angle{DAP}=90^{\circ}-\theta$. Again, by the definition of cosine, we have \[\cos{(90^{\circ}-\theta)}=\sin{\theta}=\tfrac{\sqrt{4773}}{111}=\tfrac{y}{3\sqrt{4773}} \implies y=129.\] Finally, $PQ=500-2y=\boxed{242}$.

~pqr.

Solution 8 (Pythagoras + Similar Triangles)

[asy] /* Made by MRENTHUSIASM */ size(300); pair A, B, C, D, A1, B1, C1, D1, P, Q, X, Y, Z, W; A = (-250,6*sqrt(731)); B = (250,6*sqrt(731)); C = (325,-6*sqrt(731)); D = (-325,-6*sqrt(731)); A1 = bisectorpoint(B,A,D); B1 = bisectorpoint(A,B,C); C1 = bisectorpoint(B,C,D); D1 = bisectorpoint(A,D,C); P = intersectionpoint(A--300*(A1-A)+A,D--300*(D1-D)+D); Q = intersectionpoint(B--300*(B1-B)+B,C--300*(C1-C)+C); draw(anglemark(P,A,B,1000),red); draw(anglemark(D,A,P,1000),red); draw(anglemark(A,B,Q,1000),red); draw(anglemark(Q,B,C,1000),red); draw(anglemark(P,D,A,1000),red); draw(anglemark(C,D,P,1000),red); draw(anglemark(Q,C,D,1000),red); draw(anglemark(B,C,Q,1000),red); add(pathticks(anglemark(P,A,B,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(D,A,P,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(A,B,Q,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(Q,B,C,1000), n = 1, r = 0.15, s = 750, red)); add(pathticks(anglemark(P,D,A,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(C,D,P,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(Q,C,D,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); add(pathticks(anglemark(B,C,Q,1000), n = 2, r = 0.12, spacing = 150, s = 750, red)); dot("$A$",A,1.5*dir(A),linewidth(4)); dot("$B$",B,1.5*dir(B),linewidth(4)); dot("$C$",C,1.5*dir(C),linewidth(4)); dot("$D$",D,1.5*dir(D),linewidth(4)); dot("$P$",P,1.5*NE,linewidth(4)); dot("$Q$",Q,1.5*NW,linewidth(4)); draw(A--B--C--D--cycle^^A--P--D^^B--Q--C^^P--Q); X = (-121,6*sqrt(731)); Y = (121,6*sqrt(731)); Z = (-121,-6*sqrt(731)); W = (121,-6*sqrt(731)); draw(X--Z^^Y--W,dashed); draw(rightanglemark(A,X,Z,500),red); draw(rightanglemark(B,Y,W,500),red); draw(rightanglemark(C,W,Y,500),red); draw(rightanglemark(D,Z,X,500),red); dot("$X$",X,1.5*N,linewidth(4)); dot("$Y$",Y,1.5*N,linewidth(4)); dot("$Z$",Z,1.5*S,linewidth(4)); dot("$W$",W,1.5*S,linewidth(4)); [/asy]

As in solution 4, $\angle APD = 90^{\circ}$. Set $k = AX$ and $x = DP$.

We know that $DZ = AX + \frac{DC-AB}{2}$, so $DZ = k + \frac{650-500}{2} = k + 75$.

$\triangle DPZ \sim \triangle APD$ by AA, so we have $\frac{PD}{AD} = \frac{ZD}{PD}$, resulting in

\[\frac{x}{333} = \frac{k+75}{x} \text{ (1)}\]

$\triangle APX \sim \triangle ADP$ by AA, so we have $\frac{AP}{AD} = \frac{AX}{AP}$, resulting in

\[\frac{\sqrt{333^2-x^2}}{333} = \frac{k}{\sqrt{333^2-k^2}} \text{ (2)}\]

From $\text{(1)}$, we have $x^2 = 333k + 333(75) = 333k + 24975$. From $\text{(2)}$, we have $333^2 - x^2 = 333k$, or $x^2 = 333^2 - 333k$. Thus, $333k + 24975 = 333^2 - 333k$. Solving for $k$ yields $k = 129$.

By symmetry, $YB = AX = 129$. Thus, $PQ = XY = AB - 2AX = 500 - 2(129) = \boxed{242}$.

~ adam_zheng

Video Solution (Mathematical Dexterity)

https://www.youtube.com/watch?v=fNAvxXnvAxs

Video Solution

https://www.youtube.com/watch?v=h_LOT-rwt08

~Steven Chen (www.professorchenedu.com)

Video Solution

https://youtu.be/MJ_M-xvwHLk?t=545

~ThePuzzlr

Video Solution by MRENTHUSIASM (English & Chinese)

https://www.youtube.com/watch?v=dqVVOSCWujo&ab_channel=MRENTHUSIASM

~MRENTHUSIASM

Video Solution

https://youtu.be/Q_S_VhiLRJE

~AMC & AIME Training

See Also

2022 AIME I (ProblemsAnswer KeyResources)
Preceded by
Problem 2
Followed by
Problem 4
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
All AIME Problems and Solutions

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