2020 Computational Geometry Contest by Tovi Wen, With Solutions
2020 Computational Geometry Contest by Tovi Wen, With Solutions
Tovi Wen
January 2020
Abstract
Hi AOPS! In the past I have written one or two mock contests which I believe have been
fairly positively received. This is a slightly less serious mock as it does not mirror any specific
competition format. However, I think that the problems are still interesting and deserve a
place for people to attempt them. I hope you enjoy this!
Acknowledgements
Thanks to Rishabh Das and Derek Dong for helpful edits and test solving. Thanks to David Altizio
for helping me reword problem 8.
• The time limit on this contest is 90 minutes. I don’t really care if you spend longer than this,
but if you do please include exactly how long you spent in your submission. If you spent ≤ 90
minutes don’t tell me anything.
Note: In my opinion, the problems are extremely challenging. While the style is similar, this is
certainly significantly harder than an average PUMaC/HMMT/CMIMC so keep this in mind.
1
Tovi Wen Computational Geometry Mock
Problems
1. Let ABCD be a square. Points X and Y lie on segments BC and CD, respectively, such that
XY = 3, AX = 4, and AY = 5. Then the area of ABCD may be written was ab for coprime
integers a, b. Find a + b.
2. Let x, y be randomly chosen real numbers such that 0 √ < x < 2 and 0 < y < 1. Let P denote
2 2 aπ + b c
the probability that x + y < 4. Then P = for positive integers a, b, c, d with
d
gcd(a, b, d) = 1 and c square-free. Find a + b + c + d.
3. In triangle ABC, AB = AC. D lies on AB and E lies on AC such that DE passes through
the midpoint M of BC. Given M D 2
M E = 3 and BD + CE = 4, compute AE.
5. Let ABC be a triangle and let D be the point on BC such that AD passes through the
circumcenter of 4ABC. If AD = 8, BD = 10, and CD = 17, then the value of AB · AC may
be written in the form ab for coprime integers a, b. Find a + b.
6. Points D, E, F are chosen on sides BC, CA, AB of triangle 4ABC, respectively such that
7. Let E be an ellipse with a major axis of length 10. Circle ω with center O is tangent to E at
P . The line OP intersects the major and minor axes of E at X and Y , respectively. Suppose
√
that P X = 4 and P Y = 6. The distance between the foci of E may be written as pq r for
coprime integers p, q and a square-free integer r. Find p + q + r.
8. Let ABC be an isosceles triangle with AB = AC. Let D be a point on the circumcircle of
this triangle such that the perpendicular bisector of AD intersects segments AB and AC, at
points E and F respectively. Suppose line segments EN and F M intersect at P , where M
and N are the midpoints of AB and AC respectively. If AP = 6 and P D = 9, compute AB 2 .
2
Computational Geometry Mock
Tovi Wen
January 2020
Abstract
Hi AOPS! In the past I have written one or two mock contests which I believe have been
fairly positively received. This is a slightly less serious mock as it does not mirror any specific
competition format. However, I think that the problems are still interesting and deserve a
place for people to attempt them. I hope you enjoy this!
Acknowledgements
Thanks to Rishabh Das and Derek Dong for helpful edits and test solving. Thanks to David Altizio
for helping me reword problem 8.
• The time limit on this contest is 90 minutes. I don’t really care if you spend longer than this,
but if you do please include exactly how long you spent in your submission. If you spent ≤ 90
minutes don’t tell me anything.
Note: In my opinion, the problems are extremely challenging. While the style is similar, this is
certainly significantly harder than an average PUMaC/HMMT/CMIMC so keep this in mind.
1
Tovi Wen Computational Geometry Mock
Problems
1. Let ABCD be a square. Points X and Y lie on segments BC and CD, respectively, such that
XY = 3, AX = 4, and AY = 5. Then the area of ABCD may be written was ab for coprime
integers a, b. Find a + b.
2. Let x, y be randomly chosen real numbers such that 0 √ < x < 2 and 0 < y < 1. Let P denote
2 2 aπ + b c
the probability that x + y < 4. Then P = for positive integers a, b, c, d with
d
gcd(a, b, d) = 1 and c square-free. Find a + b + c + d.
3. In triangle ABC, AB = AC. D lies on AB and E lies on AC such that DE passes through
2
the midpoint M of BC. Given M D
M E = 3 and BD + CE = 4, compute AE.
5. Let ABC be a triangle and let D be the point on BC such that AD passes through the
circumcenter of 4ABC. If AD = 8, BD = 10, and CD = 17, then the value of AB · AC may
be written in the form ab for coprime integers a, b. Find a + b.
6. Points D, E, F are chosen on sides BC, CA, AB of triangle 4ABC, respectively such that
7. Let E be an ellipse with a major axis of length 10. Circle ω with center O is tangent to E at
P . The line OP intersects the major and minor axes of E at X and Y , respectively. Suppose
√
that P X = 4 and P Y = 6. The distance between the foci of E may be written as pq r for
coprime integers p, q and a square-free integer r. Find p + q + r.
8. Let ABC be an isosceles triangle with AB = AC. Let D be a point on the circumcircle of
this triangle such that the perpendicular bisector of AD intersects segments AB and AC, at
points E and F respectively. Suppose line segments EN and F M intersect at P , where M
and N are the midpoints of AB and AC respectively. If AP = 6 and P D = 9, compute AB 2 .
2
Tovi Wen Computational Geometry Mock
Answers
1. 273
2. 20
3. 12
4. 263
5. 10583
6. 48
7. 16
8. 150
3
Tovi Wen Computational Geometry Mock
Solutions
1. Let ABCD be a square. Points X and Y lie on segments BC and CD, respectively, such that
XY = 3, AX = 4, and AY = 5. Then the area of ABCD may be written was ab for coprime
integers a, b. Find a + b.
D Y C
A B
so 4CY X ∼ 4BXA. By similar side ratios, 4CX = 3AB. Set AB = 4s. Then CX =
4
3s, BX = s. By the Pythagorean theorem on 4BXA, (4s)2 + s2 = 16 =⇒ s = √ . It
17
follows that
16 256
AB = 4s = √ =⇒ AB 2 = [ABCD] =
17 17
which gives an answer of 273 .
2. Let x, y be randomly chosen real numbers such that 0 √ < x < 2 and 0 < y < 1. Let P denote
2 2 aπ + b c
the probability that x + y < 4. Then P = for positive integers a, b, c, d with
d
gcd(a, b, d) = 1 and c square-free. Find a + b + c + d.
F E
D
A B
Set points A(0, 0), B(2, 0), C(0, 2), D(0, 1), E(2, 1). For a point P inside rectangle ABED,
note that if x is the distance from P to AD and y is the distance from P to BE, then x2 +y 2 is
the distance from P to the origin. If x2 + y 2 < 4, then P must lie inside the circle with center
A and radius 2. So, we want to find the area of the sector of the circle whose arc-endpoints
are E and B.
4
Tovi Wen Computational Geometry Mock
M
B C
As ABC is isosceles, AM bisects ∠BAC ≡ ∠DAE. Thus by the Angle Bisector Theorem on
4ADE, AD = 4a and AE = 6a for some a. Set AB = AC = b. Then BD = b − 4a and
CE = 6a − b so 4 = BD + CE = 2a = AE3 hence AE = 12 .
Note that P is the center of the spiral similarity sending segment BD to CE. It follows
that 4P BD ∼ 4P CE so as BD = CE the two triangles are in fact congruent. Therefore,
P B = P C.
Hence, the two possible locations of P are the intersections of the perpendicular bisector of
BC with (ABC). P is the midpoint of arc BC d of (ABC) when D and E lie on the same
side of line BC and P is the midpoint of arc BAC of (ABC) when D and E lie on opposite
\
sides of BC.
AM 2 + AN 2 = M N 2 = (2R)2 = 4R2
5
Tovi Wen Computational Geometry Mock
5. Let ABC be a triangle and let D be the point on BC such that AD passes through the
circumcenter of 4ABC. If AD = 8, BD = 10, and CD = 17, then the value of AB · AC may
be written in the form ab for coprime integers a, b. Find a + b.
Let ω denote the circumcircle of 4ABC and let γ denote the circle with center D and radius
DA. Then ω and γ are internally tangent. Let AB, AC meet γ again at M, N , respectively.
By homothety, we get M N k BC we have
Pow(B, ω) BM · BA AB 2
= = .
Pow(C, ω) CN · CA AC 2
AB 2
so = . Let AB = 2x, AC = 5x. Then we seek 10x2 . Applying Stewart’s theorem, we
AC 5
have
10 · 17 · 27 + 27(8)2 = (2x)2 · 17 + (5x)2 · 10
1053 10530
and thus we may solve for x2 = 53 so 10x2 = 53 so the answer is 10583 .
6. Points D, E, F are chosen on sides BC, CA, AB of triangle 4ABC, respectively such that
6
Tovi Wen Computational Geometry Mock
B C
D
Let O denote the common circumcenter of the two triangles, and let R be the circumradius
of 4ABC. Since OD = OE = OF we have
OD2 = OE 2 = OF 2 =⇒ R2 − OD2 = R2 − OE 2 = R2 − OF 2 .
But we recognize this as
Pow(ABC) (D) = Pow(ABC) (E) = Pow(ABC) (F )
so
AF · BF = BD · CD = CE · AE.
It follows that there exists a positive real number a such that BF = 9a, CD = 2a, AE = 12a.
Moreover, since AD, BE, CF concur, by Ceva’s theorem we know that
216 = AF · BD · CE = BF · CD · AE = 216a3
implying that a = 1. Hence, AB = 13, BC = 20, CA = 15 so the perimeter is 48 .
7. Let E be an ellipse with a major axis of length 10. Circle ω with center O is tangent to E at
P . The line OP intersects the major and minor axes of E at X and Y , respectively. Suppose
√
that P X = 4 and P Y = 6. The distance between the foci of E may be written as pq r for
coprime integers p, q and a square-free integer r. Find p + q + r.
F1 X F2
7
Tovi Wen Computational Geometry Mock
Let F1 , F2 denote the foci of E. As the major axis has length 10 we have P F1 + P F2 = 10. I
claim that OP bisects ∠F1 P F2 .
Proof. Consider the tangent ` drawn to E at P . It is well known that the acute angle formed
between ` and P F1 is equal to the acute angle formed between ` and P F2 so since OP ⊥ `,
the claim is proven.
P F1 · P F2 = P X · P Y = 4 · 6 = 24.
giving an answer of 16 .
8. Let ABC be an isosceles triangle with AB = AC. Let D be a point on the circumcircle of
this triangle such that the perpendicular bisector of AD intersects segments AB and AC, at
points E and F respectively. Suppose line segments EN and F M intersect at P , where M
and N are the midpoints of AB and AC respectively. If AP = 6 and P D = 9, compute AB 2 .
M N
P
F
E
G
B C
8
Tovi Wen Computational Geometry Mock
thus F M is the radical axis of ω1 and the circle centered at A with radius 0. Similarly, EN
is the radical axis of ω2 and (A). Therefore, P is the radical center of the three circles.
AB 2 = AG · AD = (6 + 4) · (6 + 9) = 150 .