Khayyam's quadrilateral analysis of parallels

In the Commentary on Difficulties in Euclid's Postulates, Umar Khayyam reconstructed parallel theory using a quadrilateral with equal legs perpendicular to its base. He organized eight propositions to replace the first book's29thproposition. This contribution concerns proof organization and starting assumptions,not inventing straight lines or proving the fifth postulate from Euclid's other assumptions alone ^{1 2}.

Bijan Vahabzadeh reports completion470AH/December1077. We read his analysis,including author-version pages1–4,not the medieval commentary or its editions. Stanford emphasizes replacing the starting point with supposedly clearer premises;Vahabzadeh explains proof relative to those philosophically admitted premises. Different emphasis does not turn the argument into an independent solution of the parallel problem ^{3 1}.

This is a geometrical method,not metalwork. Two equal legs rise perpendicular to a base,and their upper ends are joined. The investigation asks whether the two summit angles are right,acute or obtuse. In the analysis,Khayyam first establishes their equality;he does not have to examine nine combinations of two independently varying angles ².

The figure is now called the Khayyam–Saccheri quadrilateral because Saccheri investigated the figure and cases in his1733book. A modern name compares mathematical structures;it neither makes a twenty-first-century diagram a Khayyam manuscript nor independently establishes a route to Italy. A familiar rectangle drawn on paper does not remove the question of what assumptions permit calling it a rectangle ¹.

Euclid's Elements supplied the starting point,including a postulate about a transversal crossing two lines. If the interior angles on one side total less than two right angles,the lines meet on that side when extended. This is not simply the definition of parallels as coplanar lines that never meet:a definition describes the objects,while the postulate licenses a conclusion concerning intersection ⁴.

Vahabzadeh surveys Proclus,al-Jawhari,Thabit ibn Qurra and Ibn al-Haytham,distinguishing their assumptions involving distance or motion. These are reports through a modern study,not claims that every Greek and Arabic original was read here. Khayyam's criticism belonged to a long tradition;he was neither the first person to ask about parallels nor the creator of mathematical logic as a whole ⁵.

Khayyam objected that earlier attempts used assumptions no clearer than the postulate being explained. He especially rejected introducing motion into geometry,in the analysis of his criticism of Ibn al-Haytham. He wanted a starting point grounded in concepts of line and angle and premises he regarded as philosophically immediate,rather than a moving drawing that looked convincing to the eye ⁶.

Vahabzadeh identifies premises about intersecting lines diverging away from intersection,converging lines meeting,and convergence not turning into divergence in its own direction. These assumptions cannot be removed from the narrative while advertising an assumption-free proof. The researcher also notes uncertainty about equidistance of parallels:was it a consequence or built into the meaning? The ambiguity remains visible,not silently repaired ².

Khayyam's biography spans mathematics,philosophy and poetry. Stanford explicitly characterizes his philosophical voice as that of a Muslim philosopher. Individual identity is recorded alongside the disputed poetic image and Unat's report of Najm al-Din Daya's hostile assessment. The Sunni frame is the museum's declared default,not personal legal-school testimony derived from geometry or Seljuk patronage. This article issues no judgment on a person's faith ^{7 8}.

This work differs from conic solutions of cubics and his qualified association with Jalali reform. Using geometry does not make the existence of an algebraic root the same problem as the logical status of a postulate. Vahabzadeh and Stanford's authors are modern interpreters;their analysis and naming must not be transferred without distinction to an eleventh-century writer ⁹.

Vahabzadeh labels the baseAB,the equal perpendicular legsACandBD,and the summitCD. The two summit anglesACDandBDC are shown equal,then the right,acute and obtuse possibilities examined. Excluding the last two depends on the admitted convergence/divergence principles. The result is not obtained from equal legs and base right angles alone while concealing the surrounding theoretical premises ².

Our independent modern example begins explicitly in a Euclidean coordinate plane:takeA=(0,0),B=(4,0),C=(0,3),D=(4,3). Legs are3,and base/summit4. Horizontal and vertical vectors have zero dot product,so the angles are right;both diagonals have length5. These are calculations derived here,not manuscript numbers. The Euclidean plane was already assumed,so the example cannot prove that every possible geometry must be Euclidean ¹.

Replace4and3by positive widthw and heighth,and the same coordinate model remains rectangular. Generalizing rectangles within that model does not exclude other models. To derive a postulate from weaker assumptions,we must trace every premise and ask whether its content entered through distance or convergence definitions before the argument began. This states the teaching example's limits,not a transcription of all eight propositions ².

Vahabzadeh reports Nasir al-Din al-Tusi's partial reuse in his parallel treatise and his redaction of Euclid,including substantial passages in the former. That is a specific attributed textual connection,stronger than saying two diagrams look alike. The original treatises were not inspected here,however,and scholarly reporting is not relabelled as our own manuscript collation ¹⁰.

The author then compares Saccheri's treatment of the three hypotheses. This identifies a continuing figure and question,but our article names no translator,direct copying chain or particular book journey to Saccheri. Chronological priority and structural resemblance differ from a transmission document. The historical interval is not filled with a confident story absent from the readings ^{10 1}.

The foundation was reasoning from definitions and postulates in the Elements,and debate over admissible starting points. Stanford describes Islamic mathematicians examining and reconstructing those foundations rather than simply repeating the book. Distinguishing a statement needing proof from one admitted by a particular system is itself a mathematical skill:no list of deductions has no starting point ¹.

