Проведем EF, которая будет параллельна АС (т.к АДС - равнобедренный). АСЕФ - равнобедренная трапеция, АФ и СЕ - диагонали. по св-ву диагоналей равнобедренной трапеции они делят трапецию на два равных треугольника и два подобных равнобедренных треугольника. значит, АБС - равнобедренный