Euclidea 2.8 -

We need to define the perpendicular to $OA$.

In a 45-45-90 triangle, the is the circumcenter, and the right angle vertex is on the circle with diameter AB — specifically at 90° from the hypotenuse's perpendicular bisector. euclidea 2.8

This is a great request. is the level where you must construct a right isosceles triangle given only the hypotenuse. We need to define the perpendicular to $OA$

Construction: