2181

The blue line bisects the legs of the right triangle. Prove the red points are concyclic.