直交変換と対称変換の基本的性質