3平方の定理は中学で勉強するの?