Рассмотрим прямоугольные треугольники ΔCEF и ΔDFK (где K — точка на прямой т, такая что CD || FK).
У нас есть:
Если точки C и D лежат в одной полуплоскости относительно прямой т, и CE и DF — перпендикуляры, то CE || DF.
Рассмотрим четырехугольник CDFE. Так как CE || DF и CD || EF (по построению, чтобы создать прямоугольник), то CDFE является прямоугольником.
В прямоугольнике противоположные стороны равны, следовательно, CE = DF.
Доказано.