Metamath Proof Explorer

Table of Contents - 14.3.2. Properties of pi = 3.14159...

1. pilem1
2. pilem2
3. pilem3
4. pigt2lt4
5. sinpi
6. pire
7. picn
8. pipos
9. pirp
10. negpicn
11. sinhalfpilem
12. halfpire
13. neghalfpire
14. neghalfpirx
15. pidiv2halves
16. sinhalfpi
17. coshalfpi
18. cosneghalfpi
19. efhalfpi
20. cospi
21. efipi
22. eulerid
23. sin2pi
24. cos2pi
25. ef2pi
26. ef2kpi
27. efper
28. sinperlem
29. sinper
30. cosper
31. sin2kpi
32. cos2kpi
33. sin2pim
34. cos2pim
35. sinmpi
36. cosmpi
37. sinppi
38. cosppi
39. efimpi
40. sinhalfpip
41. sinhalfpim
42. coshalfpip
43. coshalfpim
44. ptolemy
45. sincosq1lem
46. sincosq1sgn
47. sincosq2sgn
48. sincosq3sgn
49. sincosq4sgn
50. coseq00topi
51. coseq0negpitopi
52. tanrpcl
53. tangtx
54. tanabsge
55. sinq12gt0
56. sinq12ge0
57. sinq34lt0t
58. cosq14gt0
59. cosq14ge0
60. sincosq1eq
61. sincos4thpi
62. tan4thpi
63. sincos6thpi
64. sincos3rdpi
65. pigt3
66. pige3
67. pige3ALT
68. abssinper
69. sinkpi
70. coskpi
71. sineq0
72. coseq1
73. cos02pilt1
74. cosq34lt1
75. efeq1
76. cosne0
77. cosordlem
78. cosord
79. cos0pilt1
80. cos11
81. sinord
82. recosf1o
83. resinf1o
84. tanord1
85. tanord
86. tanregt0
87. negpitopissre