Maths Olympiad Prep

Library / /1004 of 1394

, 2018

Geometry Difficulty 5.5 AIME, harder Prove it United States

Problem:

Kevin starts with the vectors (1,0)(1,0) and (0,1)(0,1) and at each time step, he replaces one of the vectors with their sum. Find the cotangent of the minimum possible angle between the vectors after 8 time steps.

Solution

Solution:

Say that the vectors Kevin has at some step are (a,b)(a, b) and (c,d)(c, d). Notice that regardless of which vector he replaces with (a+c,b+d)(a+c, b+d), the area of the triangle with vertices (0,0)(0,0), (a,b)(a, b), and (c,d)(c, d) is preserved with the new coordinates. We can see this geometrically: the parallelogram with vertices (0,0)(0,0), (a,b)(a, b), (c,d)(c, d), and (a+c,b+d)(a+c, b+d) can be cut in half by looking at the triangle formed by any 3 of the vertices, which include the original triangle, and both possible triangles that might arise in the next step.

Because the area is preserved, the minimum possible angle then arises when the two vectors, our sides, are as long as possible. This occurs when we alternate which vector is getting replaced for the sum. Given two vectors (a,b)(a, b) and (c,d)(c, d), with a2+b2>c2+d2\sqrt{a^{2}+b^{2}} > \sqrt{c^{2}+d^{2}}, we would rather replace (c,d)(c, d) than (a,b)(a, b), and (a+c,b+d)(a+c, b+d) has a larger norm than (a,b)(a, b). Then at the nnth step, Kevin has the vectors (Fn,Fn1)\left(F_{n}, F_{n-1}\right) and (Fn+1,Fn)\left(F_{n+1}, F_{n}\right), where F0=0F_{0}=0 and F1=1F_{1}=1. The tangent of the angle between them is the tangent of the difference of the angles they make with the x-axis, which is just their slope. We can then compute the cotangent as
1+Fn1FnFnFn+1FnFn+1Fn1Fn=Fn(Fn+1+Fn1)Fn2Fn1Fn+1. \left|\frac{1+\frac{F_{n-1}}{F_{n}} \cdot \frac{F_{n}}{F_{n+1}}}{\frac{F_{n}}{F_{n+1}}-\frac{F_{n-1}}{F_{n}}}\right|=\left|\frac{F_{n}\left(F_{n+1}+F_{n-1}\right)}{F_{n}^{2}-F_{n-1} F_{n+1}}\right| .
We can show (by induction) that Fn(Fn+1+Fn1)=F2nF_{n}\left(F_{n+1}+F_{n-1}\right)=F_{2 n} and Fn2Fn1Fn+1=(1)n+1F_{n}^{2}-F_{n-1} F_{n+1}=(-1)^{n+1}. Thus at the 8th step, the cotangent of the angle is F16=987F_{16}=987.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.