Eine ganze Zahl wäre rational, also durch einen Bruch darstellbar.
Weisen wir also nach, dass √(7*a + 3) nicht rational, sondern irrational ist (indirekter Beweis).
√(7*a + 3) = p / q | sei rational, also als Bruch p / q darstellbar
→ es gilt: p und q sind teilerfremd
√(7*a + 3) = p / q | ()^2
(7*a + 3) = p^2 / q^2
(7*a + 3) * q^2 = p^2
7*a*q^2 + 3*q^2 = p^2
Ist p^2 nun gerade oder ungerade?
Danach ist zu prüfen, ob q^2 gerade oder ungerade ist.
Wenn beide nachher gerade sind oder beide ungerade sind, dann widerspricht das der Annahme, dass p und q teilerfremd sind. Der Widerspruch sagt uns, dass √(7*a + 3) nie eine Ganze Zahl ergibt.
Reicht das als erster Ansatz?