Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

(first post, hello!) I'm having a bit of trouble with the following problem:

let k be a positive integer and let $m = 4k + 3$

show that the even numbers $2k+2, 2k+4,..., 4k, 4k+2 $ are congruent mod $m$ to the negatives of the odd numbers $2k+1, 2k-1,..., 3, 1$, and deduce that $2^{k+1}(k+1)(k+2)...(2k+1) ≡ (-1)^{k+1}(2k+1)(2k-1)...3*1$ (mod $m$)

to be entirely honest, I'm not really sure where to start with this and can't seem to get the intuition for it. Can somebody hint me in the right direction? Thanks :)

share|cite|improve this question
Welcome to Math.SE! Here's a quick guide on how to write math on this site:… –  Newb Nov 8 '13 at 13:37
ah! just tidied up my question with proper formatting, thanks for the link! –  halcyone_33 Nov 8 '13 at 13:46

2 Answers 2

up vote 0 down vote accepted

Hint: remember that $a \equiv b$ (mod $n$) if $n|(a-b)$.

You know that $n = 4k+3$, so what does that tell you about $a$ and $b$? (Remember that you also know the form of $a$ and $b$.)

share|cite|improve this answer

First part of the question:

Remember the definition of the negativity in modular arithmetic. You're working in an additive group. Then the negative (inverse) of any element $a$ is the element $b$ which makes $a+b=b+a=i$ where $i$ is the identity of the group, and obviously $i=0$.

Now, as $\forall x\in \mathbb{Z}_{4k+3}, 0\leq x < 4k+3$, we know that any element $2t$'s inverse should be in that range. Then, if we call the inverse of $2t$ as $-(2t)$, then $2t+(-(2t))=0$ in the group. Then, $2t+(-2t) \equiv 0 \pmod{4k+3}$. And as all elements of the set is at the interval $[0,4k+3)$, then $2t+(-(2t))=4k+3$. And as $2t$ is even and $4k+3$ is odd, then $-(2t)$ should be odd.

I used $2t$ for the representation to make it shorter but in the question they start from $2k+2$ to avoid the problem of inverse of $0$. I have to state that $t<2k+2$ and $t \in \mathbb{Z}$.

I'm gonna think about the second part of the question.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.