Из условия следует, что треугольники АДС и БСД равны по стороне и общему углу (по стороне АД и общему углу ∠ADS = ∠BDS).
Таким образом, треугольники АДС и БСД равны (по двум сторонам и углу между ними), что означает, что отрезок АС равен отрезку БД (по стороне треугольника).
Дано: С и Д - прямые, АД = БС.
Из условия следует, что треугольники АДС и БСД равны по стороне и общему углу (по стороне АД и общему углу ∠ADS = ∠BDS).
Таким образом, треугольники АДС и БСД равны (по двум сторонам и углу между ними), что означает, что отрезок АС равен отрезку БД (по стороне треугольника).
Таким образом, доказано, что АС = БД.