Дан прямоугольный треугольник DNF​

∠F = 65˚

△NDF - прямоугольный.

∠N

Сумма острых углов прямоугольного треугольника равна 90°

=> ∠N = 90˚ - 65˚ = 25˚

r=a*√3/3 - радиус описанной окр. прав.δ, -а- сторона

r=√(1+в*√2/2) - радиус описанной окр. прав. восьмиугол, -в- сторона

а=45/3=15

15*√3/3=в*√(1+√2/2)

5√3=в√(1+√2/2)

в=6,63 см

cos (90⁰+α)  = - sin  α

cos 90⁰ ·  cos  α  - sin 90⁰  · sin  α = - sin  α

0  · cos  α - 1  · sin  α =  - sin  α

- sin  α =  - sin  α

тождество доказано