Difference between revisions of "1965 AHSME Problems/Problem 36"
(→Solution 2: (non-rigorous)) |
m (more elegant justification for convergence) |
||
Line 70: | Line 70: | ||
</asy> | </asy> | ||
− | For simplicity, let the first perpendicular from <math>\overleftrightarrow{OA}</math> to <math>\overleftrightarrow{OB}</math> be <math>\overline{AB}</math>, and let the second perpendicular have foot <math>C</math> on <math>\overleftrightarrow{OA}</math>. Further, let the perpendicular from <math>C</math> to <math>\overleftrightarrow{OB}</math> have foot <math>D</math> and length <math>c</math>, as in the diagram. Also, let <math>\measuredangle OAB=\alpha</math>. From the problem, we have <math>AB=a</math> and <math>BC=b</math>. By [[AA similarity]], we have <math>\triangle OCB \sim \triangle OBA</math>, so <math>\measuredangle CBO=\alpha</math> as well. In <math>\triangle ABC</math>, we see that <math>\sin\alpha=\frac{b}{a}</math>, and, in <math>\triangle CDB</math>, <math>\sin\alpha=\frac{c}{b}</math>. Equating these two expressions for <math>\sin\alpha</math>, we get that <math>\frac{b}{a}=\frac{c}{b}</math>, or, because <math>a,b,c>0</math>, <math>b=\sqrt{ac}</math>. Thus, <math>b</math> is the [[geometric mean]] of <math>a</math> and <math>c</math>. Note that if we remove the first perpendicular (i.e. the one with length <math>a</math>), we are left with a smaller version of the original problem, which will have the same equation for the limit (but this time expressed in terms of <math>b</math> and <math>c</math> rather than <math>a</math> and <math>b</math>). Thus, if we let the length of the fourth perpendicular be <math>d</math>, then <math>c</math> will equal the geometric mean of <math>b</math> and <math>d</math>, and so on for the infinitude of perpendiculars. Thus, because the length of a given perpendicular (except the first one) is the geometric mean of the two adjacent perpendiculars, the lengths of the perpendiculars form a [[geometric sequence]]. Because the sequence's first two terms are <math>a</math> and <math>b</math>, it has common ratio <math>\frac{b}{a}</math>. Because <math>b<a</math>, the common ratio | + | For simplicity, let the first perpendicular from <math>\overleftrightarrow{OA}</math> to <math>\overleftrightarrow{OB}</math> be <math>\overline{AB}</math>, and let the second perpendicular have foot <math>C</math> on <math>\overleftrightarrow{OA}</math>. Further, let the perpendicular from <math>C</math> to <math>\overleftrightarrow{OB}</math> have foot <math>D</math> and length <math>c</math>, as in the diagram. Also, let <math>\measuredangle OAB=\alpha</math>. From the problem, we have <math>AB=a</math> and <math>BC=b</math>. By [[AA similarity]], we have <math>\triangle OCB \sim \triangle OBA</math>, so <math>\measuredangle CBO=\alpha</math> as well. In <math>\triangle ABC</math>, we see that <math>\sin\alpha=\frac{b}{a}</math>, and, in <math>\triangle CDB</math>, <math>\sin\alpha=\frac{c}{b}</math>. Equating these two expressions for <math>\sin\alpha</math>, we get that <math>\frac{b}{a}=\frac{c}{b}</math>, or, because <math>a,b,c>0</math>, <math>b=\sqrt{ac}</math>. Thus, <math>b</math> is the [[geometric mean]] of <math>a</math> and <math>c</math>. Note that if we remove the first perpendicular (i.e. the one with length <math>a</math>), we are left with a smaller version of the original problem, which will have the same equation for the limit (but this time expressed in terms of <math>b</math> and <math>c</math> rather than <math>a</math> and <math>b</math>). Thus, if we let the length of the fourth perpendicular be <math>d</math>, then <math>c</math> will equal the geometric mean of <math>b</math> and <math>d</math>, and so on for the infinitude of perpendiculars. Thus, because the length of a given perpendicular (except the first one) is the geometric mean of the two adjacent perpendiculars, the lengths of the perpendiculars form a [[geometric sequence]]. Because the sequence's first two terms are <math>a</math> and <math>b</math>, it has common ratio <math>\frac{b}{a}</math>. Because <math>b<a</math>, the common ratio is positive and less than <math>1</math>, so the sequence's infinite [[geometric sequence#Sum|geometric series]] converges. This infinite sum is given by <math>\frac{a}{1-\frac{b}{a}}=\boxed{\frac{a^2}{a-b}}</math>, which is answer choice <math>\fbox{\textbf{(E)}}</math>. |
== Solution 2 (Answer choices, non-rigorous intuition) == | == Solution 2 (Answer choices, non-rigorous intuition) == |
Revision as of 20:01, 19 July 2024
Problem
Given distinct straight lines and . From a point in a perpendicular is drawn to ; from the foot of this perpendicular a line is drawn perpendicular to . From the foot of this second perpendicular a line is drawn perpendicular to ; and so on indefinitely. The lengths of the first and second perpendiculars are and , respectively. Then the sum of the lengths of the perpendiculars approaches a limit as the number of perpendiculars grows beyond all bounds. This limit is:
Solution 1
For simplicity, let the first perpendicular from to be , and let the second perpendicular have foot on . Further, let the perpendicular from to have foot and length , as in the diagram. Also, let . From the problem, we have and . By AA similarity, we have , so as well. In , we see that , and, in , . Equating these two expressions for , we get that , or, because , . Thus, is the geometric mean of and . Note that if we remove the first perpendicular (i.e. the one with length ), we are left with a smaller version of the original problem, which will have the same equation for the limit (but this time expressed in terms of and rather than and ). Thus, if we let the length of the fourth perpendicular be , then will equal the geometric mean of and , and so on for the infinitude of perpendiculars. Thus, because the length of a given perpendicular (except the first one) is the geometric mean of the two adjacent perpendiculars, the lengths of the perpendiculars form a geometric sequence. Because the sequence's first two terms are and , it has common ratio . Because , the common ratio is positive and less than , so the sequence's infinite geometric series converges. This infinite sum is given by , which is answer choice .
Solution 2 (Answer choices, non-rigorous intuition)
Let and be measured with some units of length (say, meters). The limit of the sum of the lengths of the perpendiculars would, then, be measured in meters as well. Performing dimensional analysis on each of the answer choices, we can eliminate options (A) and (B), because they have units , so they are dimensionless. Unfortunately, our other three options all have units of meters. Now, we have a chance of guessing the answer correctly, but we can go further. Think of what happens as approaches . Then, approaches , and the perpendiculars have nearly no space to "bounce between" the two lines, and so they likely have zero total length. Likewise, if we think of what happens as approaches , all of the perpendiculars except the first one (with length ) go to zero. From this intuition, one would think that would have a larger impact upon the total length of the perpendiculars. Out of the three answer choices left, this conjecture is only consistent with choice . To reinforce this decision, think about what happens as approaches again. We would expect the sum to approach and to approach . Plugging in into the expression in choice (E), we get , which is what we expected. On the other hand, options (C) and (D) equate to 0, which is clearly false.
See Also
1965 AHSC (Problems • Answer Key • Resources) | ||
Preceded by Problem 35 |
Followed by Problem 37 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 • 26 • 27 • 28 • 29 • 30 • 31 • 32 • 33 • 34 • 35 • 36 • 37 • 38 • 39 • 40 | ||
All AHSME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.