56:
408:(Townsend translation referenced below), in the authorized English translation of the 10th edition translated by L. Unger (also published by Open Court) it is numbered II.4. There are several differences between these translations.
222:
In other treatments of elementary geometry, using different sets of axioms, Pasch's axiom can be proved as a theorem; it is a consequence of the plane separation axiom when that is taken as one of the axioms.
261:. Since he does not phrase the axiom in terms of the sides of a triangle (considered as lines rather than line segments) there is no need to talk about internal and external intersections of the line
281:
which is a statement about the order of four points on a line. However, in literature there are many instances where Pasch's axiom is referred to as Pasch's theorem. A notable instance of this is
310:
of the lines meeting. In projective geometry the concept of betweeness (required to define internal and external) is not valid and all lines meet (so the issue of parallel lines does not arise).
214:
Pasch published this axiom in 1882, and showed that Euclid's axioms were incomplete. The axiom was part of Pasch's approach to introducing the concept of order into plane geometry.
679:
661:
595:
572:
524:
506:
485:
459:
235:. Given the remaining axioms in Hilbert's system, it can be shown that Pasch's axiom is logically equivalent to the plane separation axiom.
306:
There is no mention of internal and external intersections in the statement of the Veblen-Young axiom which is only concerned with the
725:
730:
254:
basis for
Euclidean geometry. Depending upon the edition, it is numbered either II.4 or II.5. His statement is given above.
195:
to our line, we count an "intersection at infinity" as external.) A more informal version of the axiom is often seen:
205:
If a line, not passing through any vertex of a triangle, meets one side of the triangle then it meets another side.
451:
257:
In
Hilbert's treatment, this axiom appears in the section concerning axioms of order and is referred to as a
325:
It can, however, be derived from weaker axioms of plane separation taken for granted by Euclid, as shown in
642:
40:
307:
289:
228:
192:
232:
278:
17:
604:
Pambuccian, Victor (2011), "The axiomatics of ordered geometry: I. Ordered incidence spaces.",
698:
675:
657:
591:
568:
520:
502:
481:
455:
627:
609:
494:
105:
469:
465:
97:
583:
539:
32:
550:
302:
If a line intersects two sides of a triangle, then it also intersects the third side.
719:
535:
243:
638:
156:
44:
417:
only
Hilbert's axioms I.1,2,3 and II.1,2,3 are needed for this. Proof is given in
701:
614:
631:
567:, translated by Unger, Leo (2nd ed.), LaSalle, IL: Open Court Publishing,
706:
352:
This is taken from the Unger translation of the 10th edition of
Hilbert's
173:
24:
622:
Pambuccian, Victor (2024), "Why did Euclid not need the Pasch axiom?.",
224:
55:
288:
Pasch's axiom should not be confused with the Veblen-Young axiom for
36:
558:, translated by Townsend, E. J., LaSalle, IL: Open Court Publishing
251:
54:
517:
Euclidean and Non-Euclidean
Geometries: Development and History
499:
Euclidean and Non-Euclidean
Geometries: Development and History
590:(Third ed.), Addison-Wesley, Reading, MA, p. 74,
43:
as Euclid gave them. Its essential role was discovered by
187:, if it does not pass through a vertex of the triangle.
430:
377:
448:
Projective geometry: from foundations to applications
478:
Foundations of
Euclidean and Non-Euclidean Geometry
162:A more modern version of this axiom is as follows:
155:is proved in Supplement I,1, which was written by
647:(in German) (2nd ed.), Leipzig: B.G. Teubner
172:In the plane, if a line intersects one side of a
446:Beutelspacher, Albrecht; Rosenbaum, Ute (1998),
131:, it also passes through a point of the segment
588:Elementary Geometry from an Advanced Standpoint
519:(4th ed.), San Francisco: W.H. Freeman,
501:(1st ed.), San Francisco: W.H. Freeman,
59:Two lines (in black) meeting a triangle side
8:
179:then it intersects precisely one other side
296:
199:
166:
78:
389:
326:
297:Veblen-Young axiom for projective geometry
674:, Mineola, New York: Dover Publications,
613:
400:
398:
282:
200:A more informal version of Pasch's axiom
365:
336:
334:
318:
167:A more modern version of Pasch's axiom
127:passes through a point of the segment
111:which does not meet any of the points
652:Wylie, Jr., Clarence Raymond (1964),
418:
368:, p. 200, the Unger translation.
340:
151:are not both intersected by the line
96:be three points that do not lie on a
7:
238:
39:, which cannot be derived from the
544:(in German), Leipzig: B.G. Teubner
431:Beutelspacher & Rosenbaum 1998
378:Beutelspacher & Rosenbaum 1998
14:
644:Vorlesungen uber neuere Geometrie
480:, New York: Marcel Dekker, Inc.,
135:, or through a point of segment
277:Pasch's axiom is distinct from
265:with the sides of the triangle
246:uses Pasch's axiom in his book
515:Greenberg, Marvin Jay (2007),
239:Hilbert's use of Pasch's axiom
1:
615:10.1016/j.exmath.2010.09.004
63:and meeting the other sides
552:The Foundations of Geometry
191:(In case the third side is
747:
670:Wylie, Jr., C.R. (2009) ,
632:10.1007/s00022-024-00712-x
476:Faber, Richard L. (1983),
452:Cambridge University Press
292:, which may be stated as:
15:
656:, New York: McGraw-Hill,
606:Expositiones Mathematicae
726:Euclidean plane geometry
563:Hilbert, David (1999) ,
549:Hilbert, David (1950) ,
541:Grundlagen der Geometrie
404:axiom II.5 in Hilbert's
16:Not to be confused with
731:Foundations of geometry
672:Foundations of Geometry
654:Foundations of Geometry
565:Foundations of Geometry
406:Foundations of Geometry
354:Foundations of Geometry
248:Foundations of Geometry
229:his axiomatic treatment
143:The fact that segments
74:The axiom states that,
227:uses Pasch's axiom in
71:
495:Greenberg, Marvin Jay
356:and is numbered II.4.
58:
35:, used implicitly by
421:, pp. 116–117).
259:plane axiom of order
624:Journal of Geometry
300: —
290:projective geometry
203: —
183:and the third side
170: —
82: —
699:Weisstein, Eric W.
308:incidence property
298:
250:which provides an
233:Euclidean geometry
201:
168:
80:
72:
31:is a statement in
681:978-0-486-47214-0
663:978-0-070-72191-3
597:978-0-201-50867-3
574:978-0-87548-164-7
526:978-0-7167-9948-1
508:978-0-7167-0454-6
487:978-0-8247-1748-3
461:978-0-521-48364-3
104:be a line in the
738:
712:
711:
684:
666:
648:
634:
618:
617:
600:
577:
559:
557:
545:
529:
511:
490:
472:
434:
428:
422:
415:
409:
402:
393:
387:
381:
375:
369:
363:
357:
350:
344:
338:
329:
323:
301:
264:
204:
171:
154:
126:
103:
83:
70:
66:
62:
746:
745:
741:
740:
739:
737:
736:
735:
716:
715:
702:"Pasch's Axiom"
697:
696:
693:
682:
669:
664:
651:
637:
621:
603:
598:
582:
575:
562:
555:
548:
534:
527:
514:
509:
493:
488:
475:
462:
445:
442:
437:
429:
425:
416:
412:
403:
396:
390:Wylie, Jr. 1964
388:
384:
376:
372:
364:
360:
351:
347:
339:
332:
327:Pambuccian 2024
324:
320:
316:
304:
299:
283:Greenberg (1974
279:Pasch's theorem
275:
262:
241:
220:
212:
207:
202:
189:
169:
152:
141:
124:
101:
81:
68:
64:
60:
53:
21:
18:Pasch's theorem
12:
11:
5:
744:
742:
734:
733:
728:
718:
717:
714:
713:
692:
691:External links
689:
688:
687:
686:
685:
680:
662:
649:
635:
619:
601:
596:
580:
579:
578:
573:
560:
536:Hilbert, David
532:
531:
530:
525:
507:
491:
486:
473:
460:
441:
438:
436:
435:
423:
410:
394:
382:
370:
358:
345:
330:
317:
315:
312:
294:
274:
271:
240:
237:
219:
216:
211:
208:
197:
164:
123:. If the line
76:
52:
49:
33:plane geometry
13:
10:
9:
6:
4:
3:
2:
743:
732:
729:
727:
724:
723:
721:
709:
708:
703:
700:
695:
694:
690:
683:
677:
673:
668:
667:
665:
659:
655:
650:
646:
645:
640:
639:Pasch, Moritz
636:
633:
629:
625:
620:
616:
611:
608:(29): 24–66,
607:
602:
599:
593:
589:
585:
581:
576:
570:
566:
561:
554:
553:
547:
546:
543:
542:
537:
533:
528:
522:
518:
513:
512:
510:
504:
500:
496:
492:
489:
483:
479:
474:
471:
467:
463:
457:
453:
449:
444:
443:
439:
432:
427:
424:
420:
414:
411:
407:
401:
399:
395:
392:, p. 100
391:
386:
383:
379:
374:
371:
367:
362:
359:
355:
349:
346:
342:
337:
335:
331:
328:
322:
319:
313:
311:
309:
303:
293:
291:
286:
284:
280:
272:
270:
268:
260:
255:
253:
249:
245:
244:David Hilbert
236:
234:
230:
226:
217:
215:
209:
206:
196:
194:
188:
186:
182:
178:
175:
163:
160:
158:
150:
146:
140:
138:
134:
130:
122:
118:
114:
110:
107:
99:
95:
91:
87:
79:Pasch's axiom
75:
57:
50:
48:
46:
42:
38:
34:
30:
29:Pasch's axiom
26:
19:
705:
671:
653:
643:
623:
605:
587:
584:Moise, Edwin
564:
551:
540:
516:
498:
477:
447:
426:
413:
405:
385:
373:
366:Hilbert 1999
361:
353:
348:
343:, p. 21
321:
305:
295:
287:
276:
266:
258:
256:
247:
242:
221:
218:Equivalences
213:
198:
190:
184:
180:
176:
165:
161:
148:
144:
142:
136:
132:
128:
120:
116:
112:
108:
93:
89:
85:
77:
73:
45:Moritz Pasch
28:
22:
433:, p. 6
419:Faber (1983
380:, p. 7
720:Categories
440:References
341:Pasch 1912
285:, p. 67).
185:externally
181:internally
177:internally
157:P. Bernays
69:externally
65:internally
61:internally
41:postulates
707:MathWorld
641:(1912) ,
252:axiomatic
51:Statement
47:in 1882.
586:(1990),
538:(1903),
497:(1974),
193:parallel
174:triangle
100:and let
25:geometry
626:(115),
470:1629468
273:Caveats
225:Hilbert
210:History
678:
660:
594:
571:
523:
505:
484:
468:
458:
37:Euclid
556:(PDF)
314:Notes
106:plane
676:ISBN
658:ISBN
592:ISBN
569:ISBN
521:ISBN
503:ISBN
482:ISBN
456:ISBN
147:and
98:line
84:Let
67:and
628:doi
610:doi
267:ABC
231:of
109:ABC
23:In
722::
704:.
466:MR
464:,
454:,
450:,
397:^
333:^
269:.
159:.
149:BC
145:AC
139:.
137:BC
133:AC
129:AB
119:,
115:,
92:,
88:,
27:,
710:.
630::
612::
263:a
153:a
125:a
121:C
117:B
113:A
102:a
94:C
90:B
86:A
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.