Prove the following. (You should feel free to assume the reader knows the quadratic formula.)

"Let a, b Z with a not equal to 0. If a does not divide b, then the polynomial ax^2 + bx + (b a) has no positive integer roots."