If $\frac{1}{a} + \frac{1}{b} = \frac{1}{c}$, where $a,b,c$ are positive integers with no common factor, prove that $(a +b)$ is a square.

Suppose $a$, $b$, and $c$ are positive integers such that \[\frac{a}{14}+\frac{b}{15}=\frac{c}{210}.\] Which of the following statements are necessarily true? I. If $\gcd(a,14)=1$ or $\gcd(b,15)=1$ or both, then $\gcd(c,210)=1$. II. If $\gcd(c,210)=1$, then $\gcd(a,14)=1$ or $\gcd(b,15)=1$ or both. III. $\gcd(c,210)=1$ if and only if $\gcd(a,14)=\gcd(b,15)=1$. $\textbf{(A)}~\text{I, II, and III}\qquad\textbf{(B)}~\text{I only}\qquad\textbf{(C)}~\text{I and II only}\qquad\textbf{(D)}~\text{III only}\qquad\textbf{(E)}~\text{II and III only}$

Let $S$ be an infinite set of positive integers, such that there exist four pairwise distinct $a,b,c,d \in S$ with $\gcd(a,b) \neq \gcd(c,d)$. Prove that there exist three pairwise distinct $x,y,z \in S$ such that $\gcd(x,y)=\gcd(y,z) \neq \gcd(z,x)$.

Let $\mathbb N$ denote the set of positive integers. Find all functions $f: \mathbb{N} \to \mathbb{N}$ such that: (i) The greatest common divisor of the sequence $f(1), f(2), \dots$ is $1$. (ii) For all sufficiently large integers $n$, we have $f(n) \neq 1$ and \[ f(a)^n \mid f(a+b)^{a^{n-1}} - f(b)^{a^{n-1}} \] for all positive integers $a$ and $b$. [i]Proposed by Yang Liu[/i]

For a finite set $A$ of positive integers, a partition of $A$ into two disjoint nonempty subsets $A_1$ and $A_2$ is $\textit{good}$ if the least common multiple of the elements in $A_1$ is equal to the greatest common divisor of the elements in $A_2$. Determine the minimum value of $n$ such that there exists a set of $n$ positive integers with exactly $2015$ good partitions.

The integers $a_0, a_1, a_2, a_3,\ldots$ are defined as follows: $a_0 = 1$, $a_1 = 3$, and $a_{n+1} = a_n + a_{n-1}$ for all $n \ge 1$. Find all integers $n \ge 1$ for which $na_{n+1} + a_n$ and $na_n + a_{n-1}$ share a common factor greater than $1$.

For a positive integer number $n$ we denote $d(n)$ as the greatest common divisor of the binomial coefficients $\dbinom{n+1}{n} , \dbinom{n+2}{n} ,..., \dbinom{2n}{n}$. Find all possible values of $d(n)$

Determine all pairs $ (n,p)$ of positive integers, where $ p$ is prime, such that $ 3^p\minus{}np\equal{}n\plus{}p$.

Let $P(x) = x^2 - 20x - 11$. If $a$ and $b$ are natural numbers such that $a$ is composite, $\gcd(a, b) = 1$, and $P(a) = P(b)$, compute $ab$. Note: $\gcd(m, n)$ denotes the greatest common divisor of $m$ and $n$. [i]Proposed by Aaron Lin [/i]

Let $n$ be a positive integer. Let $S$ be a set of $n$ positive integers such that the greatest common divisors of all nonempty sets of $S$ are distinct. Determine the smallest possible number of distinct prime divisors of the product of the elements of $S$.

Find all triples of natural numbers $ a $, $ b $, $ c $ such that $$ \gcd (a ^ 2, b ^ 2) + \gcd (a, bc) +\gcd (b, ac) +\gcd (c, ab) = 239 ^ 2 = ab + c . $$

Given $n \ge 3$ positive integers not exceeding $100$, let $d$ be their greatest common divisor. Show that there exist three of these numbers whose greatest common divisor is also equal to $d$.

Let $ S$ be a set of rational numbers such that (a) $ 0\in S;$ (b) If $ x\in S$ then $ x\plus{}1\in S$ and $ x\minus{}1\in S;$ and (c) If $ x\in S$ and $ x\notin\{0,1\},$ then $ \frac{1}{x(x\minus{}1)}\in S.$ Must $ S$ contain all rational numbers?

