Beweise indirekt: Annahme es gibt ein natürliches (oder ganzzahliges) n ≠ 0
mit
n * √(3) = p/q , wobei p/q ein Bruch ist.
Dann gilt
√3 = p/(q*n) , wobei p/(q*n) ein Bruch ist. Das steht im Widerspruch, zur (bewiesenen) Tatsache, dass √3 irrational ist.