Siano dati due segmenti AB e CD, il secondo minore del primo: vogliamo costruire su AB un punto E tale che AE sia congruente a CD.[br]Sia F tale che AF congruente a CD (prop. 2). Costruiamo la circonferenza di centro A e raggio AF.[br]Sia E la sua intersezione col segmento AB.[br]Affermo allora che AE è congruente a CD, infatti...