求助一道三角函数题在三角形ABC中，角BAC=90°。AB=AC，点D为平面内的一个动点，连接BD，CD，分别以BD，C
求助一道三角函数题
在三角形ABC中，角BAC=90°。AB=AC，点D为平面内的一个动点，连接BD，CD，分别以BD，CD为斜边向右侧做等腰直角三角形BDE和CFD，连接EF
如图所示，当点D在线段AC上时，若角ABD=a，BD=K，求EF长（用含K，a的式子表示）
可能相似的问题
你能帮帮他们吗