Maths Olympiad Prep

Library / /504 of 520

Geometry Difficulty 7.7 National olympiad, round 2 Prove it

Example 6 Given a line segment ABA B and a line CDC D parallel to ABA B, let nn be a positive integer, n2n \geqslant 2. Using only a straightedge, construct a point that divides ABA B into nn equal parts.

Construct a point that divides ABA B into nn equal parts using only a straightedge, given a line segment ABA B and a line CDC D parallel to ABA B, where nn is a positive integer, n2n \geqslant 2.

Solution

Proof: By mathematical induction. When n=2n=2, the proposition holds. Suppose point II is the (n1)(n-1)-th equal division point of ABAB (closest to point BB) for n3n \geqslant 3. Connect IGIG to intersect BFBF at JJ, and extend EJEJ to intersect ABAB at KK. Then,
AKBK=AEJBEJ=AEJAFJAFJABJAJBEBJ=AEAFFJBJAFEF=AGEAGF. \frac{AK}{BK} = \frac{\triangle AEJ}{\triangle BEJ} = \frac{\triangle AEJ}{\triangle AFJ} \cdot \frac{\triangle AFJ}{\triangle ABJ} \cdot \frac{\triangle AJB}{\triangle EBJ} = \frac{AE}{AF} \cdot \frac{FJ}{BJ} \cdot \frac{AF}{EF} = \frac{\triangle AGE}{\triangle AGF}.
FIGBIGAFEF=AGEAGF(n1)FAGBAGAFEF=(n1)EGBGAFEF=(n1)EFGBFGAFGEFG=n1, \frac{\triangle FIG}{\triangle BIG} \cdot \frac{AF}{EF} = \frac{\triangle AGE}{\triangle AGF} \cdot (n-1) \frac{\triangle FAG}{\triangle BAG} \cdot \frac{AF}{EF} = (n-1) \frac{EG}{BG} \cdot \frac{AF}{EF} = (n-1) \frac{\triangle EFG}{\triangle BFG} \cdot \frac{\triangle AFG}{\triangle EFG} = n-1,
so point KK is the nn-th equal division point of ABAB (closest to point BB).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.