A(ABCD) = 100cm² dont 25cm² est couvert par le triangle
A(EFG) = 3*25 = 75cm² dont 25cm² est couvert par le carré
Soit L la longueur d'un coté du triangle, d'après Héron on a A(EFG)=L²√3/4
L=10*√(√3)
Soit I l'intersection BC-EF
Soit J l'intersection CD-EG
Soit K la projection de I sur EG
EI = 2*CJ/√3
EK = EI/2 = CJ*√3/3
IC = KJ = EJ-EK = L/2-CJ*√3/3
A(EICJ) = ((EJ+IC)*CJ)/2 = 25
avec EJ = L/2 connu et IC = f(CJ)
On trouve CJ = -(5*(√3-3)*3^(3/4))/3
La hauteur FJ d'un triangle équilatéral est de L*√3/2
On déduit FC = FJ-CJ = 5*√(√3)
BCF est un triangle rectangle, on connait BC = 10, FC = 5*√(√3)
D'après le théorème de Pythagore, BF = 5*√(√3+4) ~= 11.9709 cm