1 / 44

Numerical Projective Invariants

Numerical Projective Invariants. FUMIKO'S WORK. Equally Spaced Points. (one end) ÷ (middle) • (other end). ÷ (total). Some Notation Given distinct points A, B, we denote. Given four collinear points A, B, C, D, regardless of order, we define the cross ratio X ( ABCD ) by.

charlescardona
Download Presentation

Numerical Projective Invariants

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Numerical Projective Invariants

  2. FUMIKO'S WORK

  3. Equally Spaced Points

  4. (one end) ÷ (middle) •(other end) ÷ (total)

  5. Some Notation Given distinct points A, B, we denote

  6. Given four collinear points A, B, C, D, regardless of order, we define the cross ratio X(ABCD) by where ||*|| denotes directed distance.

  7. The absolute value is very useful, too:

  8. Rearranging the labels gives a different value:

  9. Given four collinear points, and any arrangement of the labels A, B, C, D, the cross ratio X(ABCD) is projectively invariant. Naturally, the same is true of |X(ABCD)|.

  10. That is, if A, B, C, D are collinear points, and A', B', C', D' are their corresponding projective images, then and

  11. When one point is at infinity, (an ideal point), we formally compute |x(ABCD)| as follows:

  12. In the plan view (unprimed letters),

  13. Thus by the invariance of the cross ratio, (a harmonic range)

  14. Recall that the image of a straight line not parallel to the picture plane has a vanishing point.

  15. An application (see worksheet): l l

  16. image not a right angle

  17. Projective geometry: a geometry “which disregards all considerations of distance and angle.” H. S. M. Coxeter and S. L. Greitzer Geometry Revisited MAA, Washington, D.C., 1967

  18. HOMEWORK For more information, see the paper A Different Angle on Perspective The College Mathematics Journal Vol. 43, No. 5 (2012), 354–360.

  19. F G E H D A B C

  20. Definition. A product of ratios of (either directed or ordinary) distances, where all the indicated points lie in one plane, is called an h-expression if it has the following properties: • In each ratio the points that occur are collinear. • Each point appears in the numerator of the product exactly as many times as it does in the denominator.

  21. Theorem (Howard W. Eves, 1913–2000) The value of an h-expression is invariant under any projective transformation.

  22. Eves's theorem can even be generalized to non-planar polygons. Here is invariant!

  23. The famous cross ratio is an h-expression: Its projective invariance is a special case of Eves’ theorem!

  24. “We feel that Eves’ theorem has never been given the recognition it deserves and should be regarded as one of the fundamental results of projective geometry.” G. C. Shephard

  25. Eves’ theorem appeared with little fanfare in his textbook A Survey of Geometry Allyn and Bacon, Boston (1963)

  26. HOW FAST WAS THIS CAR GOING?

  27. THE KEY STEP IS THE DETERMINATION OF THE SKID MARK LENGTH |AB|. THE WHITE CAR (1969 DODGE CHARGER)

  28. IT’S EASY WITH EVES’ THEOREM: |AB| =(WHEELBASE) × (h-EXPRESSION). LOCATED ARBITRARILY I MEASURED, AND CALCULATED ≈ 1.5

  29. MORE HOMEWORK See the paper A Car Crash Solved—with A Swiss Army Knife Mathematics Magazine Vol. 84, No. 5, 2011, 327–338

  30. Alternate solution: when D is infinite, 1969 Dodge Charger

  31. Thus, with the vanishing point D', Or equivalently,

  32. HOWARD W. EVES 1911–2004

More Related