In the scholarly account,Khayyam invokes premises linked to Aristotle and regarded as closer to the concepts of straight line and angle. We report the studies' attribution,not an independent examination of Aristotle's original text. Excluding motion from geometrical proof is a position about method,not proof that physical motion does not exist. Methodological argument and description of the world belong to different levels ².

Partial textual reuse by Nasir al-Din can be documented through the study,followed by modern comparison with Saccheri. Complete nineteenth-century non-Euclidean geometries are not credited to Khayyam under their later names and systems. Stanford warns against turning an effort to improve Euclid into a project intended to reject Euclidean geometry. Historical purpose differs from a later reader's interpretation of possible consequences ^{1 10}.

The commentary's second part concerns ratios,and its third their composition. This breadth matters,but supplies no extra invention count here. Keeping the subjects distinct preserves the work's setting without treating each heading as proof of a complete modern number theory. This record remains about the quadrilateral's role in reconstructing parallels;the work record explains the larger book ^{4 1}.

The readings count no houses built with this argument or maps directly improved by it,so no numerical economic impact is invented. Its contribution belongs to knowledge and teaching:what looks obvious in a drawing becomes a structured question. A reader can distinguish successful calculation within a system from demonstrating that the system follows from weaker principles. That explains methodological value,not a measured medieval social outcome ¹.

Not every important investigation needs an immediate household application. Examining foundations lets us read Khayyam's criticism without portraying predecessors as incompetent or him as holder of a final answer. Vahabzadeh preserves assumptions and ambiguity alongside achievement. This describes research more accurately than a celebratory title or an unsupported building count ⁶.

The quadrilateral and eight propositions make mathematics visible as reconstruction of relationships,not just numerical answers. The accounts show dissatisfaction with treating a small drawing or apparently constant separation as sufficient foundation. The significant issue is dependency among statements and what an argument imports from outside itself ^{1 2}.

From a modern perspective,the replacement statements are logically related to the postulate under investigation. Khayyam's concern was their conceptual immediacy,not denying every equivalence. We therefore say neither that he independently proved what others could not,nor that he accomplished nothing. The reconstruction and its conditional results are described,and different scholarly emphases remain attributed ².

The particular quadrilateral reconstruction is attributed to Khayyam in the read studies of his commentary. Parallel investigation as a field is centuries older,so this is a bounded methodological improvement. Neither first-ever drawing of any equal-legged quadrilateral,direct borrowing by Saccheri,nor universal dependence of later writers on this work is established here ¹¹.

**Sunni frame:**the maker's documented individual identity and disputed reports remain as in his biography,not adjudicated by an argument's strength or weakness. **Academic interpretation:**Stanford stresses replacement of starting premises;Vahabzadeh explains proof from philosophically admitted principles. Neither warrants advertising a deduction of the fifth postulate from Euclid's remaining axioms alone. The museum adds no personal verdict on the writer ^{12 2}.

The example can teach assumption-checking:calculating angles in Euclidean coordinates verifies a figure within that geometry,not a statement about every possible space. A protractor measurement on paper is also a physical approximation. A reading close to90degrees cannot prove a claim about indefinitely extended lines ¹.

Nor should the topic automatically be connected to relativity or measured cosmic curvature. Mentioning alternative geometries in a modern explanation does not establish that Khayyam predicted a particular physical theory. We retain his question and distinguish his purpose from later interpretation. Modern knowledge explains a limit rather than inserting all its vocabulary into an eleventh-century manuscript ¹.

Our inspected witness is a modern analysis and its author-deposited HAL version,not Khayyam's manuscript. The cover verifies Bijan Vahabzadeh,publication2019and journal pages498–509;2026is the deposit date. References to author-pages1–4mean that file's own pagination,not invented correspondence to printed pages or numbering of the original commentary ¹³.

The image is Dickdock's2008public-domain diagram,showing right,obtuse and acute cases. It labels legsAD/BC,whereas the scholarly example usesAC/BD. Curved drawn legs are schematic,not curved Euclidean straight lines or exact metric models. The original image is unmodified and is not attributed to an ancient manuscript ¹⁴.

Many readers know Khayyam through poetry,but authenticating a quatrain differs from analyzing a quadrilateral. Stanford discusses the several voices;Unat's scientific section separates mathematics from the literary contribution not read here. No unauthenticated poem is used to explain a geometrical premise or infer personal religious belief ^{12 15}.

The story shows collaboration across time without erasing difference:an older text criticized,a structure rebuilt,and modern scholars varying in how they describe its purpose. Preservation does not require removing every gap in an argument. Nor does an author's value depend on anticipating every modern discovery. Clear attribution and explicit assumptions make his contribution more understandable ¹⁶.

Use the paper example:base4,legs3,in the explicitly assumed Euclidean plane. The diagonal is5and angles right. Then ask a harder question:did we calculate an example or prove a law for every geometry? We selected Euclidean coordinate rules before calculation,so that choice cannot be hidden at the end of the solution ¹.

Look carefully at the picture:the three cases are not three measurements of one rectangle,and its letters differ from ours. Describe what you see,then read the caption and source. Good researchers ask what they assumed and do not let drawings prove unproved claims. This is an invitation to examine knowledge,not a physical experiment concerning the universe's shape ^{17 2}.

• Vahabzadeh,actual parallels section and author-version pages1–4/cover ¹¹.
• Stanford4.2,with previously documented identity basis2.7 ¹.
• Unat,scientific geometry/work4 ¹⁸.
• Commons,modern diagram/description/rights/history,not manuscript ¹⁹.