Esta prueba de la irracionalidad de $\sqrt 2$ parece haber sido descubierto en 1892 por el R. P. Kiselev:
Si $\sqrt2$ es racional, deja que $\triángulo ABO$ ser el más pequeño posible isósceles triángulo rectángulo cuyos lados son números enteros.
Construcción $CD$ perpendicular a $AO$ con $AC = AB$. $\triángulo OCD$ es otro isósceles triángulo rectángulo.
$AC=AB$ por lo tanto $AC$ es un número entero, por lo tanto $OC = OA - AC$ es un número entero. $\triángulo OCD$ es isósceles, por lo que $OC=CD$ y CD es un número entero. $CD$ y $BD,$ son iguales porque son tangentes al círculo, por lo que $BD,$ y $OD = BO-BD$ son números enteros. Pero entonces $\triángulo OCD$ es isósceles triángulo rectángulo con el entero lados, contradiciendo la suposición de que $\triángulo ABO$ era el más pequeño.
Estoy sorprendido de que este no fue encontrado por los Griegos, porque es mucho más en su estilo que la prueba de que se hizo encontrar.
(Fuente: http://www.cut-the-knot.org/proofs/sq_root.shtml#proof7)