Introdujo la designación de figuras geométricas por letras, el método de demostración por el absurdo.