Does anyone know the proof of Mahavira's formulae for the calculation of the inner diagonals of the cyclic quadrilaterals? Presumably, they must be a continuation of Ptolemy's theorem. They are:

x=Sq.Root and symmetrically for y.

Thanks.