The diagram below shows a circle inscribed in an isosceles right angled triangle.

The vertical distance from the base of the triangle at O to the point A where the circle is a tangent to the triangle in the diagram below is

By symmetry the vertical distance from O to A is half the height (or base) of the triangle,

Hence