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