角CAD+角ADE=90度
角ADE+角EDC=90度.
所以角CAD=角EDC
CAD的余切就等于EDC的余切.
所以:AD/DC=DC/EC,又因为EC=AD/2.
以上两个式子可以解出:AD=根号2倍EC.所以CAD的余切等于根号2