Navvye/Olympiad-Problems-CSV huggingface dataset:
Problem: If the expression $\begin{pmatrix}a & c\\ d & b\end{pmatrix}$ has the value $ab-cd$ for all values of $a, b, c$ and $d$ , then the equation $\begin{pmatrix}2x & 1\\ x & x\end{pmatrix}= 3$
$\textbf{(A)}\ \text{Is satisfied for only 1 value of }x\qquad\\ \textbf{(B)}\ \text{Is satisified for only 2 values of }x\qquad\\ \textbf{(C)}\ \text{Is satisified for no values of }x\qquad\\ \textbf{(D)}\ \text{Is satisfied for an infinite number of values of }x\qquad\\ \textbf{(E)}\ \text{None of these.}$

Solution: By $\begin{pmatrix}a & c\\ d & b\end{pmatrix}=ab-cd$ , we have $2x^2-x=3$ . Subtracting $3$ from both sides, giving $2x^2-x-3=0$ . This factors to $(2x-3)(x+1)=0$ . Thus, $x=\dfrac{3}{2},-1$ , so the equation is $\boxed{2}$

Answer: B 2
Problem: The limit of $\frac {x^2-1}{x-1}$ as $x$ approaches $1$ as a limit is:
$\textbf{(A)}\ 0 \qquad \textbf{(B)}\ \text{Indeterminate} \qquad \textbf{(C)}\ x-1 \qquad \textbf{(D)}\ 2 \qquad \textbf{(E)}\ 1$

Solution: Both $x^2-1$ and $x-1$ approach 0 as $x$ approaches $1$ , using the L'Hôpital's rule, we have $\lim \limits_{x\to 1}\frac{x^2-1}{x-1} = \lim \limits_{x\to 1}\frac{2x}{1} = 2$ .
Thus, the answer is $\boxed{2}$

Answer: D 2
Problem: The limit of $\frac {x^2-1}{x-1}$ as $x$ approaches $1$ as a limit is:
$\textbf{(A)}\ 0 \qquad \textbf{(B)}\ \text{Indeterminate} \qquad \textbf{(C)}\ x-1 \qquad \textbf{(D)}\ 2 \qquad \textbf{(E)}\ 1$

Solution: The numerator of $\frac {x^2-1}{x-1}$ can be factored as $(x+1)(x-1)$ . The $x-1$ terms in the numerator and denominator cancel, so the expression is equal to $x+1$ so long as $x$ does not equal $1$ . Looking at the function's behavior near 1, we see that as $x$ approaches one, the expression approaches $\boxed{2}$

Answer: D 2
Problem: The number of diagonals that can be drawn in a polygon of 100 sides is:
$\textbf{(A)}\ 4850 \qquad \textbf{(B)}\ 4950\qquad \textbf{(C)}\ 9900 \qquad \textbf{(D)}\ 98 \qquad \textbf{(E)}\ 8800$

Solution: Each diagonal has its two endpoints as vertices of the 100-gon. Each pair of vertices determines exactly one diagonal. Therefore the answer should be $\binom{100}{2}=4950$ . However this also counts the 100 sides of the polygon, so the actual answer is $4950-100=\boxed{4850}$

Answer: A 4850
Problem: The number of diagonals that can be drawn in a polygon of 100 sides is:
$\textbf{(A)}\ 4850 \qquad \textbf{(B)}\ 4950\qquad \textbf{(C)}\ 9900 \qquad \textbf{(D)}\ 98 \qquad \textbf{(E)}\ 8800$

Solution: The formula for the number of diagonals of a polygon with $n$ sides is $n(n-3)/2$ . Taking $n=100$ , we see that the number of diagonals that may be drawn in this polygon is $100(97)/2$ or $\boxed{4850}$

Answer: A 4850
Problem: In triangle $ABC$ $AB=12$ $AC=7$ , and $BC=10$ . If sides $AB$ and $AC$ are doubled while $BC$ remains the same, then:
$\textbf{(A)}\ \text{The area is doubled} \qquad\\ \textbf{(B)}\ \text{The altitude is doubled} \qquad\\ \textbf{(C)}\ \text{The area is four times the original area} \qquad\\ \textbf{(D)}\ \text{The median is unchanged} \qquad\\ \textbf{(E)}\ \text{The area of the triangle is 0}$

