Soit ABC un triangle rectangle en A et de surface s. On construit à l'extérieur du triangle le carré BCEF. Montrer que: AE²+ AF² = 3 BC² + 8 s​