Taille d’une double porte
Un client veut faire construire une maison dont la façade est un demi-disque. Il veut vérifier que la double porte aura bien une longueur d’au moins 6 m.
AB = 4243 mm. AB est la diagonale d’une porte.
Comment le client procède-t-il pour vérifier la longueur de la double porte ?