Demonstrating the Irrationality of √2

This classic brain teaser asks the candidate to reason about whether a specific numerical quantity can be expressed as a fraction of whole numbers. The object in question is a simple-looking square root, and the puzzle is to decide if it belongs to the rational numbers or lies outside that class. Although often seen in school mathematics, it still appears in interviews as a quick test of how comfortably a candidate moves between intuitive arithmetic and more formal number reasoning. It fits nicely into roles where solid mathematical maturity is expected, such as quantitative research, trading, or technical interviews at firms that value proof-based thinking.

The question leans on elementary number theory, precise use of definitions, and a clean proof by contradiction. Candidates are expected to manipulate integer equations, track parity or divisibility, and spot when an assumption leads to an impossible configuration. An interviewer watches for clarity in setting up the argument, disciplined use of "without loss of generality" style reductions, and the ability to explain why each step is logically necessary rather than just algebraic symbol-pushing.

What it tests

When a group must collectively guarantee at least one correct identification among several agents with partial information, the key is to exploit the structure of the problem—often symmetry or modularity—to coordinate their actions. In these problems, each agent uses the information available to them (what they see) to infer a guess that, when combined with the guesses of the others, systematically covers all possibilities. Modular arithmetic provides a framework for partitioning the space of possible configurations so that, no matter how the unknowns are assigned, at least one agent's guess aligns with reality. The underlying reason this works is that modular systems allow for a cyclic, lossless encoding of information, ensuring that all cases are accounted for and no overlap is wasted.