By we denote the product of all distinct prime factors of a positive integer . Given , a sequence is defined by and for all . Prove that there exists an index for which .
Solution
Solution. To prove that , by adding to both sides it is equivalent to prove . We start by defining point on the segment such that , then it is sufficient to prove that , since triangles and are isosceles. One can get that is parallel to so
thus is cyclic. Also we have that
this implies that is cyclic.
thus . Now by angle chasing,
thus we have and , which implies that and are congruent, since . In conclusion, , which finishes the proof. □
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.