จากรูป สามเหลี่ยมมุมฉาก ABC มีด้าน AC ยาวเท่ากับ 1 หน่วย
ต่อด้าน CA ออกไปที่ F ต่อด้าน AB ออกไปที่ D และต่อด้าน BC ออกไปที่ E โดยที่ทำให้ $AF=BD=CE$ และสร้างสามเหลี่ยมมุมฉาก DEF โดยที่มุม $D = 90^o$
ถ้าให้ $0<AB<x$ จงหาค่า $x$ ที่น้อยที่สุดที่เป็นไปได้