Let $a,b,c\in\mathbb{Z^{+}}$ such that $$(a^2-1, b^2-1, c^2-1)=1$$ Prove that $$(ab+c, bc+a, ca+b)=(a,b,c)$$ (As usual, $(x,y,z)$ means the greatest common divisor of numbers $x,y,z$) [I]Proposed by A. Golovanov[/i]

Prove that if a lattice triangle has no lattice points on its boundary in addition to its vertices, and one point in its interior, then this interior point is its center of gravity.

Let $ a_0$, $ a_1$, $ a_2$, $ \ldots$ be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, $ \gcd (a_i, a_{i \plus{} 1}) > a_{i \minus{} 1}$. Prove that $ a_n\ge 2^n$ for all $ n\ge 0$. [i]Proposed by Morteza Saghafian, Iran[/i]

Let $x, y$ be positive integers such that $\gcd(x,y)=1$ and $x+3y^2$ is a perfect square. Prove that $x^2+9y^4$ can't be a perfect square.

A strictly increasing sequence $(a_n)$ has the property that $\gcd(a_m,a_n) = a_{\gcd(m,n)}$ for all $m,n\in \mathbb{N}$. Suppose $k$ is the least positive integer for which there exist positive integers $r < k < s$ such that $a_k^2 = a_ra_s$. Prove that $r | k$ and $k | s$.

For each positive integer $n$ , define $a_n = 20 + n^2$ and $d_n = gcd(a_n, a_{n+1})$. Find the set of all values that are taken by $d_n$ and show by examples that each of these values is attained.

Find all pairs of integers $(m,n)$ such that $m^6 = n^{n+1} + n -1$.

Determine the smallest positive integer $n\geq 2$ for which there exists a positive integer $m$ such that $mn$ divides $m^{2023} + n^{2023} + n$.

Find the number of 8-digit base-6 positive integers $(a_1a_2a_3a_4a_5a_6a_7a_8)_6$ (with leading zeros permitted) such that $(a_1a_2\ldots a_8)_6\mid(a_{i+1}a_{i+2}\ldots a_{i+8})_6$ for $i=1,2,\ldots,7$, where indices are taken modulo $8$ (so $a_9=a_1$, $a_{10}=a_2$, and so on). [i]Victor Wang[/i]

Determine all pairs of positive integers $m, n,$ satisfying the equality $(2^{m}+1;2^n+1)=2^{(m;n)}+1$ , where $(a;b)$ is the greatest common divisor

Let $ a,b,c,d$ be four distinct positive integers in arithmetic progression. Prove that $ abcd$ is not a perfect square.

Let $\mathbb N$ be the set of positive integers. Determine all functions $f:\mathbb N\times\mathbb N\to\mathbb N$ that satisfy both of the following conditions: [list] [*]$f(\gcd (a,b),c) = \gcd (a,f(c,b))$ for all $a,b,c \in \mathbb{N}$. [*]$f(a,a) \geq a$ for all $a \in \mathbb{N}$. [/list]

For each $n\in\mathbb{N}$ let $d_n$ denote the gcd of $n$ and $(2019-n)$. Find value of $d_1+d_2+\cdots d_{2018}+d_{2019}$

The positive integers $N$ and $N^2$ both end in the same sequence of four digits $abcd$ when written in base 10, where digit $a$ is not zero. Find the three-digit number $abc$.

$a+b+c \leq 3000000$ and $a\neq b \neq c \neq a$ and $a,b,c$ are naturals. Find maximum $GCD(ab+1,ac+1,bc+1)$

Show that $$5^{2019} \mid \Sigma^{5^{2019}}_{k=1}3^{gcd (5^{2019},k)}$$

Let $c$ be a nonnegative integer, and define $a_n = n^2 + c$ (for $n \geq 1)$. Define $d_n$ as the greatest common divisor of $a_n$ and $a_{n + 1}$. (a) Suppose that $c = 0$. Show that $d_n = 1,\ \forall n \geq 1$. (b) Suppose that $c = 1$. Show that $d_n \in \{1,5\},\ \forall n \geq 1$. (c) Show that $d_n \leq 4c + 1,\ \forall n \geq 1$.

Let $A$ be an infinite set of positive integers such that every $n \in A$ is the product of at most $1987$ prime numbers. Prove that there is an infinite set $B \subset A$ and a number $p$ such that the greatest common divisor of any two distinct numbers in $B$ is $p.$

Let $P$ be a polynomial with integer coefficients such that $P(0)=0$ and \[\gcd(P(0), P(1), P(2), \ldots ) = 1.\] Show there are infinitely many $n$ such that \[\gcd(P(n)- P(0), P(n+1)-P(1), P(n+2)-P(2), \ldots) = n.\]

Let $m,n$ are positive integers. a)Prove that $(m,n)=2\sum_{k=0}^{m-1}[\frac{kn}{m}]+m+n-mn$. b)If $m,n\geq 2$, prove that $\sum_{k=0}^{m-1}[\frac{kn}{m}]=\sum_{k=0}^{n-1}[\frac{km}{n}]$.

Find all functions $f: \mathbb{N} \to \mathbb{N}$ such that $$\gcd(f(x),y)f(xy)=f(x)f(y)$$ for all positive integers $x, y$.

Medians $AD$, $BE$, and $CF$ of triangle $ABC$ meet at $G$ as shown. Six small triangles, each with vertex at $G$, are formed. We draw the circles inscribed in triangles $AFG$, $BDG$, and $CDG$ as shown. Prove that if these three circles are all congruent, then $ABC$ is equilateral. [asy] size(200); defaultpen(fontsize(10)); pair C=origin, B=(12,0), A=(3,14), D=midpoint(B--C), E=midpoint(A--C), F=midpoint(A--B), G=centroid(A,B,C); draw(A--B--C--A--D^^B--E^^C--F); draw(incircle(C,G,D)^^incircle(G,D,B)^^incircle(A,F,G)); pair point=G; label("$A$", A, dir(point--A)); label("$B$", B, dir(point--B)); label("$C$", C, dir(point--C)); label("$D$", D, dir(point--D)); label("$E$", E, dir(point--E)); label("$F$", F, dir(point--F)); label("$G$", G, dir(7));[/asy]

In trapezoid $ABCD$, the sum of the lengths of the bases $AB$ and $CD$ is equal to the length of the diagonal $BD$. Let $M$ denote the midpoint of $BC$, and let $E$ denote the reflection of $C$ about the line $DM$. Prove that $\angle AEB=\angle ACD$.

$a$, $b$ and $c$ are positive integers with $\textrm{gcd}(a,b,c)=1$. Is it true that there exist a positive integer $n$ such that $a^k+b^k+c^k$ is not divisible by $2^n$ for all $k$?

Find all nonnegative integers $x,y,z$ such that $(x+1)^{y+1} + 1= (x+2)^{z+1}$.