如图,等腰直角三角形ABC中,角C=90点O是AB的中点边AC的长为a,将一块边长足够大的三角板的直角顶点放在O点处,将三角板绕点O旋转,始终保持三角板的直角边与AC相交,交点为点D,另一直角边与BC相交,交点为点E.证明:等腰直角三角形ABC被三角板覆盖部分的两条线段CD和CE长度之和为定值a。