Obvious, but Difficult
This is a fun conversation on MathOverlflow.net about famous examples of theorems in mathematics that are “obvious” but very difficult to prove.
http://mathoverflow.net/questions/51531/theorems-that-are-obvious-but-hard-to-prove
For example, the Jordan Curve Theorem essentially states that any closed curve in the plane divides the plane into an “inside” and an “outside”. Obvious, right? But very difficult to prove.
The Isoperimetric Theorem is another good example. This theorem basically says that the most efficient way to surround area in the plane is with a circle. Again, easier to believe than to prove.
And one of the responders notes that, after taking several hundred pages in their Principia Mathematica to prove that 
“Obvious” is one of the most dangerous words in mathematics!
Click here to see more in Appreciation.
Mr Honner 
How about the proof of negative x negative = positive? We take that for granted. Is the proof for that difficult? Enlighten me 🙂
The reason is that (-ab) is the additive inverse of (-a)(-b) in any ring — thanks to distributivity.
First, (-a) b = -(ab), because (-a) b + ab = (-a + a) b = 0 x b = 0.
With this, (-a) (-b) + -(ab) = (-a)(-b) + (-a)b = (-a) (-b+b) = (-a) x 0 = 0
Since the inverse (and inverse-inverse) is unique, (-a)(-b) = ab.
As with many of ideas discussed in the MathOverflow thread, the proof that (-a)(-b) = ab isn’t especially enlightening, except to the person who cares deeply about the finer details of algebraic and logical systems.
You’re definitely right that we take it for granted, and I’d wager that even most of the mathematically-minded couldn’t give the correct, technical answer.
So are you saying I’m not “mathematically-minded?” — I’m offended 😉
No, not at all! Sorry, Peter, I was responding to Roy’s comment. I think you’re right on the money–the result is just a consequence of the axioms of fields (or rings, as you say).
I think most people look for something more intuitive, but I’m not sure it’s there.
@MrHonner, I was, of course, kidding. Intuition is a tricky beast and I can’t blame people not to have an intuition. As a mathematician, I’d say that the intuition comes naturally when you simply encounter this fact in many different rings — be it integers or reals, polynomials or Boolean algebras such as the power set algebra. That helps build intuition.
Another way is to take the first part of my “argument”, and do something like (-a)(-b) = -(-(ab)) — then appeal to something like “double u-turn = do nothing”. But who knows.
In any case, I find it ridiculous whenever I meet a researcher who’s shocked that people doubt such “simple” observations (and I have met too many). I never meet a professional singer who’s shocked that some people can’t sing.