examples/ex-31.rkt
#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)))))