## Problem 4.1.5

a. If $a$ and $b$ are consecutive integers, show that $a^2+b^2+(ab)^2$ is a perfect square.

b. If $2a$ is the harmonic mean of $b$ and $c$, show that the sum of the squares of the three number $a,b,$ and c is the square of a rational number.

c. If $N$ differs from two successive squares between which it lies by $x$ and $y$ respectively, prove that $N-xy$ is a square.

### Solution

a. If $a=n$ and $b=n+1$, we have

\begin{align*} a^2+b^2+(ab)^2 &= n^2 + (n+1)^2 + n^2(n+1)^2 \\ &= n^4 + 2n^3 + 3n^2 + 2n + 1 \\ &= (n^2+n+1)^2 \end{align*}

b. We have

\begin{align*} a^2+b^2+c^2 &= \frac{b^2c^2}{(b+c)^2} + b^2 + c^2 \\ &= \frac{b^4+c^4+3b^2c^2+2b^3c+2c^3b}{(b+c)^2} \\ &= \left(\frac{b^2+c^2+bc}{b+c}\right)^2 \end{align*}

c. Let $x=N-n^2$ and $y=(n+1)^2-N$, we have

\begin{align*} N-xy &=N-(N-n^2)((n+1)^2-N)\\ &= n^2(n+1)^2 +N^2 + N(1 - (n+1)^2-n^2)\\ &= (N - n(n+1))^2 \end{align*}

## Problem {4.1.7}

Suppose that an integer $n$ is the sum of two triangular numbers,

\begin{align*} n= \frac{a^2+a}{2} + \frac{b^2+b}{2} \end{align*}

write $4n+1$ as the sum of two squares, $4n+1=x^2+y^2$, and show how $x$ and $y$ can be expressed in terms of $a$ and $b$.

Show that conversely, if $4n+1=x^2+y^2$, the $n$ is the sum of two triangular numbers.

### Solution

We have,

\begin{align*} 4n+1 &= 2(a^2+a)+2(b^2+b)+1\\ &= (a+b+1)^2 + (a-b)^2 \end{align*}

If $4n+1=x^2+y^2$, we have

\begin{align*} n &= \frac{x^2+y^2-1}{4} \\ &= \frac{(x+y-1)}{2}\frac{(x+y+1)}{2}/2 + \frac{(x-y-1)}{2}\frac{(x-y+1)}{2}/2 \end{align*}

## Problem 4.1.8

Let $N$ be the number which when expressed in decimal notation consists of $91$ ones:

\begin{align*} N = \underbrace{111\dots1}_{91}. \end{align*}

Show that $N$ is a composite number.

### Solution

We have

\begin{align*} N = \frac{10^{91}-1}{10-1} = \frac{(10^7)^{13}-1}{10-1} \end{align*}

As $a^n-b^n$ is divisible by $a-b$, the numerator is divisible by $10^7-1=9\cdot1111111$. As $N$ is divisible by $1111111$, $N$ is a composite number.

## Problem 4.2.8

What is the greatest common divisor of $x^n-1$ and $x^m-1$?

### Solution

The greatest common divisor of $x^n-1$ and $x^m-1$ is $x^{gcd(m,n)}-1$ as $x^n-1$ is divisible $x^k-1$ whenever $k$ divides $n$.

## Problem 4.2.9

Let $f(x)$ be a polynomial leaving a remained $A$ when divided by $x-a$ and the remainder $B$ when divided $x-b$, $a\neq b$. Find the remainder when $f(x)$ is divided by $(x-a)(x-b)$.

### Solution

We have

\begin{align*} f(x) = q(x)(x-a)(x-b) + cx+d \\ \implies f(a) = A = ca+d \wedge f(b) = B = cb+d \end{align*}

Solving for $c$ and $d$ we get the remainder when $f(x)$ is divided by $(x-a)(x-b)$ as

\begin{align*} \frac{A-B}{a-b}x + \frac{bA-aB}{b-a} \end{align*}

## Problem 4.2.10

Show that $x^{4a}+x^{4b+1}+x^{4c+2}+x^{4d+3}$,a,b,c,d positive integers is divisible by $x^3+x^2+x+1$.

