To show that there are infinitely many pairs (a, b) such that both quadratic equations x^2 + ax + b = 0 and x^2 + 2ax + b = 0 have integer roots, one must establish conditions on a and b. An integer root occurs when the discriminant, a^2 - 4b, is a perfect square, allowing the roots to be integers. By deriving conditions for both equations, it can be shown that these conditions can be satisfied by infinitely many integer pairs (a, b). The discussion emphasizes the need to prove that the derived conditions hold for an infinite set of integers. Thus, the existence of infinitely many pairs (a, b) is confirmed through this reasoning.