The envelope of the family of segments in this figure looks like a circle. But it is actually... something else!

By switching on the trace for the segment [i]j[/i] you can make some lazy experiments how a quarter of the full circle-like curve looks like. Just move point [i]E[/i] on the side [i]AD[/i].[br]Now type [code]Circle[C,B][/code] to draw the conjectured circle. (You cannot directly select C or B in this figure by using the tools.) Clearly, there is a visible a gap between the circle and the red curve.

By using the command [code]Envelope[j,E][/code] you can find the exact curve.[br]Try zooming out or moving the curve to learn more about it. Do you have a conjecture which curve is this?

[list=1][*]Create the same figure from scratch in GeoGebra on your own.[/*][*]Check the equation of the envelope in the Algebra View. What order does it have? Does it confirm your conjecture?[/*][*]Find better positions for points [i]A[/i] and [i]B[/i] to get a curve with an equation which is easier to observe. You may want to show the grid and the axes.[/*][*]Try to create the envelope curve explicitly without using the [b]Envelope[/b] command, but basic GeoGebra tools only.[/*][*]Now you will need to show that your curve is the same as the one that GeoGebra computed for you. This may be not straightforward because different equations will be shown (for the locus equation you will see an equation with integer coefficients, but for the other one the coefficients will be normed). A possible approach could be to create the intersection point [i]P[/i] of the segment [i]EE''[/i] and your curve, then create a tangent line [i]t[/i] to your curve at point [i]P[/i], finally lengthen the segment [i]EE''[/i] to a line. If the line [i]EE''[/i] and the tangent line are identical, then your curve must be correct! [color=#cccccc]You may check out [url=https://arxiv.org/abs/1704.08483]https://arxiv.org/abs/1704.08483[/url], section 5.1 if you get stuck.[/color][/*][/list]