Solution: If you double sides $AB$ and $AC$ , they become $24$ and $14$ respectively. If $BC$ remains $10$ , then this triangle has area $0$ because ${14} + {10} = {24}$ , so two sides overlap the third side. Therefore the answer is $\boxed{0}$

Answer: E 0
Problem: Suppose that $(a_1, b_1), (a_2, b_2), \ldots , (a_{100}, b_{100})$ are distinct ordered pairs of nonnegative integers. Let $N$ denote the number of pairs of integers $(i, j)$ satisfying $1 \le i < j \le 100$ and $|a_ib_j - a_j b_i|=1$ . Determine the largest possible value of $N$ over all possible choices of the $100$ ordered pairs.

Solution: Let's start off with just $(a_1, b_1), (a_2, b_2)$ and suppose that it satisfies the given condition. We could use $(1, 1), (1, 2)$ for example. We should maximize the number of conditions that the third pair satisfies. We find out that the third pair should equal $(a_1+a_2, b_1+b_2)$
We know this must be true: \[|a_1b_2-a_2b_1| = 1\]
So \[a_1b_2-a_2b_1 = 1\]
We require the maximum conditions for $(a_3, b_3)$ \[|a_3b_2-a_2b_3| = 1\] \[|a_3b_1-a_1b_3| = 1\]
Then one case can be: \[a_3b_2-a_2b_3 = 1\] \[a_3b_1-a_1b_3 = -1\]
We try to do some stuff such as solving for $a_3$ with manipulations: \[a_3b_2a_1-a_2b_3a_1 = a_1\] \[a_3b_1a_2-a_1b_3a_2 = -a_2\] \[a_3(a_1b_2-a_2b_1) = a_1+a_2\] \[a_3 = a_1+a_2\] \[a_3b_2b_1-a_2b_3b_1 = b_1\] \[a_3b_1b_2-a_1b_3b_2 = -b_2\] \[b_3(a_1b_2-a_2b_1) = b_1+b_2\] \[b_3 = b_1+b_2\]
We showed that 3 pairs are a complete graph; however, 4 pairs are not a complete graph. We will now show that: \[a_4 = a_1+2a_2\] \[b_4 = b_1+2b_2\] \[|a_1b_1+2a_2b_1-a_1b_1-2a_1b_2| = 1\] \[2|a_2b_1-a_1b_2| = 1\]
This is clearly impossible because $1$ is not even and also $|a_2b_1-a_1b_2| = 1$ .
The answer is as follows: \[0+1+2+\ldots+2\] $a_1$ has $0$ subtractions that follow condition while $a_2$ has $1$ and then the rest has $2$ .
There are $n$ terms, so our answer be $2n-3$ and in case of $n=100$ that means \[\boxed{197}.\] ~Lopkiloinm

Answer:  197
Problem: Suppose that $(a_1, b_1), (a_2, b_2), \ldots , (a_{100}, b_{100})$ are distinct ordered pairs of nonnegative integers. Let $N$ denote the number of pairs of integers $(i, j)$ satisfying $1 \le i < j \le 100$ and $|a_ib_j - a_j b_i|=1$ . Determine the largest possible value of $N$ over all possible choices of the $100$ ordered pairs.

