~draw~ rechteck(-1|0 1 1);strecke(0|0 -1|1);strecke(0|0 1.41|0);strecke(0|1 1.41|0);zoom(3) ~draw~
Zeichne in dem Quadrat die Diagonale (Hier strecke(0|0 -1|1) .
Die hat dann die Länge a*√2.
Drehe Sie um die Ecke (0;0) um 135° im Uhrzeigersinn. Das wird dann
strecke(0|0 1.14|0).
Diese und die eine Seite des ursprünglichen Quadrats bilden ein
rechtwinkliges Dreieck mit den Katheten a und a*√2, also
ist die Hypotenuse a*√3. Und das Hypotenusenquadrat also
das gesuchte Quadrat mit 3a^2.