Let $a_1,a_2,\dots, a_n$ be positive integers with product $P,$ where $n$ is an odd positive integer. Prove that $$\gcd(a_1^n+P,a_2^n+P,\dots, a_n^n+P)\le 2\gcd(a_1,\dots, a_n)^n.$$ [i]Proposed by Daniel Liu[/i]

Suppose $ \,G\,$ is a connected graph with $ \,k\,$ edges. Prove that it is possible to label the edges $ 1,2,\ldots ,k\,$ in such a way that at each vertex which belongs to two or more edges, the greatest common divisor of the integers labeling those edges is equal to 1. [b]Note: Graph-Definition[/b]. A [b]graph[/b] consists of a set of points, called vertices, together with a set of edges joining certain pairs of distinct vertices. Each pair of vertices $ \,u,v\,$ belongs to at most one edge. The graph $ G$ is connected if for each pair of distinct vertices $ \,x,y\,$ there is some sequence of vertices $ \,x \equal{} v_{0},v_{1},v_{2},\cdots ,v_{m} \equal{} y\,$ such that each pair $ \,v_{i},v_{i \plus{} 1}\;(0\leq i < m)\,$ is joined by an edge of $ \,G$.

Do there exist a positive integer $k$ and a non-constant sequence $a_1, a_2, a_3, ...$ of positive integers such that $a_n = gcd(a_{n+k}, a_{n+k+1})$ for all positive integers $n$?

Let $T$ be a non-empty finite subset of positive integers $\ge 1$. A subset $S$ of $T$ is called [b]good [/b] if for every integer $t\in T$ there exists an $s$ in $S$ such that $gcd(t,s) >1$. Let \[A={(X,Y)\mid X\subseteq T,Y\subseteq T,gcd(x,y)=1 \text{for all} x\in X, y\in Y}\] Prove that : $a)$ If $X_0$ is not [b]good[/b] then the number of pairs $(X_0,Y)$ in $A$ is [b]even[/b]. $b)$ the number of good subsets of $T$ is [b]odd[/b].

What is the maximum number of primes that divide both the numbers $n^3+2$ and $(n+1)^3+2$ where $n$ is a positive integer? $ \textbf{(A)}\ 3 \qquad\textbf{(B)}\ 2 \qquad\textbf{(C)}\ 1 \qquad\textbf{(D)}\ 0 \qquad\textbf{(E)}\ \text{None of above} $

Show that for any positive integers $a$ and $b$, the number \[n=\mathrm{LCM}(a,b)+\mathrm{GCD}(a,b)-a-b\] is an even non-negative integer. [i]Proposer: Nanang Susyanto[/i]

Let $a$ and $b$ be positive integers such that $\text{gcd}(a, b) + \text{lcm}(a, b)$ is a multiple of $a+1$. If $b \le a$, show that $b$ is a perfect square.

$100$ distinct natural numbers $a_1, a_2, a_3, \ldots, a_{100}$ are written on the board. Then, under each number $a_i$, someone wrote a number $b_i$, such that $b_i$ is the sum of $a_i$ and the greatest common factor of the other $99$ numbers. What is the least possible number of distinct natural numbers that can be among $b_1, b_2, b_3, \ldots, b_{100}$?

For each positive integer $ n$, let $ f(n)$ denote the greatest common divisor of $ n!\plus{}1$ and $ (n\plus{}1)!$. Find, without proof, a formula for $ f(n)$.

Prove that the expression \[ \dfrac {\text {gcd}(m, n)}{n} \dbinom {n}{m} \] is an integer for all pairs of integers $ n \ge m \ge 1 $.

The symbols $ (a,b,\ldots,g)$ and $ [a,b,\ldots,g]$ denote the greatest common divisor and least common multiple, respectively, of the positive integers $ a,b,\ldots,g$. For example, $ (3,6,18)\equal{}3$ and $ [6,15]\equal{}30$. Prove that \[ \frac{[a,b,c]^2}{[a,b][b,c][c,a]}\equal{}\frac{(a,b,c)^2}{(a,b)(b,c)(c,a)}.\]

For every positive integer $n$, define the number of non-empty subsets $\mathcal N\subseteq \{1,\ldots ,n\}$ such that $\gcd(n\in\mathcal N)=1$. Show that $f(n)$ is a perfect square if and only if $n=1$.