角ADB+角DAB=角ABC 则 角DAB=角ABC-角ADB=22.5 ABD为等腰三角形 BD=AB=√2AC
tan22.5=AC/DC=AC/(DB+BC)=AC/(√2AC+AC)=1/(√2+1)