The proof is direct consequence of the property proved in Bisector.html . I is the intersection point of the two bisectors and coincides with the middle of the arc BC. The six points B, F, G, C, H and E are equidistant from I. Notice that the angle(FIG) is equal to angle B of the triangle. Hence, varying C on (c) the rectangle EFGH changes its dimensions but remains similar to itself.

Considering the other pairs of triangles, like (BCA, BCA*) in the cyclic quadrangle BCA*A one can construct an interesting figure containing a cross. Look at the file BisectorCross.html for a further discussion on this.

Produced with EucliDraw© |