Do quadrado para octógono regular

Um octógono regular pode ser obtido a partir de um quadrado cortando-lhe quatro cantos rectangulares isósceles iguais. Como mostra a figura. Ao quadrado [JKLM], cortamos os triângulos isósceles iguais a [AIB] (ou [BJC], de hipotenusa [AB] dada para lado do octógono a construir. Se nos é dado o lado do octógono, qual é o lado do quadrado de que ele pode resultar por corte?

Para um octógono de raio 1, tomemos um quadrado de lado V2+1+V2.
Não! A nossa preferida não é esta. Não perdem por esperar.

Soluções com problema

Paulo Correia, de Alcácer do Sal, enviou-nos duas construções de octógno regular a partir do seu lado [já cá cantam 3 e ainda preferimos a nossa:-)] e uma interpretação para a construção da triangulatura do círculo acompanhada de um belo (geometer's)SKETCH(pad). De tudo daremos conta. Mas não adiamos mais a mensagem que desafia. Diz ele:
(...)Em terceiro lugar, uma sugestão de problema, para o qual não tenho resposta, mas que a intuição me diz existir - talvez até fácil...
"Dado um triângulo qualquer, construir um triângulo equilátero equivalente - com a mesma área." Depois podemos "triangular" um quadrado ou um quadrilátero qualquer...
Espero que lhe dê que pensar... julgo que gosta disso...
Tem razão o Paulo quando diz que gostamos de pensar e gostamos de quem de nós pensa sinceramente isso, dando-nos em que pensar. A nós e a todos os que vão passando por aqui. Obrigado, Paulo.
Confesso que escrevi triangulatura por causa da quadratura, mas nunca pensei na palavra para designar algo tão específico como determinar um triângulo regular equivalente a .... Ficamos a dever ao Paulo mais este acerto.