Intereting Posts

How do I calculate the intersection(s) of a straight line and a circle?
Combinatorial Proof
How many regions do $n$ lines divide the plane into?
Probabilities of Non-Regular Dice
The simplest nontrivial (unstable) integral cohomology operation
How can this theorem about weakly measurable functions on $\sigma$-finite measure spaces be deduced from the finite measure space case?
What are good resources for learning predicate logic / predicate calculus?
Why isn't there a continuously differentiable injection into a lower dimensional space?
Prove that if $$ is odd then $F(\alpha)=F(\alpha^2)$
show that $f$ is continuous
Solving $\frac{a}{b} + \frac{b}{c} + \frac{c}{a} = m \in \mathbb{Z}$, $\frac{a}{c} + \frac{c}{b} + \frac{b}{a }= n \in \mathbb{Z}$
Positive outer measure set and nonmeasurable subset
combinatorics circular arrangement problem
Wirtinger Inequality
Symmetry of Grassmanians

While I was surfing the web, searching things about math, I read something about a particular theorem of Fermat. It said: let $a$ and $b$ be rational. Then $a^4-b^4$ cannot equal the square of a rational number, so $a^4-b^4\neq c^2$ with $c$ rational. My question is: did I understand the theorem? if not, what is the actual theorem? if yes, how can I proof this or is that too difficult?

- Why don't we define division by zero as an arbritrary constant such as $j$?
- Prove that the congruence $x^2 \equiv a \mod m$ has a solution if and only if for each prime $p$ dividing $m,$ one of the following conditions holds
- Is $2^{1093}-2$ a multiple of $1093^2$?
- What is the lowest positive integer multiple of $7$ that is also a power of $2$ (if one exists)?
- Count the number of possible solutions
- Prove that $n$ divides $\phi(a^n -1)$ where $a, n$ are positive integer without using concepts of abstract algebra
- Basic number theory proofs
- Divisor sum of totient function
- Prove that $\gcd(M, N)\times \mbox{lcm}(M, N) = M \times N$.
- When can you simplify the modulus? ($10^{5^{102}} \text{ mod } 35$)

Yes, that is a theorem, No, it’s not too difficult to prove, and you can try in some analytic number theory book for the proof, say in

http://fermatslasttheorem.blogspot.co.il/2005/05/fermats-last-theorem-n-4.html

or in

That’s right, modulo a small precision: Fermat proved that there are no solutions other than the obvious ones, such as $(a,b,c)=(0,0,0)$, $(1,0,1)$, etc.. See for instance this wikipedia page.

Yes you understand the theorem. The proof uses the method of “infinite descent” (a sibling of reductio ad absurdum, or proof by contradiction).

There is a walkthrough proof here:- https://en.wikipedia.org/wiki/Proof_of_Fermat%27s_Last_Theorem_for_specific_exponents#Application_to_right_triangles

But did you maybe want just a hint instead??

If $b\neq 0$, yes, it’s true. It follows from the fact that

$$ a^4-b^4=c^2 $$

has no **integer** solutions, under the assumptions $\gcd(a,b)=1$ and $b\neq 0$.

On the other hand, if $c,d$ are two coprime integers such that $c^2+d^2$ is a square, say $e^2$, than $e$ is the sum of two coprime squares. This is the key step of the proof.

- $ \int_1^2\int_1^2 \int_1^2 \int_1^2 \frac{x_1+x_2+x_3-x_4}{x_1+x_2+x_3+x_4}dx_1dx_2dx_3dx_4 $
- Can Euler's identity be extended to quaternions?
- Fourier transform convention: $\frac{1}{\sqrt{2\pi}} \int_{-\infty}^{\infty} f(x)e^{\pm ikx}dx $?
- In search of easier manipulation of an inequality to prove it
- How many groups of order $512$ and $1024$ are there with a center of size $2$?
- Finding Rotation Axis and Angle to Align Two “Oriented Vectors”
- Is $ \sin: \mathbb{N} \to \mathbb{R}$ injective?
- Let $f(x)$ be differentiable at $\mathbb R$, s.t $|f^\prime (x)| \le 6$ . Its given that $f(1)=20$, and $f(9)=68$ , prove that $f(7)=56$.
- Prove that the interval $(0, 1)$ and the Cartesian product $(0, 1) \times (0, 1)$ have the same cardinality
- Lebesgue Integral but not a Riemann integral
- Examples of non-measurable sets in $\mathbb{R}$
- Are there any compact embedded 2-dimensional surfaces in $\mathbb R^3$ that are also flat?
- Discontinuous derivative.
- Number Theory : What are the last three digits of $9^{9^{9^9}}?$
- Integral $ \int_0^{2\pi}{ \sqrt{ 1 – \sin{ \theta } \sin{ 2\theta } + \cos{\theta}\cos{2\theta} } d\theta } $