Solution: We claim the answer is $197$
Study the points $(0, 0), (a_i, b_i), (a_j, b_j)$ . If we let these be the vertices of a triangle, applying shoelace theorem gives us an area of $\frac{1}{2}|0\times{b_i}+{a_i}\times{b_j}+{b_i}\times{0}-0\times{a_i}-{b_i}\times{a_j}-{b_j}\times{0} = \frac{1}{2}|a_ib_j - a_j b_i| = \frac{1}{2}$ . Therefore, the triangle formed by the points $(0, 0), (a_i, b_i), (a_j, b_j)$ must have an area of $\frac{1}{2}$
Two cases follow.
Case 1: Both $(a_i, b_i), (a_j, b_j)$ have exactly one coordinate equal to $0$ . 
Here, one point must be on the $x$ axis and the other on the $y$ axis in order for the triangle to have a positive area. For the area of the triangle to be $\frac{1}{2}$ , it follows that the points must be $(1, 0), (0, 1)$ in some order.
Case 2: At least one of $(a_i, b_i), (a_j, b_j)$ does not have exactly one coordinate equal to $0$ . Define $S[l]$ to be a list of lines such that each line in the list has some two lattice points that, with $(0, 0)$ , form a triangle with area $\frac{1}{2}$ . Note that for any such line that passes through such two lattice points, we may trivially generate infinite lattice points on the line that have nonnegative coordinates.
Note that lines $y=1$ and $x=1$ are included in $S[l]$ , because the points $(1, 1), (2, 1)$ serve as examples for $y=1$ and $(1, 1), (1, 2)$ serve as examples for $x=1$ . For the optimal construction, include the points $(1, 0)$ and all the points $(0, 1), (0, 2), (0, 3), ... , (0, 99)$ , in that order. In this case, every adjacent pair of points would count ( $98$ ), as well as picking $(0, 1)$ and a nonadjacent point ( $99$ ), so this would be $98+99=197$
To prove that this is the maximum, consider the case where some $n$ number of points were neither on $x=1$ nor on $y=1$ . In this case, we would be removing $n$ adjacent pairs and $n$ options to choose from after choosing $(0, 0)$ , resulting in a net loss of $2n$ . By having $n$ points on some other combination of lines in $S[l]$ , we would trivially have a maximum gain of $n-1$ pairs of points on the lines such that there are no lattice points between those pairs. Because these points are not on $x=1$ or $y=1$ , the altitude from a given point to the line formed by $(0, 0)$ and $(0, 1)$ and $(1, 0)$ is not $1$ , and so the area of the triangle cannot be $\frac{1}{2}$ . Thus, by not having all points on lines $x=1$ and $y=1$ , we cannot exceed the maximum of $197$ . Thus, $\boxed{197}$ is our answer.

Answer:  197
Problem: Let $a,b,c,d$ be real numbers such that $b-d \ge 5$ and all zeros $x_1, x_2, x_3,$ and $x_4$ of the polynomial $P(x)=x^4+ax^3+bx^2+cx+d$ are real. Find the smallest value the product $(x_1^2+1)(x_2^2+1)(x_3^2+1)(x_4^2+1)$ can take.

Solution: Using the hint we turn the equation into $\prod_{k=1} ^4 (x_k-i)(x_k+i) \implies P(i)P(-i) \implies (b-d-1)^2 + (a-c)^2 \implies \boxed{16}$ . This minimum is achieved when all the $x_i$ are equal to $1$

Answer:  16
Problem: problem_id
f25c446de036ffaadaf5676a0b0756b1    Let $k$ be a positive integer. Two players $A$...
f25c446de036ffaadaf5676a0b0756b1    Let $k$ be a positive integer. Two players $A$...
Name: Text, dtype: object

Solution: We claim that the minimum $k$ such that A cannot create a $k$ in a row is $\boxed{6}$

Answer:  6
Problem: problem_id
a45915bc778c3b967b94f7cee4faa46d    Find all integers $n \ge 3$ such that among an...
a45915bc778c3b967b94f7cee4faa46d    Find all integers $n \ge 3$ such that among an...
Name: Text, dtype: object

