I triangoli ADE, DFE, FEC sono uguali e rettangoli con angoli di 30° e 60° e quindi sono semi equilateri aventi il cateto maggiore uguale a 1.

Ne segue che DB è il doppio di AD, CF è il doppio di FB, AE è il doppio di EC. Dalle relazioni sui triangoli rettangoli semi equilateri si ottiene: