#lang racket (require (planet wcy/mpost-wrapper)) (require (planet wcy/mpost-wrapper/label)) (provide main) (define (A-B-C) (values (point 0 0) (point '1cm 0) (point 0 '1cm))) (define (main) (call-with-values A-B-C (lambda (A B C) (draw (op-- A B C 'cycle)) (label-bot (btex "$1$") (mediation 0.5 A B)) (label-lft (btex "$1$") (mediation 1/2 A C)) (label-urt (btex "$\\sqrt 2$") (mediation 1/2 B C)))))