• Prove that $ {(x+y)}^n-x^n-y^n$ is divisible by $ xy(x+y) \times (x^2+xy+y^2)$ if $ n$ is an odd number not divisible by $ 3$ .
  • Prove that $ {(x+y)}^n-x^n-y^n$ is divisible by $ xy(x+y) \times {(x^2+xy+y^2)}^2$ if $ n \equiv \pmod{6}1$


1.Considering the given expression as a polynomial in $ y$ , let us put $ y=0 $ . We see that at $ y=0 $ the polynomial vanishes (for any $ x$ ). Therefore our polynomial is divisible by $ y$ . Similarly, it is divisible by $ x$ as well. Thus the polynomial is divisible by $ xy$ .
To prove that it is divisible by $ x+y $ , put $ x+y=0 \ {or} \ y=-x $ . It is evident that for odd n we have : $ {(x+(-x)}^n-x^n-{(-x)}^n = 0 $ for $ y=-x $ .
Consequently, our polynomial is divisible by $ x+y $ . It only remains to prove the divisibility of the polynomial by $ x^2 +xy+y^2$ , which also be written as $ (y-x\epsilon)(y-x{\epsilon}^2 ) $ where $ \epsilon^2+\epsilon+1=0 $ .
For this purpose it only remains to replace $ y $ first by $ x \epsilon $ and then by $ x\epsilon^2 $ to make sure that with these substitutions the polynomial vanishes. Since, by hypothesis, $ n$ is not divisible by 3, it follows that $ n=3l+1 \ or \ 3l+2 $ , for every $ l \in \mathbb{Z} $ , in which $ 3l+1$ is not acceptable since $ n$ is odd from the problem. At $ y=x\epsilon $ the polynomial attains the following value
$ {(x+x\epsilon)}^n-x^n-{(x\epsilon)}^n=x^n [{(1+\epsilon)}^n-1-\epsilon^n] \\ =x^n {(-\epsilon^2)}^n -1 -\epsilon^n …. $ since ($ 1+\epsilon + \epsilon^2=0 $ ) substituting $ n=3l+2 $ we get
$ 1+\epsilon+\epsilon^2 =0 $
Likewise we prove that at $ y=x\epsilon^2$ the polynomial vanishes as well, and consequently, its by divisibility by $ xy(x+y) \times (x^2+xy+y^2) $ is proved.

2.To prove the second statement, let us proceed as follows. Let the quantities $ {-x, -y, \, and \, x+y} $ be the roots of a cubic equation $ X^3-rX^2-pX-q=0 $ . Then by virtue of the known relations between the roots of an equation and its coefficients we have $ r=-x-y-(x+y)=0 \\ -p=xy-x(x+y)-y(x+y)$ or $ p=x^2+xy+y^2$ and $ q=xy(x+y)$ .
Thus, $ -x, \, -y \, x+y$ are the roots of the equation $ X^3-pX-q=0 $ where $ p=x^2+xy+y^2$ and $ q=xy(x+y) $
Put $ {(-x)}^n-{(-y)}^n+{(x+y)}^n=S_n$ . Among successive values of $ S_n$ , there exist the relationship $ S_{n+3}=pS_{n+1}+qS_n$ ,: $ S_1$ being equal to zero.
Let us prove that $ S_n$ is divisible by $ p^2$ if $ n \equiv 1 \pmod{6}$ using the method of mathematical induction. Suppose $ S_n $ is divisible by $ p^2 $ and prove that then $ S_{n+6} $ is also divisible by $ p^2$ .
So, using this relation we get that
$ S_{n+6}=p(pS_{n+2} + qS_{n+1}) + q(pS_{n+1}+qS_n) \\ =p^2S_{n+2}+2pqS_{n+1}+q^2S_n$ .
Since, by supposition, $ S_n$ is divisible by $ p^2$ , it suffices to prove that $ S_{n+1}$ is divisible by $ p$ . Thus we only have to prove than $ S_n={(x+y)}^n+(-x)^n+(-y)^n$ is divisible by $ p=x^2+xy+y^2$ if $ n \equiv 2 \pmod{6}$ , we easily prove our assertion. And so, assuming that $ S_n$ is divisible by $ p^2$ , we have proved that (from induction) $ S_{n+6}$ is also divisible by $ p^2$ . Consequently $ S_n ={(x+y)}^n+(-x)^n+(-y)^n={(x+y)}^n-x^n-y^n$ for any $ n \equiv 1 \pmod{6}$ is divisible by $ p^2={(x^2+xy+y^2)}^2 $ .
Now it only remains to prove its divisibility by $ x+y $ and by $ xy$ , which is quite elementary.



Feel free to ask questions, send feedback and even point out mistakes. Great conversations start with just a single word. How to write better comments?
Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

You May Also Like

Fermat Numbers

Fermat Number, a class of numbers, is an integer of the form $ F_n=2^{2^n} +1 \ \ n \ge 0$ . For example: Putting $ n := 0,1,2 \ldots$ in $ F_n=2^{2^n}$ we get $ F_0=3$ , $ F_1=5$ , $ F_2=17$ , $ F_3=257$ etc. Fermat observed that all the integers $ F_0, F_1, F_2, F_3, \ldots$ were prime…
Read More

Abel Prize Laureates

Abel prize is one of the most prestigious awards given for outstanding contribution in mathematics, often considered as the Nobel Prize of Mathematics. Niels Henrik Abel Memorial fund, established on 1 January 2002, awards the Abel Prize for outstanding scientific work in the field of mathematics. The prize amount is 6 million NOK (about 1010000 USD) and was awarded for the first…

Hopalong Orbits Visualizer: Stunning WebGL Experiment

Just discovered Barry Martin’s Hopalong Orbits Visualizer — an excellent abstract visualization, which is rendered in 3D using Hopalong Attractor algorithm, WebGL and Mrdoob’s three.js project. Hop to the source website using your desktop browser (with WebGl and Javascript support) and enjoy the magic. PS: Hopalong Attractor Algorithm Hopalong Attractor predicts the locus of points in 2D using this algorithm…

Happy Holi! : The Village Tour

Holi, the festival of colors, was celebrated this year on 27th and 28th of March all over India. I decided to move to my own village, Kasturwa and then to Surya’s Village, Shiv Patti, on this occasion. Here are some images from the events  taken with my Nokia device, which I thought were worth sharing. Happy Holi! ENJOY READING! Err……
Read More

What’s the question, if the answer is ‘No!’

Infinitely many answers questions are possible to the answer, “No”. So, our real task should be to find one of THOSE many, which seems to be a perfect one. A simple and the first ever logical approach of giving answers to a question is to derive answers from the question, that is, replace some words of the question with reasonable ones and…

The Cattle Problem

This is a famous problem of intermediate analysis, also known as ‘Archimedes’ Cattle Problem Puzzle’, sent by Archimedes to Eratosthenes as a challenge to Alexandrian scholars. In it one is required to find the number of bulls and cows of each of four colors, the eight unknown quantities being connected by nine conditions. These conditions ultimately form a Pell equation…