A proof regarding Rational numbers

Click For Summary

Discussion Overview

The discussion revolves around the question of whether the average of two numbers, specifically (a+b)/2, being a rational number implies that both a and b must also be rational. Participants explore this concept through examples and counter-examples, engaging in a debate about the nature of rational and irrational numbers.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes that if (a+b)/2 is rational, then a and b must also be rational, but later doubts this proof and seeks correction.
  • Another participant argues against assuming a and b are rational, suggesting that the question lacks clarity regarding the number system from which a and b are drawn.
  • A participant provides a counter-example using a=√2 and b=-√2, demonstrating that (a+b)/2 can be rational while a and b are not.
  • Another example is introduced where a is irrational (e.g., π) and b is defined as a rational number minus a, resulting in a rational sum.

Areas of Agreement / Disagreement

Participants do not reach a consensus. There are competing views regarding the implications of (a+b)/2 being rational, with some supporting the idea that it does not necessitate a and b being rational, while others initially suggest otherwise.

Contextual Notes

The discussion highlights the ambiguity in the definitions of a and b and the assumptions made about their nature. There is also a lack of clarity regarding the number systems involved, which affects the reasoning presented.

thudda
Messages
4
Reaction score
0
I have found some trouble in trying to prove this question.please help mw with that.

Q1) If (a+b)/2 is a rational number can we say that a and b are also rational numbers.? Justify your answer.


I have tried the sum in the following way.

Assume (a+b)/2=p/q (As it is rational)
Lets assume a and b are also rational. Then a=m/n , b=x/y where m,n,x,y ε Z and n,y not equal to 0.

∴ p/q = (my+nx)/2ny = (a+b)/2

∴ (a+b)/2 = m/2n + x/2y
= 1/2(m/n+x/y)

for a and b to be rational they has to be equal to m/n and x/y..That is not the case always so we can't say if (a+b)/2 is rational a and b are also rational.

I doubt that this proof is wrong.Please correct that if there's any wrong.
 
Physics news on Phys.org
We do not want to start with assume a and b are also rational as that is what we are trying to show.
The equations do note prove anything.
The question does not make it clear what a and b are, I assume they are from some common number system like real, complex, or algebraic numbers.

The most straight forward thing to do is think of an example of a and b so that (a+b)/2 is rational and a and b are not.
 
  • Like
Likes   Reactions: 1 person
I thought about that too but could'nt figure out 2 examples for a and be..But just figured out we can use a=√2 and b=-√2 so that a+b=0 and (a+b)/2=0 which is rational. Any way thanks a lot.
 
hi thudda! :wink:
thudda said:
But just figured out we can use a=√2 and b=-√2 so that a+b=0 and (a+b)/2=0 which is rational.

yes that's fine …

the answer to the question is "no", and you've justified it by showing a counter-example! :smile:
 
it would seem that if a is irrational and b= (a rational number) - a , then this would be a perfect example of your equation coming out rational with a+b as the numerator. for example a = pi and b = (6-pi). add them together and you get 6 even though both numbers are irrational.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
9K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K