∠DAC=α ∠ADC=α ∠BDC=180°-α ∠ABC=90°-α ∠BCD=2α-90°
asin(180°−α)=bsin(90°−α)=DBsin(2α−90°)
asin(α)=bcos(α)=DBsin(2α−90°)
∠DCA=90°-(2α-90°)=180°-2α
bsin(α)=ADsin(180°−2α)
AD=sin(α)b(180°−2α
DB=c−AD=c−sin(α)b(180°−2α
asin(α)=bcos(α)=c−sin(α)b(180°−2α)sin(2α−90°)
asin(α)=bcos(α)=c⋅sinα−b(180°−2α)sin(α)⋅sin(2α−90°)
sin(α)=ca
aca=bcos(α)=
c1=bcos(α)=
Im Augenblick sehe ich da noch keinen weiteren Weg.