りりむ三平方の定理の説明から虚数に辿り着く