### Solution

Let $f(x)= x^{4a}+x^{4b+1}+x^{4c+2}+x^{4d+3}$.

We have $f(-1)=0,f(i)=0$ and $f(-i)=0$, therefore by the Factor theorem,we see that $(x+1)$, $(x-i)$ and $(x+i)$ are factors of $f(x)$. Therefore $f(x)$ is divisible by $(x+1)(x-i)(x+i)=1+x+x^2+x^3$.

## Problem 4.2.11

Show that the polynomials $(cos\theta+xsin\theta)^n-cos(n\theta)-xsin(n\theta)$ is divisible by $x^2+1$.

### Solution

Let $f(x)= (cos\theta+xsin\theta)^n-cos(n\theta)-xsin(n\theta)$.We have $f(i)=0$ and $f(-i)=0$ using De Moivre’s Theorem. Using the Factor theorem,we get that $(x+i)$ and $(x-i)$ are factors of $f(x)$. Therefore $f(x)$ is divisible by $(x-i)(x+i)=1+x^2$.

## Problem 4.2.12

For what $n$ is the polynomial $1+x^2+x^4+\dots+x^{2n-2}$ divisible by the polynomial $1+x^2+x^3+\dots+x^{n-1}$.

### Solution

We have

\begin{align*} 1+x^2+x^4+\dots+x^{2n-2} &= \frac{x^{2n}-1}{x^2-1} \\ 1+x^2+x^3+\dots+x^{n-1} &= \frac{x^{2n}-1}{x^2-1} \end{align*}

Dividing the first expression by the second we get

\begin{align*} \frac{(x^{2n}-1)(x-1)}{(x^2-1)(x^n-1)} = \frac{x^n+1}{x+1} \end{align*}

$x^n+1$ is divisible by $x+1$ when $n$ is odd, therefore the polynomial $1+x^2+x^4+\dots+x^{2n-2}$ divisible by the polynomial $1+x^2+x^3+\dots+x^{n-1}$ when $n$ is odd.

## Problem 4.2.13

A real number is called \emph{algebraic} if it is a zero of a polynomial with integer coefficients.

a. Show that $\sqrt{2}+\sqrt{3}$ is algebraic.

### Solution

a. We have

\begin{align*} x - \sqrt{2} - \sqrt{3} &= 0\\ \implies x^2 + 2 -2\sqrt{2}x &= 3 \\ \implies x^4-2x^2+1 &= 8x^2 \\ \implies x^4 -10x^2+1 &= 0 \end{align*}

As $\sqrt{2}+\sqrt{3}$ is a root of the equation $x^4 -10x^2+1 = 0$ with integer coefficients it is algebraic.

## Problem 4.2.17

a. Suppose $f(x)$ is a polynomial over the real numbers and $g(x)$ is a divisor of $f(x)$ and $f'(x)$. Show that $(g(x))^2$ divides $f(x)$.

b. Use the idea of part (a) to factor $x^6+x^4+3x^2+2x+2$ into a product of irreducibles over the complex numbers.

### Solution

a. We have $f(x)=g(x)q(x)$. From this we have, $f'(x)=g(x)q'(x)+g'(x)q(x)$. As $g(x)$ is also a divisor of $f'(x)$, we can easily see that $q(x)$ should be divisible by $g(x)$ as $g(x)$ cannot divide $g'(x)$ which is a polynomial of lower degree than $g(x)$. Therefore, $(g(x))^2$ divides $f(x)$.

b. Let $f(x)=x^6+x^4+3x^2+2x+2$, we have $f'(x)=6x^5+4x^3+6x+2$.

## Problem 4.2.18

Determine all pairs of positive integers $(m,n)$ such that $1+x^n+x^{2n}+\cdots+x^{mn}$ is divisible by $1+x+x^2+\dots+x^m$.

### Solution

