A student of mine brought the following question to my attention. I am currently not able to solve it, any help would be appreciated. It should be a simple circle theorem that I have now forgotten.
Question: Let $AB$ be a chord of a circle with centre $O$ and let $P$ be a point on $AB$. We are given that $OP$ has length $4$, $AP$ has length $11$, $BP$ has length $3$. We want to determine the radius of the circle.