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