wh-g-016.xml /size: 1953 b    last modification: 2020-07-01 14:35
1<math xmlns='http://www.w3c.org/mathml' version='2.0'>
2  <apply> <forall/>
3    <condition>
4      <mrow>
5        <mi> &bigtriangleup; </mi>
6        <mi> A </mi>
7        <mi> B </mi>
8        <mi> C </mi>
9      </mrow>
10    </condition>
11    <apply> <eq/>
12      <apply> <power/>
13        <ci> a </ci>
14        <cn> 2 </cn>
15      </apply>
16      <apply> <plus/>
17        <apply> <power/>
18          <ci> b </ci>
19          <cn> 2 </cn>
20        </apply>
21        <apply> <power/>
22          <ci> c </ci>
23          <cn> 2 </cn>
24        </apply>
25        <apply> <minus/>
26          <apply> <times/>
27            <cn> 2 </cn>
28            <ci> b </ci>
29            <ci> c </ci>
30            <apply> <cos/>
31              <ci> &alpha; </ci>
32            </apply>
33          </apply>
34        </apply>
35      </apply>
36    </apply>
37   <apply> <eq/>
38      <apply> <power/>
39        <ci> b </ci>
40        <cn> 2 </cn>
41      </apply>
42      <apply> <plus/>
43        <apply> <power/>
44          <ci> a </ci>
45          <cn> 2 </cn>
46        </apply>
47        <apply> <power/>
48          <ci> c </ci>
49          <cn> 2 </cn>
50        </apply>
51        <apply> <minus/>
52          <apply> <times/>
53            <cn> 2 </cn>
54            <ci> a </ci>
55            <ci> c </ci>
56            <apply> <cos/>
57              <ci> &beta; </ci>
58            </apply>
59          </apply>
60        </apply>
61      </apply>
62    </apply>
63   <apply> <eq/>
64      <apply> <power/>
65        <ci> c </ci>
66        <cn> 2 </cn>
67      </apply>
68      <apply> <plus/>
69        <apply> <power/>
70          <ci> a </ci>
71          <cn> 2 </cn>
72        </apply>
73        <apply> <power/>
74          <ci> b </ci>
75          <cn> 2 </cn>
76        </apply>
77        <apply> <minus/>
78          <apply> <times/>
79            <cn> 2 </cn>
80            <ci> a </ci>
81            <ci> b </ci>
82            <apply> <cos/>
83              <ci> &gamma; </ci>
84            </apply>
85          </apply>
86        </apply>
87      </apply>
88    </apply>
89  </apply>
90</math>
91