{2}2CD的平方=AD的平方 DB的平方.