加法定理の証明１

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