En su comentario sobre Euclides, Proclo afirma que Pitágoras expresó el teorema que lleva su nombre y construyó ternas pitagóricas algebraicamente antes que de forma geométrica.