余弦定理、と呟いてみる 三平方定理の証明とか楽しいですよー