File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -103,9 +103,9 @@ to the distance between `p` and `s'`, since they form parallel
103103lines. Now take the line from ` p ` to ` e ` . Notice that it intersects
104104the line from ` i ` to ` s' ` , at a point we will call ` e' ` . Now notice
105105that ` e' ` , ` s' ` and ` p ` form a right triangle, of which the line from
106- ` e' ` to ` s '` is the hypotenuse (and it's * shorter* than the original
107- line too ). This shortened line, in turn, is yet shorter than the leg
108- ` s' ` to ` p ` . But length of this leg is precisely the distance from ` s `
106+ ` p ` to ` e '` is the hypotenuse (and it's * shorter* than the original
107+ line from ` p ` to ` i ` ). This shortened line, in turn, is yet shorter than the leg
108+ ` p ` to ` s' ` . But length of this leg is precisely the distance from ` s `
109109to ` i ` , and so we know that it's a lower bound to the distance from
110110` e ` to ` p ` , and we are done.
111111
You can’t perform that action at this time.
0 commit comments