For what it's worth Tony McC, I found your workings interesting.
What's really tough with anything like this is that as soon as you start looking at other people's work then you get in to some really complicated Maths that you quite quickly can't understand. I have a degree in Maths and Stats and I can't follow the kind of explanations that are given on some websites and texts either. Perhaps it's a function of the human mind (or my mind!) that once someone starts explaining why an idea is not a goer then there is less of an inclilation to try and understand what they are saying!
Having said that. Thanks for your thoughts. I would be interested in some of your other thoughts too, for what it's worth. Even if they don't lead anywhere, I'd still be interested. But we may have to put up with some acedemic/intellectual goading in the process!
As for Uncool's work, I couldn't quite follow it and can also see merit in seeing the description in visual form. if this could be provided, that would be great.
I think about this when i go to sleep, and don't get very far! My simple steps go along the lines of the following:-
X^n + Y^n = Z^n
rearrange to get : X^n = Z^n - Y^n
which can, I think, always be factorised by (Z-Y)
Hence, for example, using n=3: Y^3 = (Z^2 + ZY + Y^2)*(Z-Y).
At this stage I then tried to work out what I can say about Z^2+ZY+Y^2.
Firstly what doesn't it factorise by?
Z? Y?, Z-Y?, Z+Y?,
We can also draw up some rules about mutual exclusivity of X, Y and Z and potentially deduce that it won't factorise into 2 and 3.
It gets more complicated with factorising where n>2 as higher powers of n mean my equation can have more factors than just (Z-Y), but I think you can always say that a part of the factorising has a larger power than 1 in it and this, therefore means we can draw similar conclusions as above on those parts of the equation
What I would then be looking to do would be to come up with a set of things that we can say about X, potnetially then proving that X cannot have a set of factors and therefore limiting would X could be - and contradicting what we originally said that X could be.
But evidently I'm far from that with the above.
Any thoughts? Has this all been done and discarded before?
As a further thought can we do the saem kind of deduction on X^n +Y^n.
Can we say X isn't a factor? neither is Y? Neither is X+Y, Neither is X-Y? Neither therefore is 3 and by putting some exclusivity constraints on X and Y, neither is 2.
Can we say this or can we say something similar and is it important that we can or can't say any of this?