Документальная литератураАпология математики (сборник статей)стр 258
Светлый фон
AE AE | = | DC DC |. (2)

Наконец, выводим третье соотношение. Поскольку, как только что доказано, |DC| = |AE|, то |DC| = |AE| < |AC| = |AB|. Итак,

DC AE DC AE AC AB

|DC| < |AC| = |AB|. (3)

| DC DC | < | AC AC