Two parallel lines and distance between three points on them.

I'm solving one hard problem in my homework textbook (it is from the list of hardest problems in the end of book with stars). I reduced it to very simple question which I can prove by two, but very complicated and long ways (using Heron formula and some long algebra operations).

It must be easy and simple (I hope) solution to this question, which i can't see.

Question is: We have two parallel lines $(l_1,l_2)$ and the distance between this lines $|DE|=n$ an integer(see pic.), $n \in \mathbb{N}$. Let points $A$,$B \in l_1$ and $|AB|=|DE|=n$. Let point $C \in l_2$ and $|AC|=k,|BC|=m$. Prove that there are no exist such point $C$ that $k$ and $m$ both integer. (If $k,n \in \mathbb{N}$, then $m \notin \mathbb{N}$ or if $m,n \in \mathbb{N}$, then $k \notin \mathbb{N}$).

I can prove it (like i said before it is very long analysis of equation which we can obtain using formulas for area), I'm looking for simple and short solution. Thanks.

In my proof I use equation

$$4n^4=(n+k+m)(k+m -n)(n+k-m)(n-(k-m)), \ \text{if } x=k+m, y=k-m \Rightarrow$$

$$5n^4-(x^2+y^2) n^2 +x^2 y^2=0.$$

-
More a suggestion than an answer, since I haven't fleshed this out all the way yet, but: if you let $p$ be the distance between $B$ and the projection of $C$ down onto $\ell_1$, then $p$ has to be an integer and in fact $(n, p, m)$ and $(n, n+p, k)$ are both primitive Pythagorean triples, implying that $n$ must be even; maybe the problem can be attacked from that angle? –  Steven Stadnicki Sep 4 '12 at 22:14
I consider that. It is easy to prove that if p integer, then such Pythagorean triples doesn't exist. But p not necessarily integer. At least I don't know how to prove that p has to be integer. I think it just particular case. –  Mike Sep 4 '12 at 22:22
Actually, it's easy to prove that $p$ is an integer: $k^2=n^2+(n+p)^2 = n^2+p^2+2np+n^2 = m^2+n^2+2np$, and since $m$, $n$ and $k$ are integers then $2np$ is also an integer, so $p$ is rational; but since $p$ is rational and $p^2=m^2-n^2$ is an integer, then $p$ is an integer. –  Steven Stadnicki Sep 4 '12 at 22:26
Oh! Thank you! I think this is what I need. I knew that there is some easy nice way, better then this stupied equation. –  Mike Sep 4 '12 at 22:32
I didn't even thought about this wonderful step (p is rational; but since p is rational and $p^2=m^2−n^2$ is an integer, then p is an integer). I was sure that p can be rational. –  Mike Sep 4 '12 at 22:40
show 1 more comment