Item:Q7812: Difference between revisions
Created claim: subclass of (P1): equilateral pentagon (Q7803) |
Created claim: has quality (P14): circumradius (Q5587) |
||
(9 intermediate revisions by the same user not shown) | |||
Property / subclass of | |||
Property / subclass of: regular convex polygon / rank | |||
Normal rank | |||
Property / subclass of: regular convex polygon / qualifier | |||
Property / subclass of: regular convex polygon / qualifier | |||
Property / subclass of | |||
Property / subclass of: constructible polygon / rank | |||
Normal rank | |||
Property / subclass of | |||
Property / subclass of: dodecahedral pentagonal polytope / rank | |||
Normal rank | |||
Property / subclass of | |||
Property / subclass of: icosahedral pentagonal polytope / rank | |||
Normal rank | |||
Property / subclass of | |||
Property / subclass of: equidiagonal pentagon / rank | |||
Normal rank | |||
Property / has quality | |||
Property / has quality: perimeter / rank | |||
Normal rank | |||
Property / has quality: perimeter / qualifier | |||
defining formula: P=5a | |||
Property / has quality | |||
Property / has quality: area of plane shape / rank | |||
Normal rank | |||
Property / has quality: area of plane shape / qualifier | |||
defining formula: A=\frac{5}{4} t^2 \mathop{\mathrm{ctg}}\, \frac{\pi}{5} = \frac{\sqrt 5 \sqrt{5 + 2 \sqrt{5}}}{4} t^2 = \frac{5}{12}Rd | |||
Property / has quality | |||
Property / has quality: inradius / rank | |||
Normal rank | |||
Property / has quality: inradius / qualifier | |||
defining formula: r=\frac{t}{2\tan ( \pi /5)}=\frac{t}{2\sqrt{5-\sqrt{20}}} | |||
Property / has quality | |||
Property / has quality: circumradius / rank | |||
Normal rank | |||
Property / has quality: circumradius / qualifier | |||
defining formula: R = \frac{a}{2}\csc\frac\pi{5} |