Hints for construction tasks
Obtain hints to relate nongiven objects to the given ones by construction.Construction tasks ask for construction steps (equivalent to using a compass and ruler (or a square set )) that lead from given objects to the object to be constructed. Dynamic geometry systems can help solve geometric tasks in a variety of ways, ranging from the study of loci of points to visual verification of constructions by dragging points.
We show here a method specific to OK Geometry that often gives not only useful hints for construction, but also a pleiad of several, often unexpected, solutions to construction tasks.
Here is the general approach:
 Obtain, in some way, a configuration with the given objects and the object(s) to be constructed. You can start from the final object(s) and then position accordingly the given objects. Another option is to use advanced construction commands in OK Geometry.
 Use OK Geometry to observe the configuration.
 Choose the observed the properties that relate the object(s) to be constructed to the given ones. At this stage, it is of great help to use the query buttons (magenta buttons with question marks on the right)  to show only properties related to a specified object.
 Elaborate the construction steps.
 If no satisfactory property is found, it often helps to add to the configuration new points or objects  constructible from the given ones.
 The observed properties used in the construction should, obviously, be proved to validate the construction.
 The Plus mode of OK Geometry contains a much more powerful mechanism for relating constructed objects to the initially given ones. See this link.
 The Plus mode also includes a method to display the steps of geometric construction as an animated image or a sequence of images. See link.
Given is a line k and points A, B on the same side of k. How to construct a circle through A and B that touches the line k ? In general, there are, obviously, two different solutions to the task. 
First, you need a configuration to be observed. You can draw the given objects (points A,B and line k) and use the command Circle 3obj to position the sought circle. Or, you start with a circle and position the points A, B and the line k.
The obvious strategy in solving this construction task is to find the position of the centre of the sought circle or a third point on its circumference  the obvious chouce is the point ov contact of the circle and the line k. In the above figure (with eventually added objects) OK Geometry detects properties that lead to different solutions of the task above. We show some properties and the related constructions. Proving some of them can be challenging task.
In the figures below we use the following notation:
C is the intersection line AB and line k,
F is the intersection of k and the bisector of AB,
G and G' are the centres of the sought circles,
E is the midpoint of GG'.
Triangles ACD and DCB are similar.
Consequently, CD^{2} = CA·CB .

The construction is based on a well known property of right triangles.
Steps:

CF^{2} = FA^{2} + CD^{2}

The construction is based on Pythagoras' theorem for right triangles.
Steps:

CA·CB is the power of C wrt. the sought circle.

The construction is based on power theorem. In our case the power of the point C is the same for all circles passing through A,B and equals the square of the tangent segment from C to the circle.
Steps:

The line FA is tangent to the circle through D,A,D'.
CD = CD'

Steps:

The centre K of the circle through G,B,G' lays on the tangent to the circle through ABF.
The line EC is perpendicular to k.

Steps:
