因为角EFG=45=角ADO，所以AFOD四点共圆，所以角AOD=90，剩下BO=DO就是很显然的事情了。可惜的是，现在四点共圆的很多判定和性质好像不让用？
--
FROM 114.113.90.*