Duplicating the cube: Eratosthenes' mean finder

Eratosthenes solved the problem of duplicating a cube by mechanical means. It was known to the Greeks that the problem of duplicating the cube was equivalent to the problem of finding two mean proportionals between two given line segments of lengths [math]s[/math] and [math]2s[/math].[br][br]The method that Eratosthenes used could be used to find two mean proportionals between any two given segments ([math]b=AE[/math] and [math]a=DH[/math] in the diagram).[br][br][list=1][br][*] Move points [math]E[/math] and [math]D[/math] until [math]AE[/math] and [math]DH[/math] have the desired lengths. (Do nothing, or reset the diagram, if you want to find the mean proportionals between 1 and 2.)[br][*] Produce the segment [math]AD[/math].[br][*] Drag point [math]M'[/math] until [math]MF[/math], [math]AD[/math], and [math]M'G[/math] intersect on one point.[br][*] Drag point [math]N'[/math] until [math]NG[/math], [math]AD[/math], and [math]N'H[/math] intersect on one point.[br][*] Adjust until these intersections are both determined.[br][/list]
[math]x[/math] and [math]y[/math] are the two mean proportionals that we were looking for. Prove it.

Information: Duplicating the cube: Eratosthenes' mean finder