Докажите, что прямая, содержащая биссектрису равнобедренного треугольника, проведённая к основанию, является осью симметрии треугольника. Какие теоретические обоснования используются в доказательстве данного утверждения?