# Abû al-Wafâ’ al-Buzjanî’s doodle

This beautiful doodle was published by google in the Persian and Arabic countries last 10th June because in 10th June 940 the great Abû al-Wafâ’ al-Buzjanî was born in Persia. Since 959, he worked in the Caliph’s court in Baghdad among other distinguished mathematicians and scientists who remained in the city after Sharâf al-Dawlâh became the new caliph in 983. He continued to support mathematics and astronomy and built a new observatory in the gardens of his palace in Baghdad (June 988) which included a quadrant over 6 metres long and a sextant of 18 metres.

Abû al-Wafâ’ wrote commentaries on works of Euclid, Ptolemy, Diophantus and al-Khwârizmî, and his works were very important in the developement of Trigonometry and Astronomy.

# Fermat’s theorem

Another of the important equations which stands out in the main entrance of Cosmocaixa in Barcelona is Fermat’s last theorem:

Fermat was reading Diophantus’ *Arithmetic* about the pythagorean triples *x*^{2} + *y*^{2} = *z*^{2} in 1637 when he noticed immediately that *n = *2 was the only case which satisfies the equation *x ^{n} + y^{n} = z^{n}*. Then, he wrote in the margin of his edition of Diophantus’ work:

it is impossible to separate a cube into two cubes, or a fourth power into two fourth powers, or in general, any power higher than the second, into two like powers. I have discovered a truly marvelous proof of this, which this margin is too narrow to contain

Probably, Fermat was only able to prove the new theorem for *n* = 4 using his proof by infinite descent: Fermat proved that there are not three numbers *x, y, z* such that *x*^{4} + *y*^{4} = *z*^{2} . First of all, we can suppose that *x, y, z* are co-prime from (*x*^{2}*)*^{2} + (*y*^{2}*)*^{2} = *z*^{2}. If <*x,y,z> =* *d*, then we can divide all the equation by *d*^{2} and we’ll have another equation (*x*^{2}*)*^{2} + (*y*^{2}*)*^{2} = *z*^{2} with <*x,y,z> =* 1.

Now, from the solution of the Pythagorean triples, there are *p*, *q* such that *x*^{2} = 2*pq*, *y*^{2} = *p*^{2} – *q*^{2} and *z* = *p*^{2} + *q*^{2}.

We can observe that *y*^{2} = *p*^{2} – *q*^{2} implies that *p*^{2} = *q*^{2} – *q*^{2} is another Pythagorean triple so there are *u*, *v* co-prime such that *q* = 2*uv*, *y* = *u*^{2} – *v*^{2} and *p* = *u*^{2} + *v*^{2}.

So, *x*^{2} = 2*pq* = 2(*u*^{2} + *v*^{2})(2*uv*) = 4(*uv*)(*u*^{2} + *v*^{2}). Since *<p,q> = *1, we know that <*uv, u^{2} + v^{2}> = *1 and since their product by 4 is a perfect square, they must be perfect squares too. So there exists

*a < p*such that

*a*=

^{2}*=*

*u*^{2}+*v*^{2 }*p.*

Finally, if we had (*x*^{2}*)*^{2} + (*y*^{2}*)*^{2} = *z*^{2} , we have obtain *p* and *q* co-prime with *z* = *p*^{2} + *q*^{2}. Then it is possible to obtain another pair *u* and *v* co-prime with *p *= * u^{2} + v^{2 }*and

*p < z, u < p*and

*v < q*. So we can iterate this algorithmic procedure so we’ll obtain a set of pairs of natural numbers each of them lower than the previous and this fact is false, since we’d have an infinite decreasing succession of natural numbers without end!

Nobody accepts that Fermat could have known any other case apart of *n =* 4! In 1753, Leonhard Euler wrote a letter to Christian Goldbach telling him that he had proved the case *n = *3 but the demonstration that he published in his *A**lgebra* (1770) was wrong. He tried to find integers *p, q, z* such that (*p*^{2} + 3*q*^{2}) = *z*^{3 }and he found that:

*p* = *a*^{3} – 9*ab*^{2}, *q* = 3(*a*^{2}*b* – *b*^{3}) ⇒ *p*^{2} + 3*q*^{2} = (*a*^{2} + 3*b*^{2})^{3}

He worked with numbers of the form * a + b√-*3 to find two new numbers

*a*and

*b*less than

*p*and

*q*such that

*p*

^{2}+ 3

*q*

^{2}= cube and then he applied the method of infinite descent. Unluckily, he made some mistakes working with the new complex numbers

*3.*

*a*+*b*√-This story is so exciting but, almost quoting Fermat, this post is too short to contain everything. If you are interested in, you must read Simon Singh’s *Fermat last theorem* which is as interesting as the theorem itself.