コサイン差公式を使って cos(pi/2 - theta) = sintheta を証明。「cosine」という名前をこれが正当化する理由を説明。