Tu conjetura es correcta, y se puede demostrar en coordenadas con bastante facilidad. (Si por "lado a" te refieres al lado opuesto al ángulo $\alpha$ que se encuentra en el punto $A$ entonces deberías tener " $|CS| = |BS|$ ", en lugar de " $|AS| = |BS|$ ", por supuesto. Estoy bastante seguro de que esto es lo que querías decir).
Tenga en cuenta que para que su conjetura sea cierta, necesitamos $\alpha \ne 0$ para que $AC$ y $AS$ son líneas distintas.
Aquí hay una secuencia que constituye una prueba, pero tendrás que hacer tu propio dibujo.
Supongamos que $AC > AB$ (Voy a omitir los símbolos |X| cuando es obvio que estoy hablando de longitudes). Poner un punto $Q$ en $AC$ con $A-Q-C$ y $AQ = AB$ . Si decimos que $x = BS$ entonces $x = QS$ también, reflejando a través de la línea $AS$ . Sea $H$ sea un punto de AS con $A-S-H$ .
Dejar $\beta$ sea el ángulo en $B$ y $p$ sea el ángulo $BSA$ tenemos
- $p = ASQ$ (Congruencia ASA)
1.5 $\gamma = SQA = \beta$
1.6 $SQC = p$
-
$HSC= p$ (ángulos verticales, defn de $p$ )
-
$QSC = \pi - 2p$
-
$QSC + SCQ + CQS = \pi$
-
$(\pi - 2p) + SCQ + p = \pi$ (utilizando el punto 1)
-
$SCQ - p = 0$ Así que $SCQ = p$ .
-
La línea $AS$ se encuentra con $BC$ con ángulo $p$ en $S$ la línea $AC$ se encuentra con $BC$ con ángulo $p$ y $C$ Así que $AS$ y $AC$ son paralelos.
-
La contradicción, por $AC$ y $AS$ se reúnen en $A$ . (también usando el "necesitamos" que está en negrita arriba, y que muestra que $AC$ y $AS$ no son idénticos)