Биссектриса делит угол на два равных угла.
∠POA=∠SOA (OA - биссектриса ∠POS)
∠OAP=∠OAS (по условию)
OA - общая сторона
△POA=△SOA (по стороне и прилежащим к ней углам)
В равных треугольниках против равных сторон лежат равные углы.
∠OPA=∠OSA (как соответствующие углы равных треугольников)
