@prefix rdfs: .
@prefix dbr: .
dbr:Auxiliary_line rdfs:label "Auxiliary line"@en ;
rdfs:comment "An auxiliary line (or helping line) is an extra line needed to complete a proof in plane geometry. Other common auxiliary constructs in elementary plane synthetic geometry are the helping circles. As an example, a proof of the theorem on the sum of angles of a triangle can be done by adding a straight line parallel to one of the triangle sides (passing through the opposite vertex)."@en .
@prefix foaf: .
dbr:Auxiliary_line foaf:depiction .
@prefix wikipedia-en: .
dbr:Auxiliary_line foaf:isPrimaryTopicOf wikipedia-en:Auxiliary_line .
@prefix dbo: .
dbr:Auxiliary_line dbo:thumbnail .
@prefix dct: .
@prefix dbc: .
dbr:Auxiliary_line dct:subject dbc:Geometry ;
dbo:wikiPageID 40054744 ;
dbo:wikiPageRevisionID 925883958 ;
dbo:wikiPageWikiLink dbr:Mathematical_proof ,
dbr:Sum_of_angles_of_a_triangle ,
dbc:Geometry ,
dbr:Euclidean_geometry ,
,
;
dbo:wikiPageExternalLink .
@prefix owl: .
@prefix ns8: .
dbr:Auxiliary_line owl:sameAs ns8:ewQ2 ,
.
@prefix wikidata: .
dbr:Auxiliary_line owl:sameAs wikidata:Q16915959 .
@prefix dbp: .
@prefix dbt: .
dbr:Auxiliary_line dbp:wikiPageUsesTemplate dbt:Elementary-geometry-stub ,
dbt:Reflist ;
dbo:abstract "An auxiliary line (or helping line) is an extra line needed to complete a proof in plane geometry. Other common auxiliary constructs in elementary plane synthetic geometry are the helping circles. As an example, a proof of the theorem on the sum of angles of a triangle can be done by adding a straight line parallel to one of the triangle sides (passing through the opposite vertex). Although the adding of auxiliary constructs can often make a problem obvious, it's not at all obvious to discover the helpful construct among all the possibilities, and for this reason many prefer to use more systematic methods for the solution of geometric problems (such as the coordinate method, which requires much less ingenuity)."@en .
@prefix prov: .
dbr:Auxiliary_line prov:wasDerivedFrom .
@prefix xsd: .
dbr:Auxiliary_line dbo:wikiPageLength "1635"^^xsd:nonNegativeInteger .