#lang racket
(require (planet wcy/mpost-wrapper))
(provide main)
(define (main)
  (let* ((u '2cm)
         (A (point 0 0))
         (B (point (op* 2 u) (op* -0.5 u)))
         (C (point u u))
         (M (unknown-point))
         (h (unknown-point)))
    (draw (op-- A B C 'cycle))
    (eqn= (op- M A)
          (op* (whatever)
               (rotate (op* 0.5
                            (op-
                             (op-angle (op- B A))
                             (op-angle (op- C A))))
                       (op- A C))))
    (eqn= (op- M B)
          (op* (whatever)
               (rotate (op* 0.5
                            (op-
                             (op-angle (op- C B))
                             (op-angle (op- A B))))
                       (op- B A))))
    (for ((x (in-list (list A B C))))
         (draw (op-- M x)))
    (eqn= (op- M h)
          (op* (whatever) (rotate 90 (op- B C))))
    (eqn= h (mediation (whatever) B C) )
    (draw (fullcircle (op* 2 (op-abs (op- M h)))
                      M))))