I am pretty distant from anything analytic, including analytic number theory but I decided to read the Wikipedia page on the Riemann hypothesis (current revision) and there is some pretty interesting stuff there:

*Some consequences of the RH are also consequences of its negation, and are thus theorems. In their discussion of the Hecke, Deuring, Mordell, Heilbronn theorem, (Ireland & Rosen 1990, p. 359) say*

*The method of proof here is truly amazing. If the generalized Riemann hypothesis is true, then the theorem is true. If the generalized Riemann hypothesis is false, then the theorem is true. Thus, the theorem is true!!*

What is surprising is that both a statement and its negation are useful for proving the same theorem.

Do similar situations arise with other major, notorious conjectures in mathematics? I only care about algebraic geometry and algebraic number theory for the most part but I guess it will make little sense to have such questions devoted to each area of mathematics so post whatever you've got.

To give an initial direction: are there any interesting statements one can prove assuming both some hard conjecture about motives (e.g. motivic $t$-structure, the standard conjectures, Hodge/Tate conjectures) and its negation?

17more comments