If 'a' and 'b' are two odd positive integers such that a>b, then how do we prove that one of the two numbers (a+b)/2 and (a-b)/2 is odd and the other is even?

First we can easily verify that \(\frac{a+b}{2}\) and \(\frac{a-b}{2}\) are positive integers since the sum of two odd numbers is always even and, the difference of two odd numbers is always even respectively. This implies that on division by \(2\) we we will have a positive integer.

Let \(x=\frac{a+b}{2}+\frac{a-b}{2}\)

\(\Rightarrow x=a\)

Therefore, we have that \(x\) is an odd positive integer.
We know that the sum of two even or sum of two odd numbers is never odd.
Thus, it follows that \(\frac{a+b}{2}\) is even when \(\frac{a-b}{2}\) is odd and vice-versa.

Take a as 2k+1 and b as 2m+1, now consider all the possible cases such that, either k is odd or m is odd or both are odd or neither of them. when you will observe all four of these cases u will automatically get the result.

\( \frac{a+b}{2} + \frac{a-b}{2} = a \). We know \(a\) is an odd integer, and so, when addition of two numbers is odd, they have to be of opposite parity.

but 'a' and 'b' are odd positive integers, so if we add up both of them and divide it by 2....the result has to be even, it can't be odd, so i don't agree with your last two lines.

I would also like to add that your question asks as I perceive is that when one of the given number is odd the other should be even. Thus, when \(\frac{a+b}{2}\) is even \(\frac{a-b}{2}\) is odd.(See my solution)

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestFirst we can easily verify that \(\frac{a+b}{2}\) and \(\frac{a-b}{2}\) are positive integers since the sum of two odd numbers is always even and, the difference of two odd numbers is always even respectively. This implies that on division by \(2\) we we will have a positive integer.

Let \(x=\frac{a+b}{2}+\frac{a-b}{2}\)

\(\Rightarrow x=a\)

Therefore, we have that \(x\) is an odd positive integer. We know that the sum of two even or sum of two odd numbers is never odd. Thus, it follows that \(\frac{a+b}{2}\) is even when \(\frac{a-b}{2}\) is odd and vice-versa.

Hence proved.

Log in to reply

thanks for the answers

Log in to reply

Take a as 2k+1 and b as 2m+1, now consider all the possible cases such that, either k is odd or m is odd or both are odd or neither of them. when you will observe all four of these cases u will automatically get the result.

Log in to reply

\( \frac{a+b}{2} + \frac{a-b}{2} = a \). We know \(a\) is an odd integer, and so, when addition of two numbers is odd, they have to be of opposite parity.

Log in to reply

but 'a' and 'b' are odd positive integers, so if we add up both of them and divide it by 2....the result has to be even, it can't be odd, so i don't agree with your last two lines.

Log in to reply

Not necessarily. As an explicit example take \(a=5\) and \(b=1\). The result will be odd. \(\frac{5+1}{2}=3\).

EDIT: To make things clearer, we can say that \(a=b+2k\) for some positive integer k since \(a>b\).

Let y=\(\frac{a+b}{2}\)

\(y=\frac{2b+2k}{2}\)

\(y=b+k\)

This means that y is only even when k is odd, i.e \(\frac{a+b}{2}\) is even only when \(a-b=2k\).

This again implies that when k is odd \(\frac{a-b}{2}\) is also odd, which can be another proof for your question.

Log in to reply

I would also like to add that your question asks as I perceive is that when one of the given number is odd the other should be even. Thus, when \(\frac{a+b}{2}\) is even \(\frac{a-b}{2}\) is odd.(See my solution)

Log in to reply