Denote the first and larger polynomial to be $f(x)$ and the second one to be $g(x)$. We could instead consider $f(x)$ modulo $g(x)$. Notice that $x^{m+1} = 1 \pmod {g(x)}$, and thus we can reduce the exponents of $f(x)$ to their equivalent modulo $m+1$. We want the resulting $h(x)$ with degree less than $m+1$ to be equal to $g(x)$ (of degree $m$), which implies that the exponents of $f(x)$ must be all different modulo $m+1$. This can only occur if and only if $gcd(m+1, n) = 1$.

## Problem 4.3.13

Show that

\begin{align*} (1+x)^n-x(1+x)^n + x^2(1+x)^n - \dots x^k(1+x)^n \\ = (1+x)^{n-1} (1-(-x)^{k+1}), \end{align*}

and use this identity to prove that

\begin{align*} {n-1 \choose k}= {n \choose k}-{n \choose k-1}+\cdots \pm {n \choose 0} \end{align*}

### Solution

We have

\begin{align*} (1+x)^n-x(1+x)^n + x^2(1+x)^n - \dots x^k(1+x)^n \\ = (1+x)^n(1-x+x^2-\dots\pm x^k) \\ = (1+x)^n \frac{(1 - (-x)^{-k+1})}{1-(-x)} \\ = (1+x)^{n-1} (1-(-x)^{k+1}) \end{align*}

The coefficient of $x^k$ on the left hand side is

\begin{align*} {n \choose k}-{n \choose k-1}+\cdots \pm {n \choose 0} \end{align*}

as we only need the term $x^{k-i}$ from $(1+x)^n$ from the $i^{th}$ term.

The coefficient of $x^k$ on the right hand side is

\begin{align*} {n-1 \choose k} \end{align*}

## Problem 4.3.19

a. Solve the equation $x^3-3x^2+4=0$, given that two of its roots are equal.

b. Solve the equation $x^3-9x^2+23x-15=0$, given that its roots are in arithmetical progression.

### Solution

a. Let $f(x)= x^3-3x^2+4$. As $f(x)=0$ has two equal roots, $f(x)=0$ and $f'(x)=0$ share that root. The roots of $f'(x)=3x^2-6x=0$ are $x=0$ and $x=2$. As $x=0$ is not a root of $f(x)=0$, $x=2$ is a common root of $f(x)$ and $f'(x)$.As the product of the roots of $f(x)=0$ is $-4$, the roots of $f(x)=0$ are $-1,2$ and $2$.

b. Let $a-d,a,a+d$ be the roots of $x^3-9x^2+23x-15=0$. We have sum of the roots is $3a=9$ and the product of the roots is $3(9-d^2)=15$. Therefore, the roots of the equation are $1,3$ and $5$.

## Problem 4.3.20

Given $r,s,t$ are the roots of $x^3+ax^2+bx+c=0$,

a. Evaluate $1/r^2+1/s^2+1/t^2$, provided that $c \neq 0$.

b. Find a polynomial whose roots are $r^2,s^2,t^2$

### Solution

a. Let $f(x)=x^3+ax^2+bx+c$.As $c \neq 0$, none of the roots of $f(x)=0$ can be zero.We now need to find $g$ such that $y=1/z^2$ is a root of $g(y)=0$ where $z$ is the root of $f(x)=0$.Therefore, $1/r^2+1/s^2+1/t^2$ will be the sum of the roots of $g(y)=0$.We have $f(1/\sqrt{y})=0$, which means

\begin{align*} (\frac{1}{\sqrt{y}})^3 + a(\frac{1}{\sqrt{y}})^2+ b(\frac{1}{\sqrt{y}}) + c &= 0 \\ \implies c^2y^3 +y^2(2ac-b^2)+y(a^2-2b)-1 &=0 \end{align*}

Therefore, $1/r^2+1/s^2+1/t^2 = b^2-2ac$.

b. We now need to find $h(y)$ such that $y=z^2$ is a root of $h(y)=0$ where $z$ is the root of $f(x)=0$. We have $f(\sqrt{y})=0$, which means

\begin{align*} \sqrt{y}^3 + a\sqrt{y}^2+ b\sqrt{y} + c &= 0 \\ \implies y^3 +y^2(2b-a^2)+y(b^2-2ac)-c^2 &=0 \end{align*}