7692:
27:
464:
6412:
3769:
7679:
1279:
3449:
3189:
2160:
2017:
3764:{\displaystyle {\begin{aligned}\langle x,y\rangle &={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}}\\&={\tfrac {1}{4}}\left(\sum _{i}|x_{i}+y_{i}|^{2}-\sum _{i}|x_{i}-y_{i}|^{2}\right)\\&={\tfrac {1}{4}}\left(4\sum _{i}x_{i}y_{i}\right)\\&=x\cdot y,\\\end{aligned}}}
2557:
3353:
3940:
2315:
1807:
1543:
2863:
1418:
2867:
Given a norm, one can evaluate both sides of the parallelogram law above. A remarkable fact is that if the parallelogram law holds, then the norm must arise in the usual way from some inner product. In particular, it holds for the
1186:
3454:
3029:
2021:
1878:
3024:
2410:
832:
399:
3196:
4088:
983:
636:
3811:
697:
2167:
173:
5819:
1871:
2651:
1269:
897:
1658:
1589:
5602:
2405:
5692:
258:
1686:
1425:
514:
2711:
2683:
1297:
6448:
5729:
1875:
As a consequence of this definition, in an inner product space the parallelogram law is an algebraic identity, readily established using the properties of the inner product:
1036:
733:
550:
1031:
6301:
5926:
4980:
5768:
5536:
5895:
5625:
3802:
2928:
For any norm satisfying the parallelogram law (which necessarily is an inner product norm), the inner product generating the norm is unique as a consequence of the
2915:
7552:
3401:
453:
3444:
2361:
1681:
1612:
5964:
5921:
3421:
3375:
2886:
2704:
2338:
419:
2935:
6127:
5035:
738:
275:
7630:
6933:
6469:
6254:
6109:
5007:
6441:
6085:
4646:
4641:
4473:
4237:
30:
The sides of parallelogram ABCD are shown in blue and the diagonals in red. The sum of the areas of the blue squares equal that of the red ones.
7721:
7477:
5354:
7207:
5296:
7172:
5195:
4634:
902:
555:
7540:
7152:
6943:
4662:
7607:
6434:
5977:
93:
6066:
5957:
4836:
4619:
4361:
4120:
4021:
3184:{\displaystyle {\frac {\|x+y\|^{2}-\|x\|^{2}-\|y\|^{2}}{2}}\qquad {\text{ or }}\qquad {\frac {\|x\|^{2}+\|y\|^{2}-\|x-y\|^{2}}{2}}.}
2582:
do not have inner products, but all normed vector spaces have norms (by definition). For example, a commonly used norm for a vector
2155:{\displaystyle \|x-y\|^{2}=\langle x-y,x-y\rangle =\langle x,x\rangle -\langle x,y\rangle -\langle y,x\rangle +\langle y,y\rangle .}
2012:{\displaystyle \|x+y\|^{2}=\langle x+y,x+y\rangle =\langle x,x\rangle +\langle x,y\rangle +\langle y,x\rangle +\langle y,y\rangle ,}
1822:
1193:
6336:
4754:
4597:
837:
269:
5065:
2552:{\displaystyle \|x+y\|^{2}=\langle x,x\rangle +\langle x,y\rangle +\langle y,x\rangle +\langle y,y\rangle =\|x\|^{2}+\|y\|^{2},}
5981:
5284:
5220:
4771:
7576:
7509:
7142:
7022:
5279:
4958:
4737:
192:
5050:
4309:
3956:
4035:
6132:
5317:
5095:
5040:
6188:
4873:
4376:
7645:
7402:
7290:
6465:
6415:
6137:
6122:
5950:
5152:
5142:
5102:
5070:
4997:
4542:
4314:
6152:
5080:
7716:
7285:
5490:
4466:
4230:
651:
7354:
6397:
6157:
5849:
5651:
5020:
5015:
4700:
5784:
6981:
6797:
6772:
6351:
6275:
5313:
5127:
5112:
4910:
4883:
4848:
4593:
4417:
4330:
2585:
6392:
5607:
5257:
5075:
842:
7516:
7487:
6847:
6702:
6208:
5301:
5274:
4920:
4589:
3348:{\displaystyle \langle x,y\rangle ={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}}+i{\frac {\|ix-y\|^{2}-\|ix+y\|^{2}}{4}}.}
6142:
5824:
5117:
5107:
5025:
4437:
1617:
1548:
7650:
6927:
6244:
6045:
5558:
4963:
4890:
4844:
4759:
4584:
4366:
7384:
6117:
5090:
5030:
4206:
2366:
5655:
7612:
7588:
7462:
7397:
7338:
7275:
7265:
7001:
6920:
6782:
6692:
6572:
6341:
3986:
3805:
3935:{\displaystyle \|x-y\|\,\|z\|~+~\|y-z\|\,\|x\|~\geq ~\|x-z\|\,\|y\|\qquad {\text{ for all vectors }}x,y,z.}
3778:
Another necessary and sufficient condition for there to exist an inner product that induces the given norm
7635:
7583:
7482:
7310:
7260:
7245:
7240:
7011:
6812:
6747:
6737:
6687:
6372:
6316:
6280:
5132:
5045:
4826:
4742:
4578:
4572:
4459:
4335:
4304:
4223:
2560:
481:
54:
equals the sum of the squares of the lengths of the two diagonals. We use these notations for the sides:
7683:
7535:
7320:
7197:
7120:
7068:
6870:
6777:
6627:
5916:
5911:
5386:
5334:
5291:
5215:
5168:
4905:
4567:
4534:
4507:
4386:
4340:
4283:
3980:
2929:
2654:
2310:{\displaystyle \|x+y\|^{2}+\|x-y\|^{2}=2\langle x,x\rangle +2\langle y,y\rangle =2\|x\|^{2}+2\|y\|^{2},}
7691:
7379:
5205:
2659:
7660:
7600:
7564:
7407:
7230:
7177:
7147:
7137:
7046:
6909:
6802:
6717:
6672:
6652:
6497:
6482:
6355:
5854:
5707:
5060:
5055:
4766:
4650:
4556:
4269:
4137:
3950:
4197:
706:
523:
7640:
7559:
7547:
7528:
7492:
7412:
7330:
7315:
7305:
7255:
7250:
7192:
7061:
6953:
6882:
6817:
6807:
6707:
6677:
6617:
6592:
6517:
6507:
6492:
6321:
6259:
5973:
5498:
5455:
5269:
4992:
4722:
4529:
4265:
3974:
3962:
2579:
1812:
990:
645:
261:
7696:
7655:
7595:
7523:
7389:
7182:
7157:
7125:
6722:
6667:
6632:
6527:
6346:
6213:
5931:
5842:
5746:
5509:
5480:
5476:
5465:
5435:
5431:
5252:
5210:
4817:
4727:
4672:
4519:
4157:
3968:
1291:
71:
7364:
6963:
5858:
3781:
7369:
7280:
7130:
7056:
7029:
6792:
6612:
6602:
6537:
6457:
6326:
5612:
5085:
4866:
4809:
4789:
4391:
4371:
4288:
4260:
4180:
4116:
4017:
4011:
4110:
1802:{\displaystyle \|x+y\|^{2}+\|x-y\|^{2}\leq 2\|x\|^{2}+2\|y\|^{2}\quad {\text{ for all }}x,y.}
7571:
7442:
7359:
7115:
7103:
7051:
6787:
6331:
6249:
6218:
6198:
6183:
6178:
6173:
6010:
5242:
5237:
5225:
5137:
5122:
4985:
4925:
4900:
4831:
4821:
4684:
4629:
4401:
4278:
4149:
1538:{\displaystyle 2\|x\|^{2}+2\|y\|^{2}\leq \|x+y\|^{2}+\|x-y\|^{2}\quad {\text{ for all }}x,y}
26:
7212:
7202:
7096:
6822:
6193:
6147:
6095:
6090:
6061:
5942:
5262:
5247:
5173:
5147:
4975:
4968:
4935:
4895:
4861:
4853:
4781:
4749:
4614:
4546:
4381:
2891:
6020:
3380:
2858:{\displaystyle \|x\|_{p}=\left(|x_{1}|^{p}+|x_{2}|^{p}+\dotsb +|x_{n}|^{p}\right)^{1/p}.}
1413:{\displaystyle 2\|x\|^{2}+2\|y\|^{2}=\|x+y\|^{2}+\|x-y\|^{2}\quad {\text{ for all }}x,y.}
432:
3426:
2343:
1683:
and then simplifying. With the same proof, the parallelogram law is also equivalent to:
1663:
1594:
1181:{\displaystyle BD^{2}+AC^{2}=a^{2}+b^{2}-2ab\cos(\alpha )+a^{2}+b^{2}+2ab\cos(\alpha ).}
7472:
7467:
7295:
7187:
7167:
6995:
6552:
6522:
6382:
6234:
6035:
5832:
5780:
5697:
5440:
5306:
4953:
4943:
4562:
4514:
3406:
3360:
2871:
2689:
2576:
2323:
700:
641:
517:
404:
16:
The sum of the squares of the 4 sides of a parallelogram equals that of the 2 diagonals
4183:
7710:
7432:
7300:
7270:
7091:
6899:
6842:
6387:
6311:
6040:
6025:
6015:
5837:
5643:
5450:
5404:
5372:
5339:
5190:
5185:
5178:
4799:
4732:
4705:
4524:
4497:
4274:
4246:
1816:
455:
for a parallelogram, and so the general formula simplifies to the parallelogram law.
265:
51:
7374:
7162:
6837:
6597:
6587:
6377:
6030:
6000:
5349:
5344:
4804:
4794:
4667:
4657:
4502:
4482:
4210:
1287:
463:
422:
6988:
6876:
6582:
6567:
6306:
6296:
6203:
6005:
5638:
5554:
5460:
5445:
5425:
5399:
5364:
4915:
4878:
4551:
4396:
3983: â Formula relating the norm and the inner product in a inner product space
3772:
2572:
1278:
35:
50:. It states that the sum of the squares of the lengths of the four sides of a
6974:
6893:
6832:
6827:
6767:
6752:
6697:
6682:
6637:
6577:
6562:
6542:
6512:
6477:
6239:
6079:
6075:
6071:
5743:
5704:
5394:
5359:
5200:
4948:
4710:
4106:
6727:
6712:
6662:
6557:
6547:
6532:
6502:
6426:
5470:
4715:
4679:
4188:
3989: â inequality relating the six distances between four points on a plane
178:
20:
6864:
6642:
6487:
5773:
5736:
5620:
5546:
5506:
5409:
5232:
3019:{\displaystyle \langle x,y\rangle ={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}},}
426:
47:
3965: â Generalization of the dot product; used to define Hilbert spaces
7437:
6762:
6757:
6657:
6647:
6622:
5541:
5375: ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (H
4624:
4161:
1545:
because the reverse inequality can be obtained from it by substituting
1422:
The parallelogram law is equivalent to the seemingly weaker statement:
4451:
6732:
6607:
2686:
4153:
7108:
7086:
6742:
4344:
1277:
462:
25:
4215:
1290:, the statement of the parallelogram law is an equation relating
827:{\displaystyle a^{2}+b^{2}-2ab\cos(180^{\circ }-\alpha )=AC^{2}.}
394:{\displaystyle AB^{2}+BC^{2}+CD^{2}+DA^{2}=AC^{2}+BD^{2}+4x^{2},}
6430:
5946:
4455:
4219:
74:
a parallelogram necessarily has opposite sides equal, that is,
4201:
3959: â Italian mathematician and military officer (1734â1798)
2932:. In the real case, the polarization identity is given by:
3446:
the evaluation of the inner product proceeds as follows:
4013:
Modern mathematical methods for physicists and engineers
429:
of the diagonals. It can be seen from the diagram that
4083:{\textstyle {\sqrt {\langle x,\ x\rangle }}=\|x\|_{p}}
4038:
3681:
3546:
2407:
and the above equation for the norm of a sum becomes:
1620:
1551:
5861:
5787:
5749:
5710:
5658:
5561:
5512:
3814:
3784:
3452:
3429:
3409:
3383:
3363:
3199:
3032:
2938:
2894:
2874:
2714:
2692:
2662:
2588:
2567:
Normed vector spaces satisfying the parallelogram law
2413:
2369:
2346:
2326:
2170:
2024:
1881:
1825:
1689:
1666:
1597:
1428:
1300:
1196:
1039:
993:
905:
845:
741:
709:
654:
558:
526:
484:
435:
407:
278:
195:
96:
4032: â 2, there is no inner product such that
3991:
Pages displaying wikidata descriptions as a fallback
978:{\displaystyle a^{2}+b^{2}+2ab\cos(\alpha )=AC^{2}.}
631:{\displaystyle a^{2}+b^{2}-2ab\cos(\alpha )=BD^{2}.}
7623:
7501:
7451:
7425:
7347:
7329:
7228:
7221:
7077:
7039:
6856:
6464:
6365:
6289:
6268:
6227:
6166:
6108:
6054:
5989:
5904:
5489:
5418:
5327:
5161:
5006:
4934:
4780:
4693:
4607:
4490:
4410:
4354:
4323:
4297:
4253:
3977: â Vector space on which a distance is defined
6302:Spectral theory of ordinary differential equations
5889:
5813:
5762:
5723:
5686:
5596:
5530:
4082:
3971: â Mathematical metric in normed vector space
3934:
3796:
3763:
3438:
3415:
3395:
3369:
3347:
3183:
3018:
2909:
2880:
2857:
2698:
2677:
2645:
2551:
2399:
2355:
2332:
2309:
2154:
2011:
1865:
1801:
1675:
1652:
1606:
1583:
1537:
1412:
1263:
1180:
1025:
977:
891:
826:
727:
691:
630:
544:
508:
447:
413:
393:
252:
167:
470:In the parallelogram on the right, let AD = BC =
3953: â Property of some mathematical operations
692:{\displaystyle \angle ADC=180^{\circ }-\alpha .}
168:{\displaystyle 2AB^{2}+2BC^{2}=AC^{2}+BD^{2}\,}
5814:{\displaystyle S\left(\mathbb {R} ^{n}\right)}
1866:{\displaystyle \|x\|^{2}=\langle x,x\rangle .}
6442:
5958:
5922:Mathematical formulation of quantum mechanics
4467:
4231:
4138:"Ptolemy's Inequality and the Chordal Metric"
2646:{\displaystyle x=(x_{1},x_{2},\ldots ,x_{n})}
1274:The parallelogram law in inner product spaces
8:
4207:The Parallelogram Law: A Proof Without Words
4071:
4064:
4056:
4041:
3905:
3899:
3895:
3883:
3871:
3865:
3861:
3849:
3837:
3831:
3827:
3815:
3791:
3785:
3520:
3507:
3495:
3482:
3469:
3457:
3327:
3311:
3299:
3283:
3259:
3246:
3234:
3221:
3212:
3200:
3163:
3150:
3138:
3131:
3119:
3112:
3087:
3080:
3068:
3061:
3049:
3036:
2998:
2985:
2973:
2960:
2951:
2939:
2722:
2715:
2537:
2530:
2518:
2511:
2505:
2493:
2487:
2475:
2469:
2457:
2451:
2439:
2427:
2414:
2385:
2370:
2295:
2288:
2273:
2266:
2257:
2245:
2236:
2224:
2209:
2196:
2184:
2171:
2146:
2134:
2128:
2116:
2110:
2098:
2092:
2080:
2074:
2050:
2038:
2025:
2003:
1991:
1985:
1973:
1967:
1955:
1949:
1937:
1931:
1907:
1895:
1882:
1857:
1845:
1833:
1826:
1772:
1765:
1750:
1743:
1728:
1715:
1703:
1690:
1511:
1498:
1486:
1473:
1461:
1454:
1439:
1432:
1383:
1370:
1358:
1345:
1333:
1326:
1311:
1304:
1264:{\displaystyle BD^{2}+AC^{2}=2a^{2}+2b^{2}.}
892:{\displaystyle \cos(180^{\circ }-x)=-\cos x}
4016:. Cambridge University Press. p. 535.
1653:{\textstyle {\frac {1}{2}}\left(x-y\right)}
1584:{\textstyle {\frac {1}{2}}\left(x+y\right)}
7455:
7225:
6449:
6435:
6427:
5993:
5965:
5951:
5943:
4474:
4460:
4452:
4238:
4224:
4216:
1282:Vectors involved in the parallelogram law.
5878:
5860:
5801:
5797:
5796:
5786:
5754:
5748:
5715:
5709:
5663:
5657:
5597:{\displaystyle B_{p,q}^{s}(\mathbb {R} )}
5587:
5586:
5577:
5566:
5560:
5511:
4074:
4039:
4037:
3909:
3898:
3864:
3830:
3813:
3783:
3724:
3714:
3704:
3680:
3659:
3654:
3647:
3634:
3625:
3619:
3606:
3601:
3594:
3581:
3572:
3566:
3545:
3523:
3498:
3479:
3453:
3451:
3428:
3408:
3382:
3362:
3330:
3302:
3280:
3262:
3237:
3218:
3198:
3166:
3141:
3122:
3109:
3103:
3090:
3071:
3052:
3033:
3031:
3001:
2976:
2957:
2937:
2893:
2873:
2842:
2838:
2827:
2822:
2815:
2806:
2791:
2786:
2779:
2770:
2761:
2756:
2749:
2740:
2725:
2713:
2691:
2669:
2665:
2664:
2661:
2634:
2615:
2602:
2587:
2540:
2521:
2430:
2412:
2368:
2345:
2325:
2298:
2276:
2212:
2187:
2169:
2041:
2023:
1898:
1880:
1836:
1824:
1782:
1775:
1753:
1731:
1706:
1688:
1665:
1621:
1619:
1596:
1552:
1550:
1521:
1514:
1489:
1464:
1442:
1427:
1393:
1386:
1361:
1336:
1314:
1299:
1252:
1236:
1220:
1204:
1195:
1190:Simplifying this expression, it becomes:
1142:
1129:
1089:
1076:
1063:
1047:
1038:
1017:
1001:
992:
966:
923:
910:
904:
859:
844:
815:
790:
759:
746:
740:
708:
674:
653:
619:
576:
563:
557:
525:
483:
434:
406:
382:
366:
350:
334:
318:
302:
286:
277:
244:
225:
206:
194:
181:, the two diagonals are of equal lengths
164:
158:
142:
126:
107:
95:
6255:Group algebra of a locally compact group
2400:{\displaystyle \langle x,\ y\rangle =0,}
268:(with four sides not necessarily equal)
5687:{\displaystyle L^{\lambda ,p}(\Omega )}
4002:
253:{\displaystyle 2AB^{2}+2BC^{2}=2AC^{2}}
7478:Latin translations of the 12th century
5927:Ordinary Differential Equations (ODEs)
5041:BanachâSteinhaus (Uniform boundedness)
7208:Straightedge and compass construction
4094:-norm violates the parallelogram law.
7:
7173:Incircle and excircles of a triangle
3193:In the complex case it is given by:
4198:The Parallelogram Law Proven Simply
1815:, the norm is determined using the
509:{\displaystyle \angle BAD=\alpha .}
5755:
5716:
5678:
5522:
710:
655:
527:
485:
14:
5419:Subsets / set operations
5196:Differentiation in Fréchet spaces
4362:Compact operator on Hilbert space
260:and the statement reduces to the
7690:
7677:
6411:
6410:
6337:Topological quantum field theory
2678:{\displaystyle \mathbb {R} ^{n}}
5724:{\displaystyle \ell ^{\infty }}
3908:
3108:
3102:
1781:
1520:
1392:
7510:A History of Greek Mathematics
7023:The Quadrature of the Parabola
5884:
5865:
5681:
5675:
5591:
5583:
5525:
5519:
5113:Lomonosov's invariant subspace
5036:BanachâSchauder (open mapping)
3655:
3626:
3602:
3573:
2823:
2807:
2787:
2771:
2757:
2741:
2640:
2595:
2164:Adding these two expressions:
1172:
1166:
1119:
1113:
953:
947:
871:
852:
802:
783:
728:{\displaystyle \triangle ADC,}
606:
600:
545:{\displaystyle \triangle BAD,}
1:
7722:Theorems about quadrilaterals
6133:Uniform boundedness principle
4112:Beginning functional analysis
1026:{\displaystyle BD^{2}+AC^{2}}
899:to the former result proves:
270:Euler's quadrilateral theorem
7291:Intersecting secants theorem
4998:Singular value decomposition
21:Parallelogram rule (physics)
7286:Intersecting chords theorem
7153:Doctrine of proportionality
5763:{\displaystyle L^{\infty }}
5531:{\displaystyle ba(\Sigma )}
5400:Radially convex/Star-shaped
4010:Cantrell, Cyrus D. (2000).
3911: for all vectors
3804:is for the norm to satisfy
90:, the law can be stated as
38:, the simplest form of the
7738:
6982:On the Sphere and Cylinder
6935:On the Sizes and Distances
6276:Invariant subspace problem
5890:{\displaystyle W(X,L^{p})}
4331:Hilbert projection theorem
3797:{\displaystyle \|\cdot \|}
177:If the parallelogram is a
18:
7684:Ancient Greece portal
7673:
7488:Philosophy of mathematics
7458:
7403:Ptolemy's table of chords
6458:Ancient Greek mathematics
6406:
5996:
5436:Algebraic interior (core)
5051:CauchyâSchwarz inequality
4694:Function space Topologies
4310:CauchyâSchwarz inequality
7355:Aristarchus's inequality
6928:On Conoids and Spheroids
6245:Spectrum of a C*-algebra
4136:Apostol, Tom M. (1967).
4115:. Springer. p. 10.
46:) belongs to elementary
19:Not to be confused with
7463:Ancient Greek astronomy
7276:Inscribed angle theorem
7266:Greek geometric algebra
6921:Measurement of a Circle
6342:Noncommutative geometry
3357:For example, using the
987:Now the sum of squares
7697:Mathematics portal
7483:Non-Euclidean geometry
7438:Mouseion of Alexandria
7311:Tangent-secant theorem
7261:Geometric mean theorem
7246:Exterior angle theorem
7241:Angle bisector theorem
6945:On Sizes and Distances
6398:TomitaâTakesaki theory
6373:Approximation property
6317:Calculus of variations
5891:
5815:
5764:
5725:
5688:
5598:
5532:
4701:BanachâMazur compactum
4491:Types of Banach spaces
4084:
3936:
3798:
3771:which is the standard
3765:
3440:
3417:
3397:
3371:
3349:
3185:
3020:
2911:
2882:
2859:
2700:
2679:
2647:
2553:
2401:
2357:
2334:
2311:
2156:
2013:
1867:
1803:
1677:
1654:
1608:
1585:
1539:
1414:
1283:
1265:
1182:
1027:
979:
893:
838:trigonometric identity
828:
729:
693:
632:
546:
510:
467:
449:
415:
395:
254:
169:
44:parallelogram identity
31:
7385:Pappus's area theorem
7321:Theorem of the gnomon
7198:Quadratrix of Hippias
7121:Circles of Apollonius
7069:Problem of Apollonius
7047:Constructible numbers
6871:Archimedes Palimpsest
6393:BanachâMazur distance
6356:Generalized functions
5917:Finite element method
5912:Differential operator
5892:
5816:
5765:
5726:
5689:
5599:
5533:
5373:Convex series related
5169:Abstract Wiener space
5096:hyperplane separation
4651:Minkowski functionals
4535:Polarization identity
4341:Polarization identity
4284:Orthogonal complement
4085:
3981:Polarization identity
3937:
3799:
3766:
3441:
3418:
3398:
3372:
3350:
3186:
3021:
2930:polarization identity
2912:
2888:-norm if and only if
2883:
2860:
2701:
2680:
2655:real coordinate space
2648:
2554:
2402:
2358:
2335:
2312:
2157:
2014:
1868:
1804:
1678:
1655:
1609:
1586:
1540:
1415:
1281:
1266:
1183:
1033:can be expressed as:
1028:
980:
894:
829:
730:
694:
633:
547:
511:
466:
450:
421:is the length of the
416:
396:
255:
170:
29:
7601:prehistoric counting
7398:Ptolemy's inequality
7339:Apollonius's theorem
7178:Method of exhaustion
7148:Diophantine equation
7138:Circumscribed circle
6955:On the Moving Sphere
6138:Kakutani fixed-point
6123:Riesz representation
5859:
5785:
5747:
5708:
5656:
5559:
5510:
5499:Absolute continuity
5153:Schauder fixed-point
5143:Riesz representation
5103:Kakutani fixed-point
5071:Freudenthal spectral
4557:L-semi-inner product
4315:Riesz representation
4270:L-semi-inner product
4142:Mathematics Magazine
4036:
3987:Ptolemy's inequality
3951:Commutative property
3812:
3806:Ptolemy's inequality
3782:
3450:
3427:
3407:
3381:
3361:
3197:
3030:
2936:
2910:{\displaystyle p=2,}
2892:
2872:
2712:
2690:
2660:
2586:
2580:normed vector spaces
2411:
2367:
2344:
2324:
2168:
2022:
1879:
1823:
1687:
1664:
1618:
1595:
1549:
1426:
1298:
1194:
1037:
991:
903:
843:
739:
707:
652:
640:In a parallelogram,
556:
524:
482:
433:
405:
276:
193:
94:
7687: •
7493:Neusis construction
7413:Spiral of Theodorus
7306:Pythagorean theorem
7251:Euclidean algorithm
7193:Lune of Hippocrates
7062:Squaring the circle
6818:Theon of Alexandria
6493:Aristaeus the Elder
6322:Functional calculus
6281:Mahler's conjecture
6260:Von Neumann algebra
5974:Functional analysis
5582:
5320:measurable function
5270:Functional calculus
5133:Parseval's identity
5046:Bessel's inequality
4993:Polar decomposition
4772:Uniform convergence
4530:Inner product space
4336:Parseval's identity
4305:Bessel's inequality
4184:"Parallelogram Law"
3975:Normed vector space
3963:Inner product space
3396:{\displaystyle p=2}
3026:or equivalently by
2561:Pythagoras' theorem
1813:inner product space
1784: for all
1523: for all
1395: for all
448:{\displaystyle x=0}
262:Pythagorean theorem
7717:Euclidean geometry
7380:Menelaus's theorem
7370:Irrational numbers
7183:Parallel postulate
7158:Euclidean geometry
7126:Apollonian circles
6668:Isidore of Miletus
6347:Riemann hypothesis
6046:Topological vector
5932:Validated numerics
5887:
5843:Sobolev inequality
5811:
5760:
5721:
5684:
5613:Bounded variation
5594:
5562:
5547:Banach coordinate
5528:
5466:Minkowski addition
5128:M. Riesz extension
4608:Banach spaces are:
4181:Weisstein, Eric W.
4080:
3969:Minkowski distance
3932:
3794:
3761:
3759:
3709:
3690:
3624:
3571:
3555:
3439:{\displaystyle y,}
3436:
3413:
3393:
3367:
3345:
3181:
3016:
2907:
2878:
2855:
2696:
2675:
2643:
2549:
2397:
2356:{\displaystyle y,}
2353:
2330:
2307:
2152:
2009:
1863:
1799:
1676:{\displaystyle y,}
1673:
1650:
1607:{\displaystyle x,}
1604:
1581:
1535:
1410:
1284:
1261:
1178:
1023:
975:
889:
824:
725:
689:
628:
542:
506:
468:
445:
411:
391:
264:. For the general
250:
165:
72:Euclidean geometry
32:
7704:
7703:
7669:
7668:
7421:
7420:
7408:Ptolemy's theorem
7281:Intercept theorem
7131:Apollonian gasket
7057:Doubling the cube
7030:The Sand Reckoner
6424:
6423:
6327:Integral operator
6104:
6103:
5940:
5939:
5652:MorreyâCampanato
5634:compact Hausdorff
5481:Relative interior
5335:Absolutely convex
5302:Projection-valued
4911:Strictly singular
4837:on Hilbert spaces
4598:of Hilbert spaces
4449:
4448:
4392:Sesquilinear form
4345:Parallelogram law
4289:Orthonormal basis
4059:
4052:
3912:
3882:
3876:
3848:
3842:
3700:
3689:
3615:
3562:
3554:
3533:
3416:{\displaystyle x}
3403:and real vectors
3370:{\displaystyle p}
3340:
3272:
3176:
3106:
3100:
3011:
2881:{\displaystyle p}
2699:{\displaystyle p}
2381:
2340:is orthogonal to
2333:{\displaystyle x}
1785:
1629:
1560:
1524:
1396:
414:{\displaystyle x}
42:(also called the
40:parallelogram law
7729:
7695:
7694:
7682:
7681:
7680:
7456:
7443:Platonic Academy
7390:Problem II.8 of
7360:Crossbar theorem
7316:Thales's theorem
7256:Euclid's theorem
7226:
7143:Commensurability
7104:Axiomatic system
7052:Angle trisection
7017:
7007:
6969:
6959:
6949:
6939:
6915:
6905:
6888:
6451:
6444:
6437:
6428:
6414:
6413:
6332:Jones polynomial
6250:Operator algebra
5994:
5967:
5960:
5953:
5944:
5896:
5894:
5893:
5888:
5883:
5882:
5850:TriebelâLizorkin
5820:
5818:
5817:
5812:
5810:
5806:
5805:
5800:
5769:
5767:
5766:
5761:
5759:
5758:
5730:
5728:
5727:
5722:
5720:
5719:
5693:
5691:
5690:
5685:
5674:
5673:
5603:
5601:
5600:
5595:
5590:
5581:
5576:
5537:
5535:
5534:
5529:
5390:
5368:
5350:Balanced/Circled
5148:Robinson-Ursescu
5066:EberleinâĆ mulian
4986:Spectral theorem
4782:Linear operators
4579:Uniformly smooth
4476:
4469:
4462:
4453:
4279:Prehilbert space
4240:
4233:
4226:
4217:
4194:
4193:
4166:
4165:
4133:
4127:
4126:
4103:
4097:
4096:
4089:
4087:
4086:
4081:
4079:
4078:
4060:
4050:
4040:
4007:
3992:
3941:
3939:
3938:
3933:
3913:
3910:
3880:
3874:
3846:
3840:
3803:
3801:
3800:
3795:
3775:of two vectors.
3770:
3768:
3767:
3762:
3760:
3738:
3734:
3730:
3729:
3728:
3719:
3718:
3708:
3691:
3682:
3673:
3669:
3665:
3664:
3663:
3658:
3652:
3651:
3639:
3638:
3629:
3623:
3611:
3610:
3605:
3599:
3598:
3586:
3585:
3576:
3570:
3556:
3547:
3538:
3534:
3529:
3528:
3527:
3503:
3502:
3480:
3445:
3443:
3442:
3437:
3422:
3420:
3419:
3414:
3402:
3400:
3399:
3394:
3376:
3374:
3373:
3368:
3354:
3352:
3351:
3346:
3341:
3336:
3335:
3334:
3307:
3306:
3281:
3273:
3268:
3267:
3266:
3242:
3241:
3219:
3190:
3188:
3187:
3182:
3177:
3172:
3171:
3170:
3146:
3145:
3127:
3126:
3110:
3107:
3104:
3101:
3096:
3095:
3094:
3076:
3075:
3057:
3056:
3034:
3025:
3023:
3022:
3017:
3012:
3007:
3006:
3005:
2981:
2980:
2958:
2916:
2914:
2913:
2908:
2887:
2885:
2884:
2879:
2864:
2862:
2861:
2856:
2851:
2850:
2846:
2837:
2833:
2832:
2831:
2826:
2820:
2819:
2810:
2796:
2795:
2790:
2784:
2783:
2774:
2766:
2765:
2760:
2754:
2753:
2744:
2730:
2729:
2705:
2703:
2702:
2697:
2684:
2682:
2681:
2676:
2674:
2673:
2668:
2652:
2650:
2649:
2644:
2639:
2638:
2620:
2619:
2607:
2606:
2558:
2556:
2555:
2550:
2545:
2544:
2526:
2525:
2435:
2434:
2406:
2404:
2403:
2398:
2379:
2362:
2360:
2359:
2354:
2339:
2337:
2336:
2331:
2316:
2314:
2313:
2308:
2303:
2302:
2281:
2280:
2217:
2216:
2192:
2191:
2161:
2159:
2158:
2153:
2046:
2045:
2018:
2016:
2015:
2010:
1903:
1902:
1872:
1870:
1869:
1864:
1841:
1840:
1808:
1806:
1805:
1800:
1786:
1783:
1780:
1779:
1758:
1757:
1736:
1735:
1711:
1710:
1682:
1680:
1679:
1674:
1659:
1657:
1656:
1651:
1649:
1645:
1630:
1622:
1613:
1611:
1610:
1605:
1590:
1588:
1587:
1582:
1580:
1576:
1561:
1553:
1544:
1542:
1541:
1536:
1525:
1522:
1519:
1518:
1494:
1493:
1469:
1468:
1447:
1446:
1419:
1417:
1416:
1411:
1397:
1394:
1391:
1390:
1366:
1365:
1341:
1340:
1319:
1318:
1270:
1268:
1267:
1262:
1257:
1256:
1241:
1240:
1225:
1224:
1209:
1208:
1187:
1185:
1184:
1179:
1147:
1146:
1134:
1133:
1094:
1093:
1081:
1080:
1068:
1067:
1052:
1051:
1032:
1030:
1029:
1024:
1022:
1021:
1006:
1005:
984:
982:
981:
976:
971:
970:
928:
927:
915:
914:
898:
896:
895:
890:
864:
863:
836:By applying the
833:
831:
830:
825:
820:
819:
795:
794:
764:
763:
751:
750:
734:
732:
731:
726:
698:
696:
695:
690:
679:
678:
637:
635:
634:
629:
624:
623:
581:
580:
568:
567:
551:
549:
548:
543:
515:
513:
512:
507:
454:
452:
451:
446:
420:
418:
417:
412:
400:
398:
397:
392:
387:
386:
371:
370:
355:
354:
339:
338:
323:
322:
307:
306:
291:
290:
259:
257:
256:
251:
249:
248:
230:
229:
211:
210:
174:
172:
171:
166:
163:
162:
147:
146:
131:
130:
112:
111:
70:. But since in
7737:
7736:
7732:
7731:
7730:
7728:
7727:
7726:
7707:
7706:
7705:
7700:
7689:
7678:
7676:
7665:
7631:Arabian/Islamic
7619:
7608:numeral systems
7497:
7447:
7417:
7365:Heron's formula
7343:
7325:
7217:
7213:Triangle center
7203:Regular polygon
7080:and definitions
7079:
7073:
7035:
7015:
7005:
6967:
6957:
6947:
6937:
6913:
6903:
6886:
6852:
6823:Theon of Smyrna
6468:
6460:
6455:
6425:
6420:
6402:
6366:Advanced topics
6361:
6285:
6264:
6223:
6189:HilbertâSchmidt
6162:
6153:GelfandâNaimark
6100:
6050:
5985:
5971:
5941:
5936:
5900:
5874:
5857:
5856:
5855:Wiener amalgam
5825:SegalâBargmann
5795:
5791:
5783:
5782:
5750:
5745:
5744:
5711:
5706:
5705:
5659:
5654:
5653:
5608:BirnbaumâOrlicz
5557:
5556:
5508:
5507:
5485:
5441:Bounding points
5414:
5388:
5366:
5323:
5174:Banach manifold
5157:
5081:GelfandâNaimark
5002:
4976:Spectral theory
4944:Banach algebras
4936:Operator theory
4930:
4891:Pseudo-monotone
4874:HilbertâSchmidt
4854:Densely defined
4776:
4689:
4603:
4486:
4480:
4450:
4445:
4438:SegalâBargmann
4406:
4377:HilbertâSchmidt
4367:Densely defined
4350:
4319:
4293:
4249:
4244:
4202:Dreamshire blog
4179:
4178:
4175:
4170:
4169:
4154:10.2307/2688275
4135:
4134:
4130:
4123:
4105:
4104:
4100:
4070:
4034:
4033:
4024:
4009:
4008:
4004:
3999:
3990:
3957:François Daviet
3947:
3810:
3809:
3780:
3779:
3758:
3757:
3736:
3735:
3720:
3710:
3696:
3692:
3671:
3670:
3653:
3643:
3630:
3600:
3590:
3577:
3561:
3557:
3536:
3535:
3519:
3494:
3481:
3472:
3448:
3447:
3425:
3424:
3405:
3404:
3379:
3378:
3359:
3358:
3326:
3298:
3282:
3258:
3233:
3220:
3195:
3194:
3162:
3137:
3118:
3111:
3086:
3067:
3048:
3035:
3028:
3027:
2997:
2972:
2959:
2934:
2933:
2890:
2889:
2870:
2869:
2821:
2811:
2785:
2775:
2755:
2745:
2739:
2735:
2734:
2721:
2710:
2709:
2688:
2687:
2663:
2658:
2657:
2630:
2611:
2598:
2584:
2583:
2569:
2536:
2517:
2426:
2409:
2408:
2365:
2364:
2342:
2341:
2322:
2321:
2294:
2272:
2208:
2183:
2166:
2165:
2037:
2020:
2019:
1894:
1877:
1876:
1832:
1821:
1820:
1771:
1749:
1727:
1702:
1685:
1684:
1662:
1661:
1635:
1631:
1616:
1615:
1593:
1592:
1566:
1562:
1547:
1546:
1510:
1485:
1460:
1438:
1424:
1423:
1382:
1357:
1332:
1310:
1296:
1295:
1276:
1248:
1232:
1216:
1200:
1192:
1191:
1138:
1125:
1085:
1072:
1059:
1043:
1035:
1034:
1013:
997:
989:
988:
962:
919:
906:
901:
900:
855:
841:
840:
811:
786:
755:
742:
737:
736:
705:
704:
670:
650:
649:
642:adjacent angles
615:
572:
559:
554:
553:
522:
521:
480:
479:
461:
431:
430:
403:
402:
378:
362:
346:
330:
314:
298:
282:
274:
273:
240:
221:
202:
191:
190:
154:
138:
122:
103:
92:
91:
24:
17:
12:
11:
5:
7735:
7733:
7725:
7724:
7719:
7709:
7708:
7702:
7701:
7674:
7671:
7670:
7667:
7666:
7664:
7663:
7658:
7653:
7648:
7643:
7638:
7633:
7627:
7625:
7624:Other cultures
7621:
7620:
7618:
7617:
7616:
7615:
7605:
7604:
7603:
7593:
7592:
7591:
7581:
7580:
7579:
7569:
7568:
7567:
7557:
7556:
7555:
7545:
7544:
7543:
7533:
7532:
7531:
7521:
7520:
7519:
7505:
7503:
7499:
7498:
7496:
7495:
7490:
7485:
7480:
7475:
7473:Greek numerals
7470:
7468:Attic numerals
7465:
7459:
7453:
7449:
7448:
7446:
7445:
7440:
7435:
7429:
7427:
7423:
7422:
7419:
7418:
7416:
7415:
7410:
7405:
7400:
7395:
7387:
7382:
7377:
7372:
7367:
7362:
7357:
7351:
7349:
7345:
7344:
7342:
7341:
7335:
7333:
7327:
7326:
7324:
7323:
7318:
7313:
7308:
7303:
7298:
7296:Law of cosines
7293:
7288:
7283:
7278:
7273:
7268:
7263:
7258:
7253:
7248:
7243:
7237:
7235:
7223:
7219:
7218:
7216:
7215:
7210:
7205:
7200:
7195:
7190:
7188:Platonic solid
7185:
7180:
7175:
7170:
7168:Greek numerals
7165:
7160:
7155:
7150:
7145:
7140:
7135:
7134:
7133:
7128:
7118:
7113:
7112:
7111:
7101:
7100:
7099:
7094:
7083:
7081:
7075:
7074:
7072:
7071:
7066:
7065:
7064:
7059:
7054:
7043:
7041:
7037:
7036:
7034:
7033:
7026:
7019:
7009:
6999:
6996:Planisphaerium
6992:
6985:
6978:
6971:
6961:
6951:
6941:
6931:
6924:
6917:
6907:
6897:
6890:
6880:
6873:
6868:
6860:
6858:
6854:
6853:
6851:
6850:
6845:
6840:
6835:
6830:
6825:
6820:
6815:
6810:
6805:
6800:
6795:
6790:
6785:
6780:
6775:
6770:
6765:
6760:
6755:
6750:
6745:
6740:
6735:
6730:
6725:
6720:
6715:
6710:
6705:
6700:
6695:
6690:
6685:
6680:
6675:
6670:
6665:
6660:
6655:
6650:
6645:
6640:
6635:
6630:
6625:
6620:
6615:
6610:
6605:
6600:
6595:
6590:
6585:
6580:
6575:
6570:
6565:
6560:
6555:
6550:
6545:
6540:
6535:
6530:
6525:
6520:
6515:
6510:
6505:
6500:
6495:
6490:
6485:
6480:
6474:
6472:
6466:Mathematicians
6462:
6461:
6456:
6454:
6453:
6446:
6439:
6431:
6422:
6421:
6419:
6418:
6407:
6404:
6403:
6401:
6400:
6395:
6390:
6385:
6383:Choquet theory
6380:
6375:
6369:
6367:
6363:
6362:
6360:
6359:
6349:
6344:
6339:
6334:
6329:
6324:
6319:
6314:
6309:
6304:
6299:
6293:
6291:
6287:
6286:
6284:
6283:
6278:
6272:
6270:
6266:
6265:
6263:
6262:
6257:
6252:
6247:
6242:
6237:
6235:Banach algebra
6231:
6229:
6225:
6224:
6222:
6221:
6216:
6211:
6206:
6201:
6196:
6191:
6186:
6181:
6176:
6170:
6168:
6164:
6163:
6161:
6160:
6158:BanachâAlaoglu
6155:
6150:
6145:
6140:
6135:
6130:
6125:
6120:
6114:
6112:
6106:
6105:
6102:
6101:
6099:
6098:
6093:
6088:
6086:Locally convex
6083:
6069:
6064:
6058:
6056:
6052:
6051:
6049:
6048:
6043:
6038:
6033:
6028:
6023:
6018:
6013:
6008:
6003:
5997:
5991:
5987:
5986:
5972:
5970:
5969:
5962:
5955:
5947:
5938:
5937:
5935:
5934:
5929:
5924:
5919:
5914:
5908:
5906:
5902:
5901:
5899:
5898:
5886:
5881:
5877:
5873:
5870:
5867:
5864:
5852:
5847:
5846:
5845:
5835:
5833:Sequence space
5830:
5822:
5809:
5804:
5799:
5794:
5790:
5778:
5777:
5776:
5771:
5757:
5753:
5734:
5733:
5732:
5718:
5714:
5695:
5683:
5680:
5677:
5672:
5669:
5666:
5662:
5649:
5641:
5636:
5623:
5618:
5610:
5605:
5593:
5589:
5585:
5580:
5575:
5572:
5569:
5565:
5552:
5544:
5539:
5527:
5524:
5521:
5518:
5515:
5504:
5495:
5493:
5487:
5486:
5484:
5483:
5473:
5468:
5463:
5458:
5453:
5448:
5443:
5438:
5428:
5422:
5420:
5416:
5415:
5413:
5412:
5407:
5402:
5397:
5392:
5384:
5370:
5362:
5357:
5352:
5347:
5342:
5337:
5331:
5329:
5325:
5324:
5322:
5321:
5311:
5310:
5309:
5304:
5299:
5289:
5288:
5287:
5282:
5277:
5267:
5266:
5265:
5260:
5255:
5250:
5248:GelfandâPettis
5245:
5240:
5230:
5229:
5228:
5223:
5218:
5213:
5208:
5198:
5193:
5188:
5183:
5182:
5181:
5171:
5165:
5163:
5159:
5158:
5156:
5155:
5150:
5145:
5140:
5135:
5130:
5125:
5120:
5115:
5110:
5105:
5100:
5099:
5098:
5088:
5083:
5078:
5073:
5068:
5063:
5058:
5053:
5048:
5043:
5038:
5033:
5028:
5023:
5021:BanachâAlaoglu
5018:
5016:AndersonâKadec
5012:
5010:
5004:
5003:
5001:
5000:
4995:
4990:
4989:
4988:
4983:
4973:
4972:
4971:
4966:
4956:
4954:Operator space
4951:
4946:
4940:
4938:
4932:
4931:
4929:
4928:
4923:
4918:
4913:
4908:
4903:
4898:
4893:
4888:
4887:
4886:
4876:
4871:
4870:
4869:
4864:
4856:
4851:
4841:
4840:
4839:
4829:
4824:
4814:
4813:
4812:
4807:
4802:
4792:
4786:
4784:
4778:
4777:
4775:
4774:
4769:
4764:
4763:
4762:
4757:
4747:
4746:
4745:
4740:
4730:
4725:
4720:
4719:
4718:
4708:
4703:
4697:
4695:
4691:
4690:
4688:
4687:
4682:
4677:
4676:
4675:
4665:
4660:
4655:
4654:
4653:
4642:Locally convex
4639:
4638:
4637:
4627:
4622:
4617:
4611:
4609:
4605:
4604:
4602:
4601:
4594:Tensor product
4587:
4581:
4576:
4570:
4565:
4559:
4554:
4549:
4539:
4538:
4537:
4532:
4522:
4517:
4515:Banach lattice
4512:
4511:
4510:
4500:
4494:
4492:
4488:
4487:
4481:
4479:
4478:
4471:
4464:
4456:
4447:
4446:
4444:
4443:
4435:
4429:compact &
4414:
4412:
4408:
4407:
4405:
4404:
4399:
4394:
4389:
4384:
4379:
4374:
4372:Hermitian form
4369:
4364:
4358:
4356:
4352:
4351:
4349:
4348:
4338:
4333:
4327:
4325:
4321:
4320:
4318:
4317:
4312:
4307:
4301:
4299:
4295:
4294:
4292:
4291:
4286:
4281:
4272:
4263:
4257:
4255:
4254:Basic concepts
4251:
4250:
4247:Hilbert spaces
4245:
4243:
4242:
4235:
4228:
4220:
4214:
4213:
4204:
4195:
4174:
4173:External links
4171:
4168:
4167:
4148:(5): 233â235.
4128:
4121:
4098:
4077:
4073:
4069:
4066:
4063:
4058:
4055:
4049:
4046:
4043:
4022:
4001:
4000:
3998:
3995:
3994:
3993:
3984:
3978:
3972:
3966:
3960:
3954:
3946:
3943:
3931:
3928:
3925:
3922:
3919:
3916:
3907:
3904:
3901:
3897:
3894:
3891:
3888:
3885:
3879:
3873:
3870:
3867:
3863:
3860:
3857:
3854:
3851:
3845:
3839:
3836:
3833:
3829:
3826:
3823:
3820:
3817:
3793:
3790:
3787:
3756:
3753:
3750:
3747:
3744:
3741:
3739:
3737:
3733:
3727:
3723:
3717:
3713:
3707:
3703:
3699:
3695:
3688:
3685:
3679:
3676:
3674:
3672:
3668:
3662:
3657:
3650:
3646:
3642:
3637:
3633:
3628:
3622:
3618:
3614:
3609:
3604:
3597:
3593:
3589:
3584:
3580:
3575:
3569:
3565:
3560:
3553:
3550:
3544:
3541:
3539:
3537:
3532:
3526:
3522:
3518:
3515:
3512:
3509:
3506:
3501:
3497:
3493:
3490:
3487:
3484:
3478:
3475:
3473:
3471:
3468:
3465:
3462:
3459:
3456:
3455:
3435:
3432:
3412:
3392:
3389:
3386:
3366:
3344:
3339:
3333:
3329:
3325:
3322:
3319:
3316:
3313:
3310:
3305:
3301:
3297:
3294:
3291:
3288:
3285:
3279:
3276:
3271:
3265:
3261:
3257:
3254:
3251:
3248:
3245:
3240:
3236:
3232:
3229:
3226:
3223:
3217:
3214:
3211:
3208:
3205:
3202:
3180:
3175:
3169:
3165:
3161:
3158:
3155:
3152:
3149:
3144:
3140:
3136:
3133:
3130:
3125:
3121:
3117:
3114:
3105: or
3099:
3093:
3089:
3085:
3082:
3079:
3074:
3070:
3066:
3063:
3060:
3055:
3051:
3047:
3044:
3041:
3038:
3015:
3010:
3004:
3000:
2996:
2993:
2990:
2987:
2984:
2979:
2975:
2971:
2968:
2965:
2962:
2956:
2953:
2950:
2947:
2944:
2941:
2924:
2920:
2917:the so-called
2906:
2903:
2900:
2897:
2877:
2854:
2849:
2845:
2841:
2836:
2830:
2825:
2818:
2814:
2809:
2805:
2802:
2799:
2794:
2789:
2782:
2778:
2773:
2769:
2764:
2759:
2752:
2748:
2743:
2738:
2733:
2728:
2724:
2720:
2717:
2695:
2672:
2667:
2642:
2637:
2633:
2629:
2626:
2623:
2618:
2614:
2610:
2605:
2601:
2597:
2594:
2591:
2568:
2565:
2548:
2543:
2539:
2535:
2532:
2529:
2524:
2520:
2516:
2513:
2510:
2507:
2504:
2501:
2498:
2495:
2492:
2489:
2486:
2483:
2480:
2477:
2474:
2471:
2468:
2465:
2462:
2459:
2456:
2453:
2450:
2447:
2444:
2441:
2438:
2433:
2429:
2425:
2422:
2419:
2416:
2396:
2393:
2390:
2387:
2384:
2378:
2375:
2372:
2352:
2349:
2329:
2306:
2301:
2297:
2293:
2290:
2287:
2284:
2279:
2275:
2271:
2268:
2265:
2262:
2259:
2256:
2253:
2250:
2247:
2244:
2241:
2238:
2235:
2232:
2229:
2226:
2223:
2220:
2215:
2211:
2207:
2204:
2201:
2198:
2195:
2190:
2186:
2182:
2179:
2176:
2173:
2151:
2148:
2145:
2142:
2139:
2136:
2133:
2130:
2127:
2124:
2121:
2118:
2115:
2112:
2109:
2106:
2103:
2100:
2097:
2094:
2091:
2088:
2085:
2082:
2079:
2076:
2073:
2070:
2067:
2064:
2061:
2058:
2055:
2052:
2049:
2044:
2040:
2036:
2033:
2030:
2027:
2008:
2005:
2002:
1999:
1996:
1993:
1990:
1987:
1984:
1981:
1978:
1975:
1972:
1969:
1966:
1963:
1960:
1957:
1954:
1951:
1948:
1945:
1942:
1939:
1936:
1933:
1930:
1927:
1924:
1921:
1918:
1915:
1912:
1909:
1906:
1901:
1897:
1893:
1890:
1887:
1884:
1862:
1859:
1856:
1853:
1850:
1847:
1844:
1839:
1835:
1831:
1828:
1798:
1795:
1792:
1789:
1778:
1774:
1770:
1767:
1764:
1761:
1756:
1752:
1748:
1745:
1742:
1739:
1734:
1730:
1726:
1723:
1720:
1717:
1714:
1709:
1705:
1701:
1698:
1695:
1692:
1672:
1669:
1648:
1644:
1641:
1638:
1634:
1628:
1625:
1603:
1600:
1579:
1575:
1572:
1569:
1565:
1559:
1556:
1534:
1531:
1528:
1517:
1513:
1509:
1506:
1503:
1500:
1497:
1492:
1488:
1484:
1481:
1478:
1475:
1472:
1467:
1463:
1459:
1456:
1453:
1450:
1445:
1441:
1437:
1434:
1431:
1409:
1406:
1403:
1400:
1389:
1385:
1381:
1378:
1375:
1372:
1369:
1364:
1360:
1356:
1353:
1350:
1347:
1344:
1339:
1335:
1331:
1328:
1325:
1322:
1317:
1313:
1309:
1306:
1303:
1275:
1272:
1260:
1255:
1251:
1247:
1244:
1239:
1235:
1231:
1228:
1223:
1219:
1215:
1212:
1207:
1203:
1199:
1177:
1174:
1171:
1168:
1165:
1162:
1159:
1156:
1153:
1150:
1145:
1141:
1137:
1132:
1128:
1124:
1121:
1118:
1115:
1112:
1109:
1106:
1103:
1100:
1097:
1092:
1088:
1084:
1079:
1075:
1071:
1066:
1062:
1058:
1055:
1050:
1046:
1042:
1020:
1016:
1012:
1009:
1004:
1000:
996:
974:
969:
965:
961:
958:
955:
952:
949:
946:
943:
940:
937:
934:
931:
926:
922:
918:
913:
909:
888:
885:
882:
879:
876:
873:
870:
867:
862:
858:
854:
851:
848:
823:
818:
814:
810:
807:
804:
801:
798:
793:
789:
785:
782:
779:
776:
773:
770:
767:
762:
758:
754:
749:
745:
724:
721:
718:
715:
712:
701:law of cosines
688:
685:
682:
677:
673:
669:
666:
663:
660:
657:
627:
622:
618:
614:
611:
608:
605:
602:
599:
596:
593:
590:
587:
584:
579:
575:
571:
566:
562:
541:
538:
535:
532:
529:
518:law of cosines
505:
502:
499:
496:
493:
490:
487:
460:
457:
444:
441:
438:
410:
390:
385:
381:
377:
374:
369:
365:
361:
358:
353:
349:
345:
342:
337:
333:
329:
326:
321:
317:
313:
310:
305:
301:
297:
294:
289:
285:
281:
247:
243:
239:
236:
233:
228:
224:
220:
217:
214:
209:
205:
201:
198:
161:
157:
153:
150:
145:
141:
137:
134:
129:
125:
121:
118:
115:
110:
106:
102:
99:
15:
13:
10:
9:
6:
4:
3:
2:
7734:
7723:
7720:
7718:
7715:
7714:
7712:
7699:
7698:
7693:
7686:
7685:
7672:
7662:
7659:
7657:
7654:
7652:
7649:
7647:
7644:
7642:
7639:
7637:
7634:
7632:
7629:
7628:
7626:
7622:
7614:
7611:
7610:
7609:
7606:
7602:
7599:
7598:
7597:
7594:
7590:
7587:
7586:
7585:
7582:
7578:
7575:
7574:
7573:
7570:
7566:
7563:
7562:
7561:
7558:
7554:
7551:
7550:
7549:
7546:
7542:
7539:
7538:
7537:
7534:
7530:
7527:
7526:
7525:
7522:
7518:
7514:
7513:
7512:
7511:
7507:
7506:
7504:
7500:
7494:
7491:
7489:
7486:
7484:
7481:
7479:
7476:
7474:
7471:
7469:
7466:
7464:
7461:
7460:
7457:
7454:
7450:
7444:
7441:
7439:
7436:
7434:
7431:
7430:
7428:
7424:
7414:
7411:
7409:
7406:
7404:
7401:
7399:
7396:
7394:
7393:
7388:
7386:
7383:
7381:
7378:
7376:
7373:
7371:
7368:
7366:
7363:
7361:
7358:
7356:
7353:
7352:
7350:
7346:
7340:
7337:
7336:
7334:
7332:
7328:
7322:
7319:
7317:
7314:
7312:
7309:
7307:
7304:
7302:
7301:Pons asinorum
7299:
7297:
7294:
7292:
7289:
7287:
7284:
7282:
7279:
7277:
7274:
7272:
7271:Hinge theorem
7269:
7267:
7264:
7262:
7259:
7257:
7254:
7252:
7249:
7247:
7244:
7242:
7239:
7238:
7236:
7234:
7233:
7227:
7224:
7220:
7214:
7211:
7209:
7206:
7204:
7201:
7199:
7196:
7194:
7191:
7189:
7186:
7184:
7181:
7179:
7176:
7174:
7171:
7169:
7166:
7164:
7161:
7159:
7156:
7154:
7151:
7149:
7146:
7144:
7141:
7139:
7136:
7132:
7129:
7127:
7124:
7123:
7122:
7119:
7117:
7114:
7110:
7107:
7106:
7105:
7102:
7098:
7095:
7093:
7090:
7089:
7088:
7085:
7084:
7082:
7076:
7070:
7067:
7063:
7060:
7058:
7055:
7053:
7050:
7049:
7048:
7045:
7044:
7042:
7038:
7032:
7031:
7027:
7025:
7024:
7020:
7018:
7014:
7010:
7008:
7004:
7000:
6998:
6997:
6993:
6991:
6990:
6986:
6984:
6983:
6979:
6977:
6976:
6972:
6970:
6966:
6962:
6960:
6956:
6952:
6950:
6946:
6942:
6940:
6938:(Aristarchus)
6936:
6932:
6930:
6929:
6925:
6923:
6922:
6918:
6916:
6912:
6908:
6906:
6902:
6898:
6896:
6895:
6891:
6889:
6885:
6881:
6879:
6878:
6874:
6872:
6869:
6867:
6866:
6862:
6861:
6859:
6855:
6849:
6846:
6844:
6843:Zeno of Sidon
6841:
6839:
6836:
6834:
6831:
6829:
6826:
6824:
6821:
6819:
6816:
6814:
6811:
6809:
6806:
6804:
6801:
6799:
6796:
6794:
6791:
6789:
6786:
6784:
6781:
6779:
6776:
6774:
6771:
6769:
6766:
6764:
6761:
6759:
6756:
6754:
6751:
6749:
6746:
6744:
6741:
6739:
6736:
6734:
6731:
6729:
6726:
6724:
6721:
6719:
6716:
6714:
6711:
6709:
6706:
6704:
6701:
6699:
6696:
6694:
6691:
6689:
6686:
6684:
6681:
6679:
6676:
6674:
6671:
6669:
6666:
6664:
6661:
6659:
6656:
6654:
6651:
6649:
6646:
6644:
6641:
6639:
6636:
6634:
6631:
6629:
6626:
6624:
6621:
6619:
6616:
6614:
6611:
6609:
6606:
6604:
6601:
6599:
6596:
6594:
6591:
6589:
6586:
6584:
6581:
6579:
6576:
6574:
6571:
6569:
6566:
6564:
6561:
6559:
6556:
6554:
6551:
6549:
6546:
6544:
6541:
6539:
6536:
6534:
6531:
6529:
6526:
6524:
6521:
6519:
6516:
6514:
6511:
6509:
6506:
6504:
6501:
6499:
6496:
6494:
6491:
6489:
6486:
6484:
6481:
6479:
6476:
6475:
6473:
6471:
6467:
6463:
6459:
6452:
6447:
6445:
6440:
6438:
6433:
6432:
6429:
6417:
6409:
6408:
6405:
6399:
6396:
6394:
6391:
6389:
6388:Weak topology
6386:
6384:
6381:
6379:
6376:
6374:
6371:
6370:
6368:
6364:
6357:
6353:
6350:
6348:
6345:
6343:
6340:
6338:
6335:
6333:
6330:
6328:
6325:
6323:
6320:
6318:
6315:
6313:
6312:Index theorem
6310:
6308:
6305:
6303:
6300:
6298:
6295:
6294:
6292:
6288:
6282:
6279:
6277:
6274:
6273:
6271:
6269:Open problems
6267:
6261:
6258:
6256:
6253:
6251:
6248:
6246:
6243:
6241:
6238:
6236:
6233:
6232:
6230:
6226:
6220:
6217:
6215:
6212:
6210:
6207:
6205:
6202:
6200:
6197:
6195:
6192:
6190:
6187:
6185:
6182:
6180:
6177:
6175:
6172:
6171:
6169:
6165:
6159:
6156:
6154:
6151:
6149:
6146:
6144:
6141:
6139:
6136:
6134:
6131:
6129:
6126:
6124:
6121:
6119:
6116:
6115:
6113:
6111:
6107:
6097:
6094:
6092:
6089:
6087:
6084:
6081:
6077:
6073:
6070:
6068:
6065:
6063:
6060:
6059:
6057:
6053:
6047:
6044:
6042:
6039:
6037:
6034:
6032:
6029:
6027:
6024:
6022:
6019:
6017:
6014:
6012:
6009:
6007:
6004:
6002:
5999:
5998:
5995:
5992:
5988:
5983:
5979:
5975:
5968:
5963:
5961:
5956:
5954:
5949:
5948:
5945:
5933:
5930:
5928:
5925:
5923:
5920:
5918:
5915:
5913:
5910:
5909:
5907:
5903:
5897:
5879:
5875:
5871:
5868:
5862:
5853:
5851:
5848:
5844:
5841:
5840:
5839:
5836:
5834:
5831:
5829:
5828:
5823:
5821:
5807:
5802:
5792:
5788:
5779:
5775:
5772:
5770:
5751:
5742:
5741:
5740:
5739:
5735:
5731:
5712:
5703:
5702:
5701:
5700:
5696:
5694:
5670:
5667:
5664:
5660:
5650:
5648:
5647:
5642:
5640:
5637:
5635:
5633:
5629:
5624:
5622:
5619:
5617:
5616:
5611:
5609:
5606:
5604:
5578:
5573:
5570:
5567:
5563:
5553:
5551:
5550:
5545:
5543:
5540:
5538:
5516:
5513:
5505:
5503:
5502:
5497:
5496:
5494:
5492:
5488:
5482:
5478:
5474:
5472:
5469:
5467:
5464:
5462:
5459:
5457:
5454:
5452:
5451:Extreme point
5449:
5447:
5444:
5442:
5439:
5437:
5433:
5429:
5427:
5424:
5423:
5421:
5417:
5411:
5408:
5406:
5403:
5401:
5398:
5396:
5393:
5391:
5385:
5382:
5378:
5374:
5371:
5369:
5363:
5361:
5358:
5356:
5353:
5351:
5348:
5346:
5343:
5341:
5338:
5336:
5333:
5332:
5330:
5328:Types of sets
5326:
5319:
5315:
5312:
5308:
5305:
5303:
5300:
5298:
5295:
5294:
5293:
5290:
5286:
5283:
5281:
5278:
5276:
5273:
5272:
5271:
5268:
5264:
5261:
5259:
5256:
5254:
5251:
5249:
5246:
5244:
5241:
5239:
5236:
5235:
5234:
5231:
5227:
5224:
5222:
5219:
5217:
5214:
5212:
5209:
5207:
5204:
5203:
5202:
5199:
5197:
5194:
5192:
5191:Convex series
5189:
5187:
5186:Bochner space
5184:
5180:
5177:
5176:
5175:
5172:
5170:
5167:
5166:
5164:
5160:
5154:
5151:
5149:
5146:
5144:
5141:
5139:
5138:Riesz's lemma
5136:
5134:
5131:
5129:
5126:
5124:
5123:Mazur's lemma
5121:
5119:
5116:
5114:
5111:
5109:
5106:
5104:
5101:
5097:
5094:
5093:
5092:
5089:
5087:
5084:
5082:
5079:
5077:
5076:GelfandâMazur
5074:
5072:
5069:
5067:
5064:
5062:
5059:
5057:
5054:
5052:
5049:
5047:
5044:
5042:
5039:
5037:
5034:
5032:
5029:
5027:
5024:
5022:
5019:
5017:
5014:
5013:
5011:
5009:
5005:
4999:
4996:
4994:
4991:
4987:
4984:
4982:
4979:
4978:
4977:
4974:
4970:
4967:
4965:
4962:
4961:
4960:
4957:
4955:
4952:
4950:
4947:
4945:
4942:
4941:
4939:
4937:
4933:
4927:
4924:
4922:
4919:
4917:
4914:
4912:
4909:
4907:
4904:
4902:
4899:
4897:
4894:
4892:
4889:
4885:
4882:
4881:
4880:
4877:
4875:
4872:
4868:
4865:
4863:
4860:
4859:
4857:
4855:
4852:
4850:
4846:
4842:
4838:
4835:
4834:
4833:
4830:
4828:
4825:
4823:
4819:
4815:
4811:
4808:
4806:
4803:
4801:
4798:
4797:
4796:
4793:
4791:
4788:
4787:
4785:
4783:
4779:
4773:
4770:
4768:
4765:
4761:
4758:
4756:
4753:
4752:
4751:
4748:
4744:
4741:
4739:
4736:
4735:
4734:
4731:
4729:
4726:
4724:
4721:
4717:
4714:
4713:
4712:
4709:
4707:
4704:
4702:
4699:
4698:
4696:
4692:
4686:
4683:
4681:
4678:
4674:
4671:
4670:
4669:
4666:
4664:
4661:
4659:
4656:
4652:
4648:
4645:
4644:
4643:
4640:
4636:
4633:
4632:
4631:
4628:
4626:
4623:
4621:
4618:
4616:
4613:
4612:
4610:
4606:
4599:
4595:
4591:
4588:
4586:
4582:
4580:
4577:
4575:) convex
4574:
4571:
4569:
4566:
4564:
4560:
4558:
4555:
4553:
4550:
4548:
4544:
4540:
4536:
4533:
4531:
4528:
4527:
4526:
4523:
4521:
4520:Grothendieck
4518:
4516:
4513:
4509:
4506:
4505:
4504:
4501:
4499:
4496:
4495:
4493:
4489:
4484:
4477:
4472:
4470:
4465:
4463:
4458:
4457:
4454:
4442:
4441:
4436:
4434:
4432:
4428:
4424:
4420:
4416:
4415:
4413:
4409:
4403:
4400:
4398:
4395:
4393:
4390:
4388:
4385:
4383:
4380:
4378:
4375:
4373:
4370:
4368:
4365:
4363:
4360:
4359:
4357:
4353:
4346:
4342:
4339:
4337:
4334:
4332:
4329:
4328:
4326:
4324:Other results
4322:
4316:
4313:
4311:
4308:
4306:
4303:
4302:
4300:
4296:
4290:
4287:
4285:
4282:
4280:
4276:
4275:Hilbert space
4273:
4271:
4267:
4266:Inner product
4264:
4262:
4259:
4258:
4256:
4252:
4248:
4241:
4236:
4234:
4229:
4227:
4222:
4221:
4218:
4212:
4208:
4205:
4203:
4199:
4196:
4191:
4190:
4185:
4182:
4177:
4176:
4172:
4163:
4159:
4155:
4151:
4147:
4143:
4139:
4132:
4129:
4124:
4122:0-387-95224-1
4118:
4114:
4113:
4108:
4102:
4099:
4095:
4093:
4075:
4067:
4061:
4053:
4047:
4044:
4031:
4025:
4023:0-521-59827-3
4019:
4015:
4014:
4006:
4003:
3996:
3988:
3985:
3982:
3979:
3976:
3973:
3970:
3967:
3964:
3961:
3958:
3955:
3952:
3949:
3948:
3944:
3942:
3929:
3926:
3923:
3920:
3917:
3914:
3902:
3892:
3889:
3886:
3877:
3868:
3858:
3855:
3852:
3843:
3834:
3824:
3821:
3818:
3807:
3788:
3776:
3774:
3754:
3751:
3748:
3745:
3742:
3740:
3731:
3725:
3721:
3715:
3711:
3705:
3701:
3697:
3693:
3686:
3683:
3677:
3675:
3666:
3660:
3648:
3644:
3640:
3635:
3631:
3620:
3616:
3612:
3607:
3595:
3591:
3587:
3582:
3578:
3567:
3563:
3558:
3551:
3548:
3542:
3540:
3530:
3524:
3516:
3513:
3510:
3504:
3499:
3491:
3488:
3485:
3476:
3474:
3466:
3463:
3460:
3433:
3430:
3410:
3390:
3387:
3384:
3364:
3355:
3342:
3337:
3331:
3323:
3320:
3317:
3314:
3308:
3303:
3295:
3292:
3289:
3286:
3277:
3274:
3269:
3263:
3255:
3252:
3249:
3243:
3238:
3230:
3227:
3224:
3215:
3209:
3206:
3203:
3191:
3178:
3173:
3167:
3159:
3156:
3153:
3147:
3142:
3134:
3128:
3123:
3115:
3097:
3091:
3083:
3077:
3072:
3064:
3058:
3053:
3045:
3042:
3039:
3013:
3008:
3002:
2994:
2991:
2988:
2982:
2977:
2969:
2966:
2963:
2954:
2948:
2945:
2942:
2931:
2926:
2922:
2918:
2904:
2901:
2898:
2895:
2875:
2865:
2852:
2847:
2843:
2839:
2834:
2828:
2816:
2812:
2803:
2800:
2797:
2792:
2780:
2776:
2767:
2762:
2750:
2746:
2736:
2731:
2726:
2718:
2707:
2693:
2670:
2656:
2635:
2631:
2627:
2624:
2621:
2616:
2612:
2608:
2603:
2599:
2592:
2589:
2581:
2578:
2574:
2566:
2564:
2562:
2546:
2541:
2533:
2527:
2522:
2514:
2508:
2502:
2499:
2496:
2490:
2484:
2481:
2478:
2472:
2466:
2463:
2460:
2454:
2448:
2445:
2442:
2436:
2431:
2423:
2420:
2417:
2394:
2391:
2388:
2382:
2376:
2373:
2350:
2347:
2327:
2318:
2317:as required.
2304:
2299:
2291:
2285:
2282:
2277:
2269:
2263:
2260:
2254:
2251:
2248:
2242:
2239:
2233:
2230:
2227:
2221:
2218:
2213:
2205:
2202:
2199:
2193:
2188:
2180:
2177:
2174:
2162:
2149:
2143:
2140:
2137:
2131:
2125:
2122:
2119:
2113:
2107:
2104:
2101:
2095:
2089:
2086:
2083:
2077:
2071:
2068:
2065:
2062:
2059:
2056:
2053:
2047:
2042:
2034:
2031:
2028:
2006:
2000:
1997:
1994:
1988:
1982:
1979:
1976:
1970:
1964:
1961:
1958:
1952:
1946:
1943:
1940:
1934:
1928:
1925:
1922:
1919:
1916:
1913:
1910:
1904:
1899:
1891:
1888:
1885:
1873:
1860:
1854:
1851:
1848:
1842:
1837:
1829:
1818:
1817:inner product
1814:
1809:
1796:
1793:
1790:
1787:
1776:
1768:
1762:
1759:
1754:
1746:
1740:
1737:
1732:
1724:
1721:
1718:
1712:
1707:
1699:
1696:
1693:
1670:
1667:
1646:
1642:
1639:
1636:
1632:
1626:
1623:
1601:
1598:
1577:
1573:
1570:
1567:
1563:
1557:
1554:
1532:
1529:
1526:
1515:
1507:
1504:
1501:
1495:
1490:
1482:
1479:
1476:
1470:
1465:
1457:
1451:
1448:
1443:
1435:
1429:
1420:
1407:
1404:
1401:
1398:
1387:
1379:
1376:
1373:
1367:
1362:
1354:
1351:
1348:
1342:
1337:
1329:
1323:
1320:
1315:
1307:
1301:
1293:
1289:
1280:
1273:
1271:
1258:
1253:
1249:
1245:
1242:
1237:
1233:
1229:
1226:
1221:
1217:
1213:
1210:
1205:
1201:
1197:
1188:
1175:
1169:
1163:
1160:
1157:
1154:
1151:
1148:
1143:
1139:
1135:
1130:
1126:
1122:
1116:
1110:
1107:
1104:
1101:
1098:
1095:
1090:
1086:
1082:
1077:
1073:
1069:
1064:
1060:
1056:
1053:
1048:
1044:
1040:
1018:
1014:
1010:
1007:
1002:
998:
994:
985:
972:
967:
963:
959:
956:
950:
944:
941:
938:
935:
932:
929:
924:
920:
916:
911:
907:
886:
883:
880:
877:
874:
868:
865:
860:
856:
849:
846:
839:
834:
821:
816:
812:
808:
805:
799:
796:
791:
787:
780:
777:
774:
771:
768:
765:
760:
756:
752:
747:
743:
722:
719:
716:
713:
702:
686:
683:
680:
675:
671:
667:
664:
661:
658:
647:
646:supplementary
643:
638:
625:
620:
616:
612:
609:
603:
597:
594:
591:
588:
585:
582:
577:
573:
569:
564:
560:
539:
536:
533:
530:
519:
516:By using the
503:
500:
497:
494:
491:
488:
477:
473:
465:
458:
456:
442:
439:
436:
428:
424:
408:
388:
383:
379:
375:
372:
367:
363:
359:
356:
351:
347:
343:
340:
335:
331:
327:
324:
319:
315:
311:
308:
303:
299:
295:
292:
287:
283:
279:
271:
267:
266:quadrilateral
263:
245:
241:
237:
234:
231:
226:
222:
218:
215:
212:
207:
203:
199:
196:
188:
184:
180:
175:
159:
155:
151:
148:
143:
139:
135:
132:
127:
123:
119:
116:
113:
108:
104:
100:
97:
89:
85:
81:
77:
73:
69:
65:
61:
57:
53:
52:parallelogram
49:
45:
41:
37:
28:
22:
7688:
7675:
7517:Thomas Heath
7508:
7391:
7375:Law of sines
7231:
7163:Golden ratio
7028:
7021:
7012:
7006:(Theodosius)
7002:
6994:
6987:
6980:
6973:
6964:
6954:
6948:(Hipparchus)
6944:
6934:
6926:
6919:
6910:
6900:
6892:
6887:(Apollonius)
6883:
6875:
6863:
6838:Zeno of Elea
6598:Eratosthenes
6588:Dionysodorus
6378:Balanced set
6352:Distribution
6290:Applications
6143:KreinâMilman
6128:Closed graph
5905:Applications
5826:
5737:
5698:
5645:
5631:
5627:
5614:
5548:
5500:
5387:Linear cone
5380:
5376:
5365:Convex cone
5258:PaleyâWiener
5118:MackeyâArens
5108:KreinâMilman
5061:Closed range
5056:Closed graph
5026:BanachâMazur
4906:Self-adjoint
4810:sesquilinear
4543:Polynomially
4483:Banach space
4439:
4430:
4426:
4422:
4418:
4387:Self-adjoint
4298:Main results
4211:cut-the-knot
4187:
4145:
4141:
4131:
4111:
4101:
4091:
4090:because the
4029:
4027:
4012:
4005:
3777:
3356:
3192:
2927:
2866:
2570:
2319:
2163:
1874:
1810:
1421:
1288:normed space
1285:
1189:
986:
835:
703:in triangle
648:, therefore
639:
520:in triangle
475:
474:, AB = DC =
471:
469:
425:joining the
423:line segment
186:
182:
176:
87:
83:
79:
75:
67:
63:
59:
55:
43:
39:
33:
7584:mathematics
7392:Arithmetica
6989:Ostomachion
6958:(Autolycus)
6877:Arithmetica
6653:Hippocrates
6583:Dinostratus
6568:Dicaearchus
6498:Aristarchus
6307:Heat kernel
6297:Hardy space
6204:Trace class
6118:HahnâBanach
6080:Topological
5626:Continuous
5461:Linear span
5446:Convex hull
5426:Affine hull
5285:holomorphic
5221:holomorphic
5201:Derivatives
5091:HahnâBanach
5031:BanachâSaks
4949:C*-algebras
4916:Trace class
4879:Functionals
4767:Ultrastrong
4680:Quasinormed
4397:Trace class
4107:Saxe, Karen
3773:dot product
3377:-norm with
36:mathematics
7711:Categories
7636:Babylonian
7536:arithmetic
7502:History of
7331:Apollonius
7016:(Menelaus)
6975:On Spirals
6894:Catoptrics
6833:Xenocrates
6828:Thymaridas
6813:Theodosius
6798:Theaetetus
6778:Simplicius
6768:Pythagoras
6753:Posidonius
6738:Philonides
6698:Nicomachus
6693:Metrodorus
6683:Menaechmus
6638:Hipparchus
6628:Heliodorus
6578:Diophantus
6563:Democritus
6543:Chrysippus
6513:Archimedes
6508:Apollonius
6478:Anaxagoras
6470:(timeline)
6240:C*-algebra
6055:Properties
5379:), and (Hw
5280:continuous
5216:functional
4964:C*-algebra
4849:Continuous
4711:Dual space
4685:Stereotype
4663:Metrizable
4590:Projective
3997:References
735:produces:
699:Using the
7097:Inscribed
6857:Treatises
6848:Zenodorus
6808:Theodorus
6783:Sosigenes
6728:Philolaus
6713:Oenopides
6708:Nicoteles
6703:Nicomedes
6663:Hypsicles
6558:Ctesibius
6548:Cleomedes
6533:Callippus
6518:Autolycus
6503:Aristotle
6483:Anthemius
6214:Unbounded
6209:Transpose
6167:Operators
6096:Separable
6091:Reflexive
6076:Algebraic
6062:Barrelled
5838:Sobolev W
5781:Schwartz
5756:∞
5717:∞
5713:ℓ
5679:Ω
5665:λ
5523:Σ
5405:Symmetric
5340:Absorbing
5253:regulated
5233:Integrals
5086:Goldstine
4921:Transpose
4858:Fredholm
4728:Ultraweak
4716:Dual norm
4647:Seminorms
4615:Barrelled
4585:Injective
4573:Uniformly
4547:Reflexive
4189:MathWorld
4072:‖
4065:‖
4057:⟩
4042:⟨
3906:‖
3900:‖
3896:‖
3890:−
3884:‖
3878:≥
3872:‖
3866:‖
3862:‖
3856:−
3850:‖
3838:‖
3832:‖
3828:‖
3822:−
3816:‖
3792:‖
3789:⋅
3786:‖
3749:⋅
3702:∑
3641:−
3617:∑
3613:−
3564:∑
3521:‖
3514:−
3508:‖
3505:−
3496:‖
3483:‖
3470:⟩
3458:⟨
3328:‖
3312:‖
3309:−
3300:‖
3293:−
3284:‖
3260:‖
3253:−
3247:‖
3244:−
3235:‖
3222:‖
3213:⟩
3201:⟨
3164:‖
3157:−
3151:‖
3148:−
3139:‖
3132:‖
3120:‖
3113:‖
3088:‖
3081:‖
3078:−
3069:‖
3062:‖
3059:−
3050:‖
3037:‖
2999:‖
2992:−
2986:‖
2983:−
2974:‖
2961:‖
2952:⟩
2940:⟨
2919:Euclidean
2801:⋯
2723:‖
2716:‖
2625:…
2559:which is
2538:‖
2531:‖
2519:‖
2512:‖
2506:⟩
2494:⟨
2488:⟩
2476:⟨
2470:⟩
2458:⟨
2452:⟩
2440:⟨
2428:‖
2415:‖
2386:⟩
2371:⟨
2296:‖
2289:‖
2274:‖
2267:‖
2258:⟩
2246:⟨
2237:⟩
2225:⟨
2210:‖
2203:−
2197:‖
2185:‖
2172:‖
2147:⟩
2135:⟨
2129:⟩
2117:⟨
2114:−
2111:⟩
2099:⟨
2096:−
2093:⟩
2081:⟨
2075:⟩
2069:−
2057:−
2051:⟨
2039:‖
2032:−
2026:‖
2004:⟩
1992:⟨
1986:⟩
1974:⟨
1968:⟩
1956:⟨
1950:⟩
1938:⟨
1932:⟩
1908:⟨
1896:‖
1883:‖
1858:⟩
1846:⟨
1834:‖
1827:‖
1773:‖
1766:‖
1751:‖
1744:‖
1738:≤
1729:‖
1722:−
1716:‖
1704:‖
1691:‖
1640:−
1512:‖
1505:−
1499:‖
1487:‖
1474:‖
1471:≤
1462:‖
1455:‖
1440:‖
1433:‖
1384:‖
1377:−
1371:‖
1359:‖
1346:‖
1334:‖
1327:‖
1312:‖
1305:‖
1170:α
1164:
1117:α
1111:
1096:−
951:α
945:
884:
878:−
866:−
861:∘
850:
800:α
797:−
792:∘
781:
766:−
711:△
684:α
681:−
676:∘
656:∠
604:α
598:
583:−
528:△
501:α
486:∠
427:midpoints
179:rectangle
7661:Japanese
7646:Egyptian
7589:timeline
7577:timeline
7565:timeline
7560:geometry
7553:timeline
7548:calculus
7541:timeline
7529:timeline
7232:Elements
7078:Concepts
7040:Problems
7013:Spherics
7003:Spherics
6968:(Euclid)
6914:(Euclid)
6911:Elements
6904:(Euclid)
6865:Almagest
6773:Serenus
6748:Porphyry
6688:Menelaus
6643:Hippasus
6618:Eutocius
6593:Domninus
6488:Archytas
6416:Category
6228:Algebras
6110:Theorems
6067:Complete
6036:Schwartz
5982:glossary
5774:weighted
5644:Hilbert
5621:Bs space
5491:Examples
5456:Interior
5432:Relative
5410:Zonotope
5389:(subset)
5367:(subset)
5318:Strongly
5297:Lebesgue
5292:Measures
5162:Analysis
5008:Theorems
4959:Spectrum
4884:positive
4867:operator
4805:operator
4795:Bilinear
4760:operator
4743:operator
4723:Operator
4620:Complete
4568:Strictly
4411:Examples
4109:(2002).
3945:See also
2923:standard
2921:norm or
2363:meaning
552:we get:
48:geometry
7641:Chinese
7596:numbers
7524:algebra
7452:Related
7426:Centers
7222:Results
7092:Central
6763:Ptolemy
6758:Proclus
6723:Perseus
6678:Marinus
6658:Hypatia
6648:Hippias
6623:Geminus
6613:Eudoxus
6603:Eudemus
6573:Diocles
6219:Unitary
6199:Nuclear
6184:Compact
6179:Bounded
6174:Adjoint
6148:Minâmax
6041:Sobolev
6026:Nuclear
6016:Hilbert
6011:Fréchet
5976: (
5639:Hardy H
5542:c space
5479:)
5434:)
5355:Bounded
5243:Dunford
5238:Bochner
5211:Gateaux
5206:Fréchet
4981:of ODEs
4926:Unitary
4901:Nuclear
4832:Compact
4822:Bounded
4790:Adjoint
4630:Fréchet
4625:F-space
4596: (
4592:)
4545:)
4525:Hilbert
4498:Asplund
4425:) with
4402:Unitary
4261:Adjoint
4162:2688275
2685:is the
2653:in the
2577:complex
272:states
7656:Indian
7433:Cyrene
6965:Optics
6884:Conics
6803:Theano
6793:Thales
6788:Sporus
6733:Philon
6718:Pappus
6608:Euclid
6538:Carpus
6528:Bryson
6194:Normal
6031:Orlicz
6021:Hölder
6001:Banach
5990:Spaces
5978:topics
5555:Besov
5395:Radial
5360:Convex
5345:Affine
5314:Weakly
5307:Vector
5179:bundle
4969:radius
4896:Normal
4862:kernel
4827:Closed
4750:Strong
4668:Normed
4658:Mackey
4503:Banach
4485:topics
4382:Normal
4160:
4119:
4051:
4020:
3881:
3875:
3847:
3841:
2925:norm.
2380:
1811:In an
401:where
7651:Incan
7572:logic
7348:Other
7116:Chord
7109:Axiom
7087:Angle
6743:Plato
6633:Heron
6553:Conon
6006:Besov
5630:with
5477:Quasi
5471:Polar
5275:Borel
5226:quasi
4755:polar
4738:polar
4552:Riesz
4433:<â
4158:JSTOR
2706:-norm
2571:Most
1292:norms
1286:In a
459:Proof
189:, so
7613:list
6901:Data
6673:Leon
6523:Bion
6354:(or
6072:Dual
5628:C(K)
5263:weak
4800:form
4733:Weak
4706:Dual
4673:norm
4635:tame
4508:list
4355:Maps
4277:and
4268:and
4117:ISBN
4018:ISBN
3423:and
2575:and
2573:real
1660:for
1614:and
1591:for
644:are
82:and
7515:by
7229:In
4845:Dis
4209:at
4200:at
4150:doi
4028:if
2320:If
1161:cos
1108:cos
942:cos
881:cos
857:180
847:cos
788:180
778:cos
672:180
595:cos
34:In
7713::
5980:â
5615:BV
5549:BK
5501:AC
5383:))
5316:/
4818:Un
4186:.
4156:.
4146:40
4144:.
4140:.
4026:.
3808::
2708::
2563:.
1819::
1294::
478:,
187:BD
185:=
183:AC
88:DA
86:=
84:BC
80:CD
78:=
76:AB
68:DA
66:,
64:CD
62:,
60:BC
58:,
56:AB
6450:e
6443:t
6436:v
6358:)
6082:)
6078:/
6074:(
5984:)
5966:e
5959:t
5952:v
5885:)
5880:p
5876:L
5872:,
5869:X
5866:(
5863:W
5827:F
5808:)
5803:n
5798:R
5793:(
5789:S
5752:L
5738:L
5699:â
5682:)
5676:(
5671:p
5668:,
5661:L
5646:H
5632:K
5592:)
5588:R
5584:(
5579:s
5574:q
5571:,
5568:p
5564:B
5526:)
5520:(
5517:a
5514:b
5475:(
5430:(
5381:x
5377:x
4847:)
4843:(
4820:)
4816:(
4649:/
4600:)
4583:(
4563:B
4561:(
4541:(
4475:e
4468:t
4461:v
4440:F
4431:n
4427:K
4423:K
4421:(
4419:C
4347:)
4343:(
4239:e
4232:t
4225:v
4192:.
4164:.
4152::
4125:.
4092:p
4076:p
4068:x
4062:=
4054:x
4048:,
4045:x
4030:p
3930:.
3927:z
3924:,
3921:y
3918:,
3915:x
3903:y
3893:z
3887:x
3869:x
3859:z
3853:y
3844:+
3835:z
3825:y
3819:x
3755:,
3752:y
3746:x
3743:=
3732:)
3726:i
3722:y
3716:i
3712:x
3706:i
3698:4
3694:(
3687:4
3684:1
3678:=
3667:)
3661:2
3656:|
3649:i
3645:y
3636:i
3632:x
3627:|
3621:i
3608:2
3603:|
3596:i
3592:y
3588:+
3583:i
3579:x
3574:|
3568:i
3559:(
3552:4
3549:1
3543:=
3531:4
3525:2
3517:y
3511:x
3500:2
3492:y
3489:+
3486:x
3477:=
3467:y
3464:,
3461:x
3434:,
3431:y
3411:x
3391:2
3388:=
3385:p
3365:p
3343:.
3338:4
3332:2
3324:y
3321:+
3318:x
3315:i
3304:2
3296:y
3290:x
3287:i
3278:i
3275:+
3270:4
3264:2
3256:y
3250:x
3239:2
3231:y
3228:+
3225:x
3216:=
3210:y
3207:,
3204:x
3179:.
3174:2
3168:2
3160:y
3154:x
3143:2
3135:y
3129:+
3124:2
3116:x
3098:2
3092:2
3084:y
3073:2
3065:x
3054:2
3046:y
3043:+
3040:x
3014:,
3009:4
3003:2
2995:y
2989:x
2978:2
2970:y
2967:+
2964:x
2955:=
2949:y
2946:,
2943:x
2905:,
2902:2
2899:=
2896:p
2876:p
2853:.
2848:p
2844:/
2840:1
2835:)
2829:p
2824:|
2817:n
2813:x
2808:|
2804:+
2798:+
2793:p
2788:|
2781:2
2777:x
2772:|
2768:+
2763:p
2758:|
2751:1
2747:x
2742:|
2737:(
2732:=
2727:p
2719:x
2694:p
2671:n
2666:R
2641:)
2636:n
2632:x
2628:,
2622:,
2617:2
2613:x
2609:,
2604:1
2600:x
2596:(
2593:=
2590:x
2547:,
2542:2
2534:y
2528:+
2523:2
2515:x
2509:=
2503:y
2500:,
2497:y
2491:+
2485:x
2482:,
2479:y
2473:+
2467:y
2464:,
2461:x
2455:+
2449:x
2446:,
2443:x
2437:=
2432:2
2424:y
2421:+
2418:x
2395:,
2392:0
2389:=
2383:y
2377:,
2374:x
2351:,
2348:y
2328:x
2305:,
2300:2
2292:y
2286:2
2283:+
2278:2
2270:x
2264:2
2261:=
2255:y
2252:,
2249:y
2243:2
2240:+
2234:x
2231:,
2228:x
2222:2
2219:=
2214:2
2206:y
2200:x
2194:+
2189:2
2181:y
2178:+
2175:x
2150:.
2144:y
2141:,
2138:y
2132:+
2126:x
2123:,
2120:y
2108:y
2105:,
2102:x
2090:x
2087:,
2084:x
2078:=
2072:y
2066:x
2063:,
2060:y
2054:x
2048:=
2043:2
2035:y
2029:x
2007:,
2001:y
1998:,
1995:y
1989:+
1983:x
1980:,
1977:y
1971:+
1965:y
1962:,
1959:x
1953:+
1947:x
1944:,
1941:x
1935:=
1929:y
1926:+
1923:x
1920:,
1917:y
1914:+
1911:x
1905:=
1900:2
1892:y
1889:+
1886:x
1861:.
1855:x
1852:,
1849:x
1843:=
1838:2
1830:x
1797:.
1794:y
1791:,
1788:x
1777:2
1769:y
1763:2
1760:+
1755:2
1747:x
1741:2
1733:2
1725:y
1719:x
1713:+
1708:2
1700:y
1697:+
1694:x
1671:,
1668:y
1647:)
1643:y
1637:x
1633:(
1627:2
1624:1
1602:,
1599:x
1578:)
1574:y
1571:+
1568:x
1564:(
1558:2
1555:1
1533:y
1530:,
1527:x
1516:2
1508:y
1502:x
1496:+
1491:2
1483:y
1480:+
1477:x
1466:2
1458:y
1452:2
1449:+
1444:2
1436:x
1430:2
1408:.
1405:y
1402:,
1399:x
1388:2
1380:y
1374:x
1368:+
1363:2
1355:y
1352:+
1349:x
1343:=
1338:2
1330:y
1324:2
1321:+
1316:2
1308:x
1302:2
1259:.
1254:2
1250:b
1246:2
1243:+
1238:2
1234:a
1230:2
1227:=
1222:2
1218:C
1214:A
1211:+
1206:2
1202:D
1198:B
1176:.
1173:)
1167:(
1158:b
1155:a
1152:2
1149:+
1144:2
1140:b
1136:+
1131:2
1127:a
1123:+
1120:)
1114:(
1105:b
1102:a
1099:2
1091:2
1087:b
1083:+
1078:2
1074:a
1070:=
1065:2
1061:C
1057:A
1054:+
1049:2
1045:D
1041:B
1019:2
1015:C
1011:A
1008:+
1003:2
999:D
995:B
973:.
968:2
964:C
960:A
957:=
954:)
948:(
939:b
936:a
933:2
930:+
925:2
921:b
917:+
912:2
908:a
887:x
875:=
872:)
869:x
853:(
822:.
817:2
813:C
809:A
806:=
803:)
784:(
775:b
772:a
769:2
761:2
757:b
753:+
748:2
744:a
723:,
720:C
717:D
714:A
687:.
668:=
665:C
662:D
659:A
626:.
621:2
617:D
613:B
610:=
607:)
601:(
592:b
589:a
586:2
578:2
574:b
570:+
565:2
561:a
540:,
537:D
534:A
531:B
504:.
498:=
495:D
492:A
489:B
476:b
472:a
443:0
440:=
437:x
409:x
389:,
384:2
380:x
376:4
373:+
368:2
364:D
360:B
357:+
352:2
348:C
344:A
341:=
336:2
332:A
328:D
325:+
320:2
316:D
312:C
309:+
304:2
300:C
296:B
293:+
288:2
284:B
280:A
246:2
242:C
238:A
235:2
232:=
227:2
223:C
219:B
216:2
213:+
208:2
204:B
200:A
197:2
160:2
156:D
152:B
149:+
144:2
140:C
136:A
133:=
128:2
124:C
120:B
117:2
114:+
109:2
105:B
101:A
98:2
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.