АВ=ВС, ТВ=ВР-по условию, значит АТ=РС и ТР║АС⇒
∠АСР=∠ТРВ-как соответственные
при ТР║АС и секущей ВС.
∠СРО=∠ТРВ-как вертикальные,
но ∠СРО=∠СОР, так как по условию
СР=СО, ∠ТРВ=∠РТВ, так как ТВ=ВО по
условию⇒∠СОР=∠РТВ, а это накрест
лежащие углы при прямых АВ и СО и секущей ВС⇒АВ║СО