Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Meta

Talkback

Downloads

Information
Heron's principle (Theorem)

theorem. Let A and B be two points and l a line of the Euclidean plane. If X is a point of l such that the sum AX + XB is the least possible, then the lines AX and BX form equal angles with the line l.

This Heron’s principle, concerning the reflection of Light, is a special case of Fermat’s principle in optics.

Proof. If A and B are on different sides of l, then X must be on the line AB, and the assertion is trivial since the vertical angles are equal. Thus, let the points A and B be on the same side of l. Denote by P and Q the points of the line l where the normals to l through A and B intersect l, respectively. Let C be the intersection point of the lines AQ and BP. Then X is the point of l where the normal to l through C intersects l.

Figure. Construction used in the proof of Heron’s principle.

Justification: From two pairs of similar right triangles we get the proportion equations

AP  : CX  = P Q : XQ,      BQ  : CX  = P Q : PX,

which imply

AP  : P X = BQ  : XQ.

From this we can infer that

△AXP    ∼  △BXQ.

Thus the corresponding angles AXP and BXQ are equal.

Figure. Reflection construction showing why the path through X is shortest.

It remains to show that the route AXB is the shortest. If X1 is another point of the line l, then AX1 = A′X1, and therefore

           ′         ′              ′      ′
AX1B   =  A X1B  = A  X1 + X1B  ≥  A B =  A XB  =  AXB.

References

[1]   Tero Harju, Geometria. Lyhyt kurssi. Matematiikan laitos. Turun yliopisto, Turku (2007).


"Heron's principle" is owned by pahio.
(view preamble)
View style:
See Also: Fermat's principle

Keywords:  reflection

Cross-references: Fermat's principle, Light, theorem

This is version 9 of Heron's principle, born on 2009-02-13, modified 2026-09-05.
Object id is 519, canonical name is HeronsPrinciple.
Accessed 1877 times total.

Classification:
Physics Classification: 02.40.Dr (Euclidean and projective geometries)
 42.15.-i (Geometrical optics)
Pending Errata and Addenda
1. need to up date from ps to tikz by bloftin on 2026-09-05 23:10:32
[ View all 1 ]
Discussion
Style: Expand: Order:
pstricks figures in HTML mode by pahio on 2009-04-19 15:49:44
Hi, what's the matter, when the pstricks figures are not seen in HTML mode (but are visible in page images mode)? E.g. "Heron's principle".
Jussi
[ reply | up ]

Interact
rate | post | correct | update request | prove | add result | add corollary | add example | add (any)