このページの式変形には数3を使っています