Proving with contrapositive methode instead of contradition

  • Thread starter Uljanov
  • Start date
  • #1
2
0
Could you tell me how to write a very formal proof of the statment below with the contrapositive methode, if possible.
(I know how to do it with contradiction)

Let x be a rational number and y an irrational number, then x times y is irrational.

Sincerely,
V. Uljanov
 

Answers and Replies

  • #2
pbuk
Science Advisor
Gold Member
2,042
813
The contrapositive of this is "if xy is rational then x and y are either both rational or both irrational" and this can be proved with similar steps to the proof you already have.
 
  • #3
2
0
Thx, but I cant see how to proceed in the same manner. If xy=m/n, then x=m/(n*y), but if y is irrational I am back to the start, and cant say anything about x.

In contradiction I assumed xy=m/n, and got y=m/(n*x)=ml/nk=m'/n' (x was rational), and this lead to the contradiction of y beeing irrational from the start.
 
  • #4
pbuk
Science Advisor
Gold Member
2,042
813
Exactly as before: assume x is rational, y is irrational and xy is rational, demonstrate the contradiction.

You see the contrapositive of "A implies B" is "(Not B) implies (not A)". With proof by contradiction you assume (not B) and demonstrate (not A), so proof by contradiction is essentially the same as proof of the contrapositive.

If this seems a bit circular and tautological it is because this is a bad example. Contrapositive proofs only make sense where there is no obvious proof of "A implies B", but it is possible to prove "(Not B) implies (not A)".

Here is a better example: "If the angles of a triangle don't add up to 180° the surface is non-Euclidean"; the easiest way to prove this is to prove the contrapositive: if the surface is Euclidean (so we can constuct a line parallel to any side), the angles of a triangle add up to 180°.
 

Related Threads on Proving with contrapositive methode instead of contradition

  • Last Post
Replies
3
Views
7K
  • Last Post
Replies
7
Views
5K
Replies
9
Views
1K
Replies
2
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
2
Views
3K
Replies
7
Views
941
Top