Для проверки принадлежности точки H единичной полуокружности нужно вычислить сумму квадратов ее координат и убедиться, что она равна 1.

[tex]\left(\frac{\sqrt2}{2}\right)^2 + \left(-\frac{1}{\sqrt2}\right)^2 = \frac{2}{4} + \frac{1}{2} = \frac{1}{2} + \frac{1}{2} = 1[/tex]

Таким образом, точка H принадлежит единичной полуокружности.