Egy egész együtthatós másodfokú egyenletben az ismeretlent tartalmazó két tag együtthatóinak összege páros, az ismeretlent nem tartalmazó tag pedig páratlan szám. Bizonyítandó, hogy az egyenletnek racionális gyöke csak olyan tört lehet, melynek legegyszerűbb alakjában a nevező páros szám.