早よとけよ
仕事できない、算数もできないのか

a=(1+√5) /2 とする。任意の正の整数nにたいして
[[na]a]=[na^2]−1が成り立つことを証明しろ