Proposition: [i]To draw a segment which respects three points.[/i]
[math] \;\;\;[/math][b]Tool (.ggt):[/b][url]http://www.geogebratube.org/material/show/id/87348[/url]
[math] \;\;[/math] TrimLine3Pts[A,B,C, m1, m2]
[math] \;\;\;[/math] Points A,B,C
[math] \;\;\;[/math] margins (numbers) m1, m2
Also useful for drawing trimmed lines. E.g. [url]http://www.geogebratube.org/material/show/id/35525[/url]
____________
[b]The problem:[/b]
In Elementary Geometry, a finite line (segment) is a portion of a line. For example, the sides of a triangle may always be extended. In GGB, the Segment object does not properly respect these definitions. For example, [url]http://www.geogebratube.org/student/m5313[/url]
[math]\;\;[/math] [i]Drag slider c.[/i]
(Can we write QED? Are the extensions produced, and the points placed upon them?)
This tool is part of a solution.
