09/01/19 19:28:43
>>38
その方針でやってみたら、機械的に求まったけど、膨大な計算になった
AD の傾き a とすると
a = tan(∠BDA + ∠ABD) = tan(∠BDA + 39°)
∴ tan(∠BDA) = (a - tan(39°)) / (1 + a*tan(39°))
>>38 より
tan(∠BDA) = t39 (t81 - t63) (t39 + t42)
/ (t63(t39 + t42) + t81(t63 - t39) + (t39)^2 t81 (t42 + t63))
(t39 は tan(39°) の意味、他も同様)
t39 = (4-3√3-2√5+√15 + (-1+2√3+√5)√(5-2√5)) / 2
t42 = (√3+√15 - (3+√5)√(5-2√5)) / 2
t63 = -1 + √5 + √(5-2√5)
t81 = 1 + √5 + (2+√5)√(5-2√5)
より
tan(∠BDA) = (297-170√3-131√5+76√15 + (-94+55√3+44√5-25√15)√(5-2√5))
/ (84-43√3-34√5+21√15 + (-23+16√3+13√5-6√15)√(5-2√5))
分母、分子に
84-43√3-34√5+21√15 - (-23+16√3+13√5-6√15)√(5-2√5)
を掛けて分母の √(5-2√5) を消す
tan(∠BDA)
= (89-53√3-41√5+23√15) / (19-17√3-13√5+5√15)
= 1/(2+√3)
= tan(15°)