# An algorithmic proof of Bachet's conjecture and the Lagrange-Euler method

Preprint · Felix Sidokhine

- Archive id: arxiv:1310.5632
- Published: 2013-10-21
- arXiv: https://arxiv.org/abs/1310.5632
- Source URL: https://arxiv.org/abs/1310.5632
- PDF: https://arxiv.org/pdf/1310.5632
- Provenance: arxiv

## Abstract

The goal of this notice is to present a proof of Bachet's conjecture based exclusively on the fundamental theorem of arithmetic. The novelty of this proof consists in its introduction of a partial order on rational integers through the unique factorization property. In general, the proofs of Bachet's conjecture by Lagrange - Euler's method assume necessary the use of infinite descent. In the proposed proof we do not assume the existence of a "minimal solution", but rather we show the existence of the desired solution through an algorithmic method.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.