from math import isclose
from sympy import *
radius = csc(pi / 7) / 2 # arrange for side length = 1
center = Point(0, 0) # centered at Origin
p = Polygon(center, radius, n=7)
side = trigsimp(p.sides[0].length)
assert (isclose(side, 1, abs_tol=1e-30))
A, B, C, D, E, F, G = p.vertices
print(A)
print(B)
AE = Line(A, E)
GC = Line(G, C)
BF = Line(B, F)
GB = Line(G, B)
FA = Line(F, A)
P = FA.intersection(GB)[0]
H = AE.intersection(GC)[0]
J = AE.intersection(BF)[0]
I = GC.intersection(BF)[0]
area = Triangle(H, I, J).area*7
Big_area = Triangle(Point(0,0),A,B).area*7
Lit_area = Triangle(Point(0,0),J,I).area*7
SideL_area = Triangle(G,A,P).area*7
SideB_area = Triangle(G,A,H).area*7
S= Big_area-SideL_area-Lit_area-area
s= Big_area-SideB_area-Lit_area
print(S/s)
S_area = N(S, 20)
s_area =N(s,20)
print(S_area)
print(s_area)
print(S_area/s_area)
(-7*(-9 + cos(pi/14)/sin(pi/7) + 4*cos(3*pi/14)/sin(pi/7))/(32*(sin(pi/14) + 1)*sin(pi/14)*sin(pi/7)) - 7*(1 - sin(3*pi/14))*(-cos(3*pi/14) + cos(pi/14))/(4*(-sin(pi/7) + sin(2*pi/7) + cos(pi/14))*sin(pi/7)) - 7*(-cos(3*pi/14) + cos(pi/14))*(-789*cos(2*pi/7)/(8*sin(pi/7)) - 789*sin(3*pi/14)/(8*sin(pi/7)) - 385*sin(pi/14)/(4*sin(pi/7)) - 15*sin(5*pi/14)/(4*sin(pi/7)) - 15*(1 - cos(2*pi/7))**2*cos(2*pi/7)/sin(pi/7) - 23*(1 - cos(2*pi/7))**2*sin(pi/14)/sin(pi/7) - 3*(1 - cos(2*pi/7))**2*sin(3*pi/14)/sin(pi/7) + 9*(1 - cos(pi/7))**2/(2*sin(pi/7)) + 43*cos(3*pi/7)/(8*sin(pi/7)) + 2*(1 - cos(3*pi/7))**2/sin(pi/7) + 35*(1 - cos(2*pi/7))**2/(4*sin(pi/7)) + 10*(1 - cos(2*pi/7))**2/tan(pi/7) + 36/tan(pi/7) + 901/(8*sin(pi/7)))/(32*(sin(2*pi/7) + 2*sin(pi/7))*(-sin(pi/7) + sin(2*pi/7) + cos(pi/14))*(-6*cos(pi/14) + 5*sin(pi/7) + 4*cos(3*pi/14))*sin(pi/14)*sin(pi/7)**2) + 7*sin(2*pi/7)*csc(pi/7)**2/8)/(-7*(-48*sin(pi/7) - 22*cos(5*pi/14) - 7*sin(2*pi/7) + 35*cos(pi/14))/(4*(-60*cos(2*pi/7) - 49*sin(3*pi/14) - 75*sin(pi/14) - 20*sin(2*pi/7)**2 - 6*cos(pi/7) - 8*cos(2*pi/7)*cos(3*pi/7) + 8*cos(3*pi/7) + 38*sin(5*pi/14) + 66)) - 7*(1 - sin(3*pi/14))*(-cos(3*pi/14) + cos(pi/14))/(4*(-sin(pi/7) + sin(2*pi/7) + cos(pi/14))*sin(pi/7)) + 7*sin(2*pi/7)*csc(pi/7)**2/8)
2.4356342034533018176
1.2178171017266509088
2.0000000000000000000
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
Sort by:
Top NewestAs simple as that - we cut the big star into 21 pieces and make up two identical stars - one of the red and the second of the yellow and blue pieces.
Log in to reply
That's...incredible. Simply amazing Yuriy!
Log in to reply
Sympy! Cool!
Log in to reply
Yeah, sympy is fun to play with, isn't it? I wish it were a little better at simplifying trig expressions, though. That one is frightening me. :)
Log in to reply
Problem - find solution without Sympy. Only paper and pencil.
Log in to reply
You should tweet this to Cshearer41 on Twitter with a caption of
"Prove that the area of the pink region is twice the area of the blue region"
Log in to reply