>>311
y' = {(a^2-x^2)^(-1/2)} '=(-1/2){(a^2-x^2)^(-3/2)}*(-2x)=x/√(a^2-x^2)

>>315
x=a+bi (a, bは実数)が解だとして代入→展開→実部と虚部が0→実数オンリーの方程式になる

>>317
フェルミ推定か？
大前提のデータがわからんからお手上げ∩(´･ω･`)∩