请阅读下列材料，并完成相应的任务．

克罗狄斯·托勒密(约90年- 168 年)，古希腊天文学家、地理学家和光学家，在数学方面，他还论证了四边形的特性，即有名的托勒密定理，托勒密定理的内容如下：

圆的内接四边形的两条对角线的乘积等于两组对边乘积的和，即：如图1，若四边形ABCD

内接于⊙O，则有    

任务：