Define the sequence $\{a_n\}$ in the following manner: $a_1=1$ $a_2=3$ $a_{n+2}=2a_{n+1}a_{n}+1$ ; for all $n\geq1$ Prove that the largest power of $2$ that divides $a_{4006}-a_{4005}$ is $2^{2003}.$

[u]Set 6[/u] [b]B16.[/b] Let $\ell_r$ denote the line $x + ry + r^2 = 420$. Jeffrey draws the lines $\ell_a$ and $\ell_b$ and calculates their single intersection point. [b]B17.[/b] Let set $L$ consist of lines of the form $3x + 2ay = 60a + 48$ across all real constants a. For every line $\ell$ in $L$, the point on $\ell$ closest to the origin is in set $T$ . The area enclosed by the locus of all the points in $T$ can be expressed in the form nπ for some positive integer $n$. Compute $n$. [b]B18.[/b] What is remainder when the $2020$-digit number $202020 ... 20$ is divided by $275$? [u]Set 7[/u] [b]B19.[/b] Consider right triangle $\vartriangle ABC$ where $\angle ABC = 90^o$, $\angle ACB = 30^o$, and $AC = 10$. Suppose a beam of light is shot out from point $A$. It bounces off side $BC$ and then bounces off side $AC$, and then hits point $B$ and stops moving. If the beam of light travelled a distance of $d$, then compute $d^2$. [b]B20.[/b] Let $S$ be the set of all three digit numbers whose digits sum to $12$. What is the sum of all the elements in $S$? [b]B21.[/b] Consider all ordered pairs $(m, n)$ where $m$ is a positive integer and $n$ is an integer that satisfy $$m! = 3n^2 + 6n + 15,$$ where $m! = m \times (m - 1) \times ... \times 1$. Determine the product of all possible values of $n$. [u]Set 8[/u] [b]B22.[/b] Compute the number of ordered pairs of integers $(m, n)$ satisfying $1000 > m > n > 0$ and $6 \cdot lcm(m - n, m + n) = 5 \cdot lcm(m, n)$. [b]B23.[/b] Andrew is flipping a coin ten times. After every flip, he records the result (heads or tails). He notices that after every flip, the number of heads he had flipped was always at least the number of tails he had flipped. In how many ways could Andrew have flipped the coin? [b]B24.[/b] Consider a triangle $ABC$ with $AB = 7$, $BC = 8$, and $CA = 9$. Let $D$ lie on $\overline{AB}$ and $E$ lie on $\overline{AC}$ such that $BCED$ is a cyclic quadrilateral and $D, O, E$ are collinear, where $O$ is the circumcenter of $ABC$. The area of $\vartriangle ADE$ can be expressed as $\frac{m\sqrt{n}}{p}$, where $m$ and $p$ are relatively prime positive integers, and $n$ is a positive integer not divisible by the square of any prime. What is $m + n + p$? [u]Set 9[/u] [i]This set consists of three estimation problems, with scoring schemes described.[/i] [b]B25.[/b] Submit one of the following ten numbers: $$3 \,\,\,\, 6\,\,\,\, 9\,\,\,\, 12\,\,\,\, 15\,\,\,\, 18\,\,\,\, 21\,\,\,\, 24\,\,\,\, 27\,\,\,\, 30.$$ The number of points you will receive for this question is equal to the number you selected divided by the total number of teams that selected that number, then rounded up to the nearest integer. For example, if you and four other teams select the number $27$, you would receive $\left\lceil \frac{27}{5}\right\rceil = 6$ points. [b]B26.[/b] Submit any integer from $1$ to $1,000,000$, inclusive. The standard deviation $\sigma$ of all responses $x_i$ to this question is computed by first taking the arithmetic mean $\mu$ of all responses, then taking the square root of average of $(x_i -\mu)^2$ over all $i$. More, precisely, if there are $N$ responses, then $$\sigma =\sqrt{\frac{1}{N} \sum^N_{i=1} (x_i -\mu)^2}.$$ For this problem, your goal is to estimate the standard deviation of all responses. An estimate of $e$ gives $\max \{ \left\lfloor 130 ( min \{ \frac{\sigma }{e},\frac{e}{\sigma }\}^{3}\right\rfloor -100,0 \}$ points. [b]B27.[/b] For a positive integer $n$, let $f(n)$ denote the number of distinct nonzero exponents in the prime factorization of $n$. For example, $f(36) = f(2^2 \times 3^2) = 1$ and $f(72) = f(2^3 \times 3^2) = 2$. Estimate $N = f(2) + f(3) +.. + f(10000)$. An estimate of $e$ gives $\max \{30 - \lfloor 7 log_{10}(|N - e|)\rfloor , 0\}$ points. PS. You had better use hide for answers. First sets have been posted [url=https://artofproblemsolving.com/community/c4h2777391p24371239]here[/url]. Collected [url=https://artofproblemsolving.com/community/c5h2760506p24143309]here[/url].

Given a square $ABCD$ with side $1$, and a square inside $ABCD$ with side $x$, find (in terms of $x$) the radio $r$ of the circle tangent to two sides of $ABCD$ and touches the square with side $x$. (See picture).

Let $N$ be a point inside the triangle $ABC$. Through the midpoints of the segments $AN, BN$, and $CN$ the lines parallel to the opposite sides of $\triangle ABC$ are constructed. Let $AN, BN$, and $CN$ be the intersection points of these lines. If $N$ is the orthocenter of the triangle $ABC$, prove that the nine-point circles of $\triangle ABC$ and $\triangle A_NB_NC_N$ coincide. [hide="Remark."]Remark. The statement of the original problem was that the nine-point circles of the triangles $A_NB_NC_N$ and $A_MB_MC_M$ coincide, where $N$ and $M$ are the orthocenter and the centroid of $ABC$. This statement is false.[/hide]

In the following diagram two sides of a square are tangent to a circle with diameter $8$. One corner of the square lies on the circle. There are positive integers $m$ and $n$ so that the area of the square is $m +\sqrt{n}$. Find $m + n$. [asy] import graph; size(4.4cm); real labelscalefactor = 0.5; pen dotstyle = black; filldraw((-0.707106781,0.707106781)--(-0.707106781,-1)--(1,-1)--(1,0.707106781)--cycle,gray, linewidth(1.4)); draw(circle((0,0),1), linewidth(1.4)); [/asy]

Let be a triangle $ ABC $ that has an angle of $ 120^{\circ } . $ Bisectors of all three angles meet the sides of the triangle at $ A',B',C'. $ Prove $ A'B'C' $ is a right triangle.

Let $a$ be parameter such that $0<a<2\pi$. For $0<x<2\pi$, find the extremum of $F(x)=\int_{x}^{x+a} \sqrt{1-\cos \theta}\ d\theta$.

Triangle $ABC$ with $AC=BC$ given and point $D$ is chosen on the side $AC$. $S1$ is a circle that touches $AD$ and extensions of $AB$ and $BD$ with radius $R$ and center $O_1$. $S2$ is a circle that touches $CD$ and extensions of $BC$ and $BD$ with radius $2R$ and center $O_2$. Let $F$ be intersection of the extension of $AB$ and tangent at $O_2$ to circumference of $BO_1O_2$. Prove that $FO_1=O_1O_2$.

In the following equation, each of the letters represents uniquely a different digit in base ten: \[ (YE) \cdot (ME) \equal{} TTT\] The sum $ E\plus{}M\plus{}T\plus{}Y$ equals $ \textbf{(A)}\ 19 \qquad \textbf{(B)}\ 20 \qquad \textbf{(C)}\ 21 \qquad \textbf{(D)}\ 22 \qquad \textbf{(E)}\ 24$

Let $ABC$ be an acute triangle with $AB<AC$. The angle bisector of $BAC$ intersects the side $BC$ and the circumcircle of $ABC$ at $D$ and $M\neq A$, respectively. Points $X$ and $Y$ are chosen so that $MX \perp AB$, $BX \perp MB$, $MY \perp AC$, and $CY \perp MC$. Prove that the points $X,D,Y$ are collinear.

Let $L(m)$ be the $x$-coordinate of the left end point of the intersection of the graphs of $y=x^2-6$ and $y=m$, where $-6<m<6$. Let $r=[L(-m)-L(m)]/m$. Then, as $m$ is made arbitrarily close to zero, the value of $r$ is: $\textbf{(A) }\text{arbitrarily close to zero}\qquad \textbf{(B) }\text{arbitrarily close to }\tfrac1{\sqrt6}\qquad$ $\textbf{(C) }\text{arbitrarily close to }\tfrac2{\sqrt6}\qquad\,\,\, \textbf{(D) }\text{arbitrarily large}\qquad$ $\textbf{(E) }\text{undetermined}$

Let $ABCD$ be a quadrilateral inscribed in a circle $\omega$, and let $P$ be a point on the extension of $AC$ such that $PB$ and $PD$ are tangent to $\omega$. The tangent at $C$ intersects $PD$ at $Q$ and the line $AD$ at $R$. Let $E$ be the second point of intersection between $AQ$ and $\omega$. Prove that $B$, $E$, $R$ are collinear.

Consider an infinite series whose $n$-th term is $\pm (1\slash n)$, the $\pm$ signs being determined according to a pattern that repeats periodically in blocks of eight (there are $2^{8}$ possible patterns). (a) Show that a sufficient condition for the series to be conditionally convergent is that there are four "$+$" signs and four "$-$" signs in the block of eight signs. (b) Is this sufficient condition also necessary?

Given a $32 \times 32$ table, we put a mouse (facing up) at the bottom left cell and a piece of cheese at several other cells. The mouse then starts moving. It moves forward except that when it reaches a piece of cheese, it eats a part of it, turns right, and continues moving forward. We say that a subset of cells containing cheese is good if, during this process, the mouse tastes each piece of cheese exactly once and then falls off the table. Show that: (a) No good subset consists of 888 cells. (b) There exists a good subset consisting of at least 666 cells.

Let $V$ be the region in the Cartesian plane consisting of all points $(x,y)$ satisfying the simultaneous conditions $$|x|\le y\le|x|+3\text{ and }y\le4.$$Find the centroid of $V$.

In a remote island, a language in which every word can be written using only the letters $a$, $b$, $c$, $d$, $e$, $f$, $g$ is spoken. Let's say two words are [i]synonymous[/i] if we can transform one into the other according to the following rules: i) Change a letter by another two in the following way: \[a \rightarrow bc,\ b \rightarrow cd,\ c \rightarrow de,\ d \rightarrow ef,\ e \rightarrow fg,\ f\rightarrow ga,\ g\rightarrow ab\] ii) If a letter is between other two equal letters, these can be removed. For example, $dfd \rightarrow f$. Show that all words in this language are synonymous.

Let $D$ and $E$ be points in the interiors of sides $AB$ and $AC$, respectively, of a triangle $ABC$, such that $DB = BC = CE$. Let the lines $CD$ and $BE$ meet at $F$. Prove that the incentre $I$ of triangle $ABC$, the orthocentre $H$ of triangle $DEF$ and the midpoint $M$ of the arc $BAC$ of the circumcircle of triangle $ABC$ are collinear.

Find all functions $f:\mathbb{R} \to \mathbb{R}$ satisfying the equation \[ f(x^2+y^2+2f(xy)) = (f(x+y))^2. \] for all $x,y \in \mathbb{R}$.

Let $ABC$ be a triangle and $\omega$ its circumcircle. Point $D$ lies on the arc $BC$ (not containing $A$) of $\omega$ and is different from $B, C$ and the midpoint of arc $BC$ . The tangent line to $\omega$ at $D$ intersects lines $BC, CA,AB$ at $A', B',C'$ respectively. Lines $BB'$ and $CC'$ intersect at $E$. Line $AA' $ intersects again circle $\omega$ at $F$. Prove that the three points $D,E,F$ are colinear. Malik Talbi

We say that a strictly increasing positive real sequence $a_1,a_2,\cdots $ is an [i]elf sequence[/i] if for any $c>0$ we can find an $N$ such that $a_n<cn$ for $n=N,N+1,\cdots$. Furthermore, we say that $a_n$ is a [i]hat[/i] if $a_{n-i}+a_{n+i}<2a_n$ for $\displaystyle 1\le i\le n-1$. Is it true that every elf sequence has infinitely many hats?

Two students $A$ and $B$ play a game on a $20 \text{ x } 20$ chessboard. It is known that two squares are said to be [i]adjacent[/i] if the two squares have a common side. At the beginning, there is a chess piece in a certain square of the chessboard. Given that $A$ will be the first one to move the chess piece, $A$ and $B$ will alternately move this chess piece to an adjacent square. Also, the common side of any pair of adjacent squares can only be passed once. If the opponent cannot move anymore, then he will be declared the winner (to clarify since the wording wasn’t that good, you lose if you can’t move). Who among $A$ and $B$ has a winning strategy? Justify your claim.

If $A=\{1,2,...,4s-1,4s\}$ and $S \subseteq A$ such that $\mid S \mid =2s+2$, prove that in $S$ we can find three distinct numbers $x$, $y$ and $z$ such that $x+y=2z$

In acute scalene triangle $ABC$ the external angle bisector of $\angle BAC$ meet $BC$ at point $X$.Lines $l_b$ and $l_c$ which tangents of $B$ and $C$ with respect to $(ABC)$.The line pass through $X$ intersects $l_b$ and $l_c$ at points $Y$ and $Z$ respectively. Suppose $(AYB)\cap(AZC)=N$ and $l_b\cap l_c=D$. Show that $ND$ is angle bisector of $\angle YNZ$. Proposed by [i]Alireza Haghi[/i]

The sides of an equilateral triangle are divided into n equal parts by $n-1$ points on each side. Through these points one draws parallel lines to the sides of the triangle. Thus, the initial triangle is divides into $n^2$ equal equilateral triangles. In every vertex of such a triangle there is a beetle. The beetles start crawling simultaneously, with equal speed, along the sides of the small triangles. When they reach a vertex, the beetles change the direction of their movement by $60^{\circ}$ or by $120^{\circ}$ . a) Prove that, if $n \geq 7$, the beetles can move indefinitely on the sides of the small triangles without two beetles ever meeting in a vertex of a small triangle. b) Determine all the values of $n \geq 1$ for which the beetles can move along the sides of the small triangles without meeting in their vertices.

Determine all pairs $(f,g)$ of functions from the set of real numbers to itself that satisfy \[g(f(x+y)) = f(x) + (2x + y)g(y)\] for all real numbers $x$ and $y$. [i]Proposed by Japan[/i]