Solution: Without loss of generality, assume that the set $\{a\}$ is ordered from least to greatest so that the bounding condition becomes $a_n \le n \cdot a_1.$ Now set $b_i \equiv \frac{a_i}{a_1},$ and since a triangle with sidelengths from $\{a\}$ will be similar to the corresponding triangle from $\{b\},$ we simply have to show the existence of acute triangles in $\{b\}.$ Note that $b_1 = 1$ and for all $i$ $b_i \le n.$
Now three arbitrary sidelengths $x$ $y$ , and $z$ , with $x \le y \le z,$ will form a valid triangle if and only if $x+y>z.$ Furthermore, this triangle will be acute if and only if $x^2 + y^2 > z^2.$ However, the first inequality can actually be inferred from the second, since $x+y>z \longrightarrow x^2 + y^2 +2xy > z^2$ and $2xy$ is trivially greater than $0.$ So we just need to find all $n$ such that there is necessarily a triplet of $b$ 's for which $b_i^2 + b_j^2 > b_k^2$ (where $b_i < b_j < b_k$ ).
We now make another substitution: $c_i \equiv b_i ^2.$ So $c_1 = 1$ and for all $i$ $c_i \le n^2.$ Now we examine the smallest possible sets $\{c\}$ for small $n$ for which the conditions of the problem are not met. Note that by smallest, we mean the set whose greatest element is as small as possible. If $n=3$ , then the smallest possible set, call it $\{s_3\},$ is trivially $\{1,1,2\}$ , since $c_1$ and $c_2$ are obviously minimized and $c_3$ follows as minimal. Using this as the base case, we see inductively that in general $\{s_n\}$ is the set of the first $n$ Fibonacci numbers. To show this note that if $\{s_n\} = \{F_0, F_1, ... F_n\}$ , then $\{s_{n+1}\} = \{F_0, F_1, ... F_n, c_{n+1}\}.$ The smallest possible value for $c_{n+1}$ is the sum of the two greatest values of $\{s_n\}$ which are $F_{n-1}$ and $F_n$ . But these sum to $F_{n+1}$ so $\{s_{n+1}\} = \{F_0, F_1, ... F_{n+1}\}$ and our induction is complete.
Now since we know that the Fibonacci set is the smallest possible set which does not satisfy the conditions of the problem, then any set $\{c\}$ whose greatest term is less than $F_{n-1}$ must satisfy the conditions. And since $\{c\}$ is bounded between $1$ and $n^2$ , then the conditions of the problem are met if and only if $F_{n-1} > n^2$ . The first $n$ for which this restriction is satisfied is $n=13$ and the exponential behavior of the Fibonacci numbers ensure that every $n$ greater than $13$ will also satisfy this restriction. So the final solution set is $\boxed{13}$

Answer:  13
Problem: problem_id
a45915bc778c3b967b94f7cee4faa46d    Find all integers $n \ge 3$ such that among an...
a45915bc778c3b967b94f7cee4faa46d    Find all integers $n \ge 3$ such that among an...
Name: Text, dtype: object

