In circle with centre p,AB is a diameter and seg CE `_|_` seg AB ….(Given)
`:.` seg PE `_|_` chord CD (Construction)
`:.` sec CE `~=` seg DE….(i)
(Perpendicular drawn from centre of the circle to the chord bisects the chord)
seg AB and seg CD are two chords intersecting inside the circle a point E
`:. AE xx BE = CE xx DE`
(Theorem of internal division of chords)
`AE xx BE = CE xx CE` .... (From i)
`AE xx BE = CE^(2)`
`:. CE^(2) = AE xx BE`
Hence it is proved that CE is the geometric mean of AE and EB.