ag4mout/solution.out

Theo đề bài ta có:
A B C D E H : Points
B,C,D are collinear [00]
AD ⟂ BC [01]
C,E,A are collinear [02]
BE ⟂ AC [03]
CA ⟂ HB [04]
BC ⟂ HA [05]

Các điểm cần dựng thêm:
Không cần dựng thêm điểm nào.

Các bước chứng minh:
001. C,E,A are collinear [02] & CA ⟂ HB [04] & BE ⟂ AC [03] & B,C,D are collinear [00] & BC ⟂ HA [05] & AD ⟂ BC [01] ⇒  ∠CEH = ∠CDH [06]
002. ∠CEH = ∠CDH [06] ⇒  H,C,D,E are concyclic