@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-Q8F66VZR-G
  dc:created "2023-06-29"^^xsd:date ;
  skos:inScheme psr: ;
  skos:prefLabel "quadrilatère de Lambert"@fr, "Lambert quadrilateral"@en ;
  skos:broader psr:-Z2Z5WNMR-Q, psr:-VX20K4H9-G ;
  a skos:Concept ;
  dc:modified "2023-06-29"^^xsd:date ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Quadrilat%C3%A8re_de_Lambert>, <https://en.wikipedia.org/wiki/Lambert_quadrilateral> ;
  skos:definition """In geometry, a Lambert quadrilateral (also known as Ibn al-Haytham–Lambert quadrilateral), is a quadrilateral in which three of its angles are right angles. Historically, the fourth angle of a Lambert quadrilateral was of considerable interest since if it could be shown to be a right angle, then the Euclidean parallel postulate could be proved as a theorem. It is now known that the type of the fourth angle depends upon the geometry in which the quadrilateral exists. In hyperbolic geometry the fourth angle is acute, in Euclidean geometry it is a right angle and in elliptic geometry it is an obtuse angle. A Lambert quadrilateral can be constructed from a Saccheri quadrilateral by joining the midpoints of the base and summit of the Saccheri quadrilateral. This line segment is perpendicular to both the base and summit and so either half of the Saccheri quadrilateral is a Lambert quadrilateral. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Lambert_quadrilateral">https://en.wikipedia.org/wiki/Lambert_quadrilateral</a>)"""@en, """En géométrie, un quadrilatère de Lambert, du nom de Jean-Henri Lambert, est un quadrilatère ayant trois angles droits. Historiquement, Lambert espérait pouvoir démontrer (à l'aide des axiomes d'Euclide à l'exception de l'axiome des parallèles) qu'un tel quadrilatère était un rectangle (démontrant ainsi l'axiome des parallèles), mais il semble s'être convaincu que la chose était impossible, obtenant ainsi les premiers résultats de géométrie hyperbolique, et en particulier la formule donnant l'aire d'un triangle en fonction de ses trois angles. Le quatrième angle d'un quadrilatère de Lambert caractérise la géométrie : s'il est droit, on est en géométrie euclidienne, s'il est aigu, on est en géométrie hyperbolique, et s'il est obtus (ce qui est impossible en géométrie absolue), on est en géométrie elliptique ; dans tous les cas, ce qui est vrai d'un quadrilatère de Lambert l'est pour tous. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Quadrilat%C3%A8re_de_Lambert">https://fr.wikipedia.org/wiki/Quadrilat%C3%A8re_de_Lambert</a>)"""@fr .

psr:-Z2Z5WNMR-Q
  skos:prefLabel "quadrilatère"@fr, "quadrilateral"@en ;
  a skos:Concept ;
  skos:narrower psr:-Q8F66VZR-G .

psr:-VX20K4H9-G
  skos:prefLabel "hyperbolic geometry"@en, "géométrie hyperbolique"@fr ;
  a skos:Concept ;
  skos:narrower psr:-Q8F66VZR-G .

