A little noticed right triangle

Given a right triangle ABC, with the ninety degree angle at A; consider the triangle O1OO2.Where the point O is the midpoint of the hypotenuseBC(and so the center of the triangle ABC's circumcircle), the point O1 being the triangle AOB's circumcenter, and the point O2 being the triangle AOC circumcenter. The triangle O1OO2 is actually a right triangle similar to ABC. In the early part of this work, some geometrical formulas are derived, including some lengths of segments from a nearby trapezoid. After that, the focus changes. We examine the case when ABC is a Pythagorean triangle, and find the precise conditions under which the triangle O1OO2 is also Pythagorean. A numerical table of values is also offered at the end of the paper.