Sin pérdida de generalidad, podemos suponer queA=A′,C=C′, y∡ACB,∡ACB′≥0. Considera los puntosA0,A1,...,An en la media línea[BA), tal q...Sin pérdida de generalidad, podemos suponer queA=A′,C=C′, y∡ACB,∡ACB′≥0. Considera los puntosA0,A1,...,An en la media línea[BA), tal queBAi=i⋅c para cada unoi. (En particular,A0=B yA1=A.) Construyamos los puntosC1,C2,...,Cn, para eso∡AiAi−1Ci=β yAi−1Ci=a para cada unoi.
