Starting with the triple (1007√2,2014√2,1007√14), define a sequence of triples (xn,yn,zn) by xn+1=√xn(yn+zn−xn) yn+1=√yn(zn+xn−yn) zn+1=√zn(xn+yn−zn) for n≥0.Show that each of the sequences ⟨xn⟩n≥0,⟨yn⟩n≥0,⟨zn⟩n≥0 converges to a limit and find these limits.
Problem
Source: Indian TST Day 1 Problem 3
Tags: geometry, invariant, algebra unsolved, algebra
14.07.2014 11:07
hajimbrak wrote: Starting with the triple (1007√2,2014√2,1007√14), define a sequence of triples (xn,yn,zn) by xn+1=√xn(yn+zn−xn),yn+1=√yn(zn+xn−yn),zn+1=√zn(xn+yn−zn), for n≥0.Show that each of these sequences converges to a limit and find these limits. Sketch of proof : Considering that (xn,yn,zn) are the three positive sidelengths or a triangle, we can rather easily show that : 1) (xn+1,yn+1,zn+1) are the sides of a new triangle with same area 2) |x2n−y2n|, |x2n−z2n| and |y2n−z2n| are decreasing sequences 3) xn,yn,zn have same limits, sides of an equilateral triangle of same area Area of starting triangle is √(x0+y0+z0)(x0+y0−z0)(x0−y0+z0)(−x0+y0+z0)4 Area of limit equilateral triangle is √34l2 Hence required limit is l=4√(x0+y0+z0)(x0+y0−z0)(x0−y0+z0)(−x0+y0+z0)3 With (x0,y0,z0)=(1007√2,2014√2,1007√14), this formula gives l=2014
18.08.2014 14:33
Any motivation for that invariant ?
28.12.2015 13:24
scale down by 1007 we get sides of a triangle
27.01.2018 18:25
Adding some motivation to my 'cryptic' solution from more than 2 years ago We basically want to remove radicals from this expression, so squaring is very natural. The existence of the square root implicitly assumes that we have yn+zn≥xn. Also, the thing under the radical suspiciously looks like the product of length of tangent from a vertex and some other thing. This motivates the introduction of a triangle with sides xn,yn,zn. Usually we need some kind of invariant in multivariable limits. So, we try the squared area of the triangle since it is a polynomial in xn,yn,zn, more precisely, 16Δ2=2∑cycb2c2−∑cyca4. This surprisingly comes out to be invariant. Also to show the convergence, it seems better to choose the difference between squares. Also this problem can be done using this paper.
15.05.2018 20:30
Exceptionally easy for P3; Idea only since I am in hurry. Central observation is if we treat the 3 values as lengths of a triangle then the ares is an invariant ! Another important observation is the subtended angles converges to 60 deg. Now bad calculations but a smart ans. !