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