Solution: Outline:
1. Define the Fibonacci numbers to be $F_1 = F_2 = 1$ and $F_k = F_{k-1} + F_{k-2}$ for $k \ge 3$
2. If the chosen $n$ is such that $F_n \le n^2$ , then choose the sequence $a_n$ such that $a_k = \sqrt{F_k}$ for $1 \le k \le n$ . It is easy to verify that such a sequence satisfies the condition that the largest term is less than or equal to $n$ times the smallest term. Also, because for any three terms $x = \sqrt{F_a}, y = \sqrt{F_b}, z = \sqrt{F_c}$ with $a<b<c$ $x^2 + y^2 = F_a + F_b \le F_{b-1} + F_b = F_{b+1} \le F_c = z^2$ , x, y, z do not form an acute triangle. Thus, all $n$ such that $F_n \le n^2$ do not work.
3. It is easy to observe via a contradiction argument that all $n$ such that $F_n > n^2$ produce an acute triangle. (If, without loss of generality, $a_n$ is an increasing sequence, such that no three (in particular, consecutive) terms form an acute triangle, then $a_2^2 \ge F_1a_1^2, a_3^2 \ge a_2^2 + a_1^2 \ge F_2a^2$ , and by induction $a_n^2 > F_na_1^2$ , a contradiction to the condition's inequality.)
4. Note that $F_{12} = 144 = 12^2$ and $F_{13} = 233 > 169 = 13^2$ . It is easily to verify through strong induction that all $n$ greater than 12 make $F_n > n^2$ . Thus, $\boxed{13}$ is the desired solution set.

Answer:  13
Problem: Find the smallest positive integer $n$ such that if $n$ squares of a $1000 \times 1000$ chessboard are colored, then there will exist three colored squares whose centers form a right triangle with sides parallel to the edges of the board.

Solution: We claim that $n = 1999$ is the smallest such number. For $n \le 1998$ , we can simply color any of the $1998$ squares forming the top row and the left column, but excluding the top left corner square.
We now show that no configuration with no colored right triangles exists for $n = 1999$ . We call a row or column filled if all $1000$ of its squares are colored. Then any of the remaining $999$ colored squares must share a column or row, respectively, with one of the colored squares in a filled row or column. These two squares, and any other square in the filled row or column, form a colored right triangle, giving us a contradiction. Hence, no filled row or column may exist.
Let $m$ be the number of columns with $1$ colored square. Then there are $1999-m$ colored squares in the remaining columns, and in each of these $< 1999-m$ columns that have a colored square must have at least two colored squares in them. These two colored squares will form a triangle with any other colored square in either of the rows containing the colored squares. Hence, each of the $1999-m$ colored squares must be placed in different rows, but as there are only $1000$ rows, the inequality $1999 - m \le 1000 \Longrightarrow m \ge 999$ holds. If $m = 1000$ , then each column only has $1$ colored square, leaving no place for the remaining $999$ , contradiction. If $m = 999$ , then each of the $1000$ rows has $1$ black square, leaving no place for the other $999$ , contradiction. Hence $n = \boxed{1999}$ is the minimal value.

Answer:  1999
Problem: In triangle $ABC$ , angle $A$ is twice angle $B$ , angle $C$ is obtuse , and the three side lengths $a, b, c$ are integers.  Determine, with proof, the minimum possible perimeter

Solution: [asy] import olympiad;  pair A, B, C, D, extensionAC; real angleABC; path braceBC;  A = (0, 0); B = (2, 0); D = (1, .5);  angleABC = atan(.5);  //y = 4x/3 and x+2y = 2 (sides AC and BC, respectively) intersect here: C = (6/11, 8/11);  braceBC = brace(C, B, .1);  label("$\mathsf{A}$", A, W); label("$\mathsf{B}$", B, E); label("$\mathsf{C}$", C, N); label("$\mathsf{D}$", D, S); label("$\mathsf{a}$", braceBC, NE); label("$\mathsf{b}$", A--C, NW); label("$\mathsf{c}$", A--B, S); label("$\mathsf{x}$", A--D, N);  draw(A--B--C--cycle); draw(A--D); draw(anglemark(C, B, A)); draw(anglemark(B, A, D)); draw(anglemark(D, A, C)); draw(braceBC); [/asy] (diagram by integralarefun)
After drawing the triangle, also draw the angle bisector of $\angle A$ , and let it intersect $\overline{BC}$ at $D$ . Notice that $\triangle ADC\sim \triangle BAC$ , and let $AD=x$ . Now from similarity, \[x=\frac{bc}{a}\] However, from the angle bisector theorem, we have \[BD=\frac{ac}{b+c}\] but $\triangle ABD$ is isosceles, so \[x=BD\Longrightarrow \frac{bc}{a}=\frac{ac}{b+c}\Longrightarrow a^2=b(b+c)\] so all sets of side lengths which satisfy the conditions also meet the boxed condition.
Notice that $\text{gcd}(a, b, c)=1$ or else we can form a triangle by dividing $a, b, c$ by their greatest common divisor to get smaller integer side lengths, contradicting the perimeter minimality. Since $a$ is squared, $b$ must also be a square because if it isn't, then $b$ must share a common factor with $b+c$ , meaning it also shares a common factor with $c$ , which means $a, b, c$ share a common factor—a contradiction. Thus we let $b = x^2, b+c = y^2$ , so $a = xy$ , and we want the minimal pair $(x,y)$
By the Law of Cosines \[b^2 = a^2 + c^2 - 2ac\cos B\]
Substituting $a^2 = b^2 + bc$ yields $\cos B = \frac{b+c}{2a} = \frac{y}{2x}$ . Since $\angle C > 90^{\circ}$ $0^{\circ} < \angle B < 30^{\circ} \Longrightarrow \sqrt{3} < \frac{y}{x} < 2$ . For $x \le 3$ there are no integer solutions. For $x = 4$ , we have $y = 7$ that works, so the side lengths are $(a, b, c)=(28, 16, 33)$ and the minimal perimeter is $\boxed{77}$

Answer:  77
Problem: In triangle $ABC$ , angle $A$ is twice angle $B$ , angle $C$ is obtuse , and the three side lengths $a, b, c$ are integers.  Determine, with proof, the minimum possible perimeter

Solution: In $\triangle ABC$ let $\angle B = \beta, \angle A = 2\beta, \angle C = 180^{\circ} - 3\beta$ . From the law of sines, we have \[\frac{a}{\sin 2\beta} = \frac{b}{\sin \beta} = \frac{c} {\sin (180^{\circ} - 3\beta)} = \frac{c}{\sin 3\beta}\] Thus the ratio \[b : a : c = \sin\beta : \sin 2\beta : \sin 3\beta\] We can simplify \[\frac{\sin 2\beta}{\sin\beta} = \frac{2\sin\beta\cos\beta}{\sin\beta} = 2\cos\beta\] Likewise, \[\frac{\sin 3\beta}{\sin\beta} = \frac{\sin 2\beta\cos\beta + \sin\beta\cos 2\beta}{\sin\beta} =  \frac{2\sin\beta\cos^2\beta + \sin\beta(\cos^2\beta - \sin^2\beta)}{\sin\beta}\] \[= {2 \cos^2 \beta + \cos^2 \beta - \sin^2 \beta} = 4\cos^2 \beta - 1\] Letting $\gamma = \cos\beta$ , rewrite \[b : a : c = 1 : 2\gamma : 4\gamma^2 - 1\]
We find that to satisfy the conditions for an obtuse triangle, $\beta \in (0^\circ, 30^\circ)$ and therefore $\gamma \in \left(\frac{\sqrt{3}}{2}, 1\right)$
The rational number with minimum denominator (in order to minimize scaling to obtain integer solutions) above $\frac{\sqrt{3}}{2}$ is $\frac{7}{8}$ , which also has a denominator divisible by 2 (to take advantage of the coefficients of 2 and 4 in the ratio and further minimize scaling).
Inserting $\gamma = \frac{7}{8}$ into the ratio, we find $b : a : c = 1 : \frac{7}{4} : \frac{33}{16}$ . When scaled minimally to obtain integer side lengths, we find \[b, a, c = 16, 28, 33\] and that the perimeter is $\boxed{77}$

Answer:  77
Problem: What is the smallest integer $n$ , greater than one, for which the root-mean-square of the first $n$ positive integers is an integer?
$\mathbf{Note.}$ The root-mean-square of $n$ numbers $a_1, a_2, \cdots, a_n$ is defined to be \[\left[\frac{a_1^2 + a_2^2 + \cdots + a_n^2}n\right]^{1/2}\]

Solution: Let's first obtain an algebraic expression for the root mean square of the first $n$ integers, which we denote $I_n$ . By repeatedly using the identity $(x+1)^3 = x^3 + 3x^2 + 3x + 1$ , we can write \[1^3 + 3\cdot 1^2 + 3 \cdot 1 + 1 = 2^3,\] \[1^3 + 3 \cdot(1^2 + 2^2) + 3 \cdot (1 + 2) + 1 + 1  = 3^3,\] and \[1^3 + 3\cdot(1^2 + 2^2 + 3^2) + 3 \cdot (1 + 2 + 3) + 1 + 1 + 1 = 4^3.\] We can continue this pattern indefinitely, and thus for any
positive integer $n$ \[1 + 3\sum_{j=1}^n j^2 + 3 \sum_{j=1}^n j^1 + \sum_{j=1}^n j^0 = (n+1)^3.\] Since $\sum_{j=1}^n j  = n(n+1)/2$ , we obtain \[\sum_{j=1}^n j^2 = \frac{2n^3 + 3n^2 + n}{6}.\] Therefore, \[I_n = \left(\frac{1}{n} \sum_{j=1}^n j^2\right)^{1/2} = \left(\frac{2n^2 + 3n + 1}{6}\right)^{1/2}.\] Requiring that $I_n$ be an integer, we find that \[(2n+1 ) (n+1) = 6k^2,\] where $k$ is an integer. Using the Euclidean algorithm, we see that $\gcd(2n+1, n+1) = \gcd(n+1,n) = 1$ , and so $2n+1$ and $n+1$ share no
factors greater than 1. The equation above thus implies that $2n+1$ and $n+1$ is each proportional to a perfect square. Since $2n+1$ is
odd, there are only two possible cases:
Case 1: $2n+1 = 3 a^2$ and $n+1 = 2b^2$ , where $a$ and $b$ are integers.
Case 2: $2n+1 = a^2$ and $n+1 = 6b^2$
In Case 1, $2n+1 = 4b^2 -1 = 3a^2$ . This means that $(4b^2 -1)/3 = a^2$ for some integers $a$ and $b$ . We proceed by checking whether $(4b^2-1)/3$ is a perfect square for $b=2, 3, 4, \dots$ . (The solution $b=1$ leads to $n=1$ , and we are asked to find a value of $n$ greater than 1.) The smallest positive integer $b$ greater than 1 for
which $(4b^2-1)/3$ is a perfect square is $b=13$ , which results in $n=337$
In Case 2, $2n+1 = 12b^2 - 1 = a^2$ . Note that $a^2 = 2n+1$ is an odd square, and hence is congruent to $1 \pmod 4$ . But $12b^2 -1 \equiv 3 \pmod 4$ for any $b$ , so Case 2 has no solutions.
Alternatively, one can proceed by checking whether $12b^2 -1$ is a perfect square for $b=1, 2 ,3 ,\dots$ . We find that $12b^2 -1$ is not a perfect square for $b = 1,2, 3, ..., 7, 8$ , and $n= 383$ when $b=8$ . Thus the smallest positive integers $a$ and $b$ for which $12b^2- 1 = a^2$ result in a value of $n$ exceeding the value found in Case 1, which was 337.
In summary, the smallest value of $n$ greater than 1 for which $I_n$ is an integer is $\boxed{337}$

Answer:  337
Problem: Let $a_1,a_2,a_3,\cdots$ be a non-decreasing sequence of positive integers. For $m\ge1$ , define $b_m=\min\{n: a_n \ge m\}$ , that is, $b_m$ is the minimum value of $n$ such that $a_n\ge m$ . If $a_{19}=85$ , determine the maximum value of $a_1+a_2+\cdots+a_{19}+b_1+b_2+\cdots+b_{85}$

Solution: We create an array of dots like so: the array shall go out infinitely to the right and downwards, and at the top of the $i$ th column we fill the first $a_i$ cells with one dot each. Then the $19$ th row shall have 85 dots. Now consider the first 19 columns of this array, and consider the first 85 rows. In row $j$ , we see that the number of blank cells is equal to $b_j-1$ . Therefore the number of filled cells in the first 19 columns of row $j$ is equal to $20-b_j$
We now count the number of cells in the first 19 columns of our array, but we do it in two different ways. First, we can sum the number of dots in each column: this is simply $a_1+\cdots+a_{19}$ . Alternatively, we can sum the number of dots in each row: this is $(20-b_1)+\cdots +(20-b_{85})$ . Since we have counted the same number in two different ways, these two sums must be equal. Therefore \[a_1+\cdots +a_{19}+b_1+\cdots +b_{85}=20\cdot 85=\boxed{1700}.\] Note that this shows that the value of the desired sum is constant.

Answer:  1700
Problem: In the polynomial $x^4 - 18x^3 + kx^2 + 200x - 1984 = 0$ , the product of $2$ of its roots is $- 32$ . Find $k$

Solution: Using Vieta's formulas, we have:
\begin{align*}a+b+c+d &= 18,\\ ab+ac+ad+bc+bd+cd &= k,\\ abc+abd+acd+bcd &=-200,\\ abcd &=-1984.\\ \end{align*}
From the last of these equations, we see that $cd = \frac{abcd}{ab} = \frac{-1984}{-32} = 62$ . Thus, the second equation becomes $-32+ac+ad+bc+bd+62=k$ , and so $ac+ad+bc+bd=k-30$ . The key insight is now to factor the left-hand side as a product of two binomials: $(a+b)(c+d)=k-30$ , so that we now only need to determine $a+b$ and $c+d$ rather than all four of $a,b,c,d$
Let $p=a+b$ and $q=c+d$ . Plugging our known values for $ab$ and $cd$ into the third Vieta equation, $-200 = abc+abd + acd + bcd = ab(c+d) + cd(a+b)$ , we have $-200 = -32(c+d) + 62(a+b) = 62p-32q$ . Moreover, the first Vieta equation, $a+b+c+d=18$ , gives $p+q=18$ . Thus we have two linear equations in $p$ and $q$ , which we solve to obtain $p=4$ and $q=14$
Therefore, we have $(\underbrace{a+b}_4)(\underbrace{c+d}_{14}) = k-30$ , yielding $k=4\cdot 14+30 = \boxed{86}$

Answer:  86