HIJL est un carré. Les triangles IJF et JKL sont équilatéraux.
Si IJ = 1, combien vaut FK ?