Wykaż, że półprosta jest dwusieczną.

[Tula]

Prosta m przecina dwie równoległe proste k,l odpowiednio w punktach B i A. Na prostej k zaznaczono punkt C w taki sposób, że |BC| = |AB|. Wykaż, że półprosta AC jest dwusieczną kąta DAB.

[yorgin]

Kąt przyległy do kąta ABC leżący pomiędzy prostymi k i l ma dwukrotnie większą miarę od kąta CAB. Ale ten kąt przyległy jest równy kątowi BAD i jest również dwukrotnie większy od kata CAB.