Math, Mathematics, Numerical Analysis, Science.
(2D-N)² must equal 2(N-D)²… but that’s impossible! We just found two smaller numbers that have the same property as N and D, which were supposed to be the smallest ones with that property. The final conclusion is that N and D don’t exist, and √2 cannot be a rational number; elegant! Let’s extract