加法定理の証明１

スライダーの値を１にすることで，線分を回転させてもう一度A'P'の長さを求めましょう． ２つのA'P'が同じものですから，どんな式が作れますか？