(2013•石景山区二模)(1)如图1,把抛物线y=-x2平移后得到抛物线C1,抛物线C1经过点A(-4,0)和原点O(0,0),它的顶点为P,它的对称轴与抛物线y=-x2交于点Q,则抛物线C1的解析式为______;图中阴影部分的面积为______.
(2)若点C为抛物线C1上的动点,我们把∠ACO=90°时的△ACO称为抛物线C1的内接直角三角形.过点B(1,0)做x轴的垂线l,抛物线C1的内接直角三角形的两条直角边所在直线AC、CO与直线l分别交于M、N两点,以MN为直径的⊙D与x轴交于E、F两点,如图2.请问:当点C在抛物线C1上运动时,线段EF的长度是否会发生变化?请写出并证明你的判断.