Nehmen wir an, dass
5 eine rationale Zahl qp ist und, dass dieser Bruch schon gekürzt wurde, so dass p, q teilerfremd sind. Dann gilt
5 = qp
Also auch
5=q2p2 oder 5∗q2=p25∣p2 wenn das so ist, dann gilt auch25∣p2 es existiert also ein p_1, so dass p2=25p125q2=25p12q2=5p125∣q2 wenn das so ist, dann gilt auch25∣q2 es existiert also ein q_1, so dass q2=25q1225q12=5p125q12=p125=q12p125=q1p1
Dies aber ist ein Widerspruch zu unserer Annahme, dass p, q teilerfremd sind.