#lang racket
(require (planet wcy/mpost-wrapper))
(provide main)
(define (main)
  (define (f AA A B C)
    (eqn= (op- AA A)
          (rotate  90 (op* (unknown-numeric)
                           (op- B C))))
    (eqn= AA (mediation (whatever) B C)))
  (let* ((A (point 0 0))
         (B (point '3cm 0))
         (C (point '1cm '2cm))
         (AA (unknown-point))
         (BB (unknown-point))
         (CC (unknown-point))
         (H (unknown-point)))
    (f AA A B C)
    (f BB B A C)
    (f CC C B A)
    (eqn= H (mediation (whatever) A AA))
    (eqn= H (mediation (whatever) B BB)) ;
    (for ((x (in-list (list
                       (op-- A B C 'cycle)
                       (op-- A AA)
                       (op-- B BB)
                       (op-- C CC)))))
         (draw x))
    (draw H #:withpen (scale '4bp 'pencircle))
    ))