223:@0.918848:0.966558:0.943044:0.966558:0.943044:0.950778:0.918848:0.950778:0.000000:0.000000:0.000000
Supongamos   ≠ 0. Entonces,:@0.108233:0.104868:0.322404:0.104868:0.322404:0.088371:0.108233:0.088371:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a:@0.205983:0.104984:0.214961:0.104984:0.214961:0.088515:0.205983:0.088515:0.000000
1:@0.214961:0.108146:0.219914:0.108146:0.219914:0.098528:0.214961:0.098528:0.000000
AA a:@0.271170:0.125997:0.330896:0.125997:0.330896:0.108812:0.271170:0.108812:0.000000:0.000000:0.000000:0.000000
b:@0.355240:0.125997:0.364910:0.125997:0.364910:0.108812:0.355240:0.108812:0.000000
a:@0.389697:0.125997:0.399065:0.125997:0.399065:0.108812:0.389697:0.108812:0.000000
A:@0.271170:0.152204:0.282930:0.152204:0.282930:0.135019:0.271170:0.135019:0.000000
A A:@0.346878:0.152204:0.380088:0.152204:0.380088:0.135019:0.346878:0.135019:0.000000:0.000000:0.000000
AA a:@0.271170:0.177581:0.330896:0.177581:0.330896:0.160396:0.271170:0.160396:0.000000:0.000000:0.000000:0.000000
b:@0.355240:0.177581:0.364910:0.177581:0.364910:0.160396:0.355240:0.160396:0.000000
A:@0.271170:0.203788:0.282930:0.203788:0.282930:0.186604:0.271170:0.186604:0.000000
=:@0.307295:0.125876:0.318573:0.125876:0.318573:0.108661:0.307295:0.108661:0.000000
≥:@0.375464:0.125876:0.386742:0.125876:0.386742:0.108661:0.375464:0.108661:0.000000
>0.:@0.408644:0.125876:0.433712:0.125876:0.433712:0.108661:0.408644:0.108661:0.000000:0.000000:0.000000
≠0:@0.286979:0.152083:0.311244:0.152083:0.311244:0.134868:0.286979:0.134868:0.000000:0.000000
>0.:@0.382146:0.152083:0.407215:0.152083:0.407215:0.134868:0.382146:0.134868:0.000000:0.000000:0.000000
=:@0.307283:0.177460:0.318561:0.177460:0.318561:0.160246:0.307283:0.160246:0.000000
>0,:@0.374608:0.177460:0.401264:0.177460:0.401264:0.160246:0.374608:0.160246:0.000000:0.000000:0.000000
≠0.:@0.286979:0.203668:0.314782:0.203668:0.314782:0.186453:0.286979:0.186453:0.000000:0.000000:0.000000
1:@0.329961:0.128222:0.335086:0.128222:0.335086:0.118270:0.329961:0.118270:0.000000
2:@0.331008:0.117495:0.336133:0.117495:0.336133:0.107542:0.331008:0.107542:0.000000
1:@0.363831:0.128222:0.368956:0.128222:0.368956:0.118270:0.363831:0.118270:0.000000
2:@0.365141:0.117495:0.370266:0.117495:0.370266:0.107542:0.365141:0.107542:0.000000
1:@0.398122:0.128222:0.403247:0.128222:0.403247:0.118270:0.398122:0.118270:0.000000
2 1:@0.399169:0.117495:0.398432:0.115307:0.398432:0.105355:0.399169:0.107542:0.000000:0.000000:0.000000
1:@0.329961:0.179811:0.335086:0.179811:0.335086:0.169858:0.329961:0.169858:0.000000
2:@0.331007:0.169082:0.336132:0.169082:0.336132:0.159129:0.331007:0.159129:0.000000
1:@0.363828:0.179811:0.368953:0.179811:0.368953:0.169858:0.363828:0.169858:0.000000
2:@0.365141:0.169082:0.370266:0.169082:0.370266:0.159129:0.365141:0.159129:0.000000
⋅:@0.284833:0.126540:0.289859:0.126540:0.289859:0.109551:0.284833:0.109551:0.000000
+:@0.341162:0.126540:0.352198:0.126540:0.352198:0.109551:0.341162:0.109551:0.000000
⋅:@0.360534:0.152747:0.365560:0.152747:0.365560:0.135758:0.360534:0.135758:0.000000
⋅:@0.284827:0.178124:0.289852:0.178124:0.289852:0.161136:0.284827:0.161136:0.000000
+:@0.341155:0.178124:0.352192:0.178124:0.352192:0.161136:0.341155:0.161136:0.000000
Así, :@0.108233:0.150484:0.137343:0.150484:0.137343:0.133987:0.108233:0.133987:0.000000:0.000000:0.000000:0.000000:0.000000
AA a:@0.141111:0.124605:0.200837:0.124605:0.200837:0.107420:0.141111:0.107420:0.000000:0.000000:0.000000:0.000000
b:@0.225182:0.124605:0.234851:0.124605:0.234851:0.107420:0.225182:0.107420:0.000000
a:@0.259638:0.124605:0.269006:0.124605:0.269006:0.107420:0.259638:0.107420:0.000000
A:@0.141111:0.150812:0.152871:0.150812:0.152871:0.133627:0.141111:0.133627:0.000000
A A:@0.216819:0.150812:0.250029:0.150812:0.250029:0.133627:0.216819:0.133627:0.000000:0.000000:0.000000
AA a:@0.141111:0.176189:0.200837:0.176189:0.200837:0.159005:0.141111:0.159005:0.000000:0.000000:0.000000:0.000000
b:@0.225182:0.176189:0.234851:0.176189:0.234851:0.159005:0.225182:0.159005:0.000000
A:@0.141111:0.202397:0.152871:0.202397:0.152871:0.185212:0.141111:0.185212:0.000000
=:@0.177236:0.124484:0.188514:0.124484:0.188514:0.107269:0.177236:0.107269:0.000000
≥:@0.245405:0.124484:0.256683:0.124484:0.256683:0.107269:0.245405:0.107269:0.000000
>0.:@0.278595:0.124484:0.303663:0.124484:0.303663:0.107269:0.278595:0.107269:0.000000:0.000000:0.000000
≠0:@0.156932:0.150691:0.181196:0.150691:0.181196:0.133476:0.156932:0.133476:0.000000:0.000000
>0.:@0.252099:0.150691:0.277168:0.150691:0.277168:0.133476:0.252099:0.133476:0.000000:0.000000:0.000000
=:@0.177236:0.176069:0.188514:0.176069:0.188514:0.158854:0.177236:0.158854:0.000000
>0,:@0.244561:0.176069:0.271217:0.176069:0.271217:0.158854:0.244561:0.158854:0.000000:0.000000:0.000000
≠0.:@0.156932:0.202276:0.184735:0.202276:0.184735:0.185061:0.156932:0.185061:0.000000:0.000000:0.000000
1:@0.199902:0.126829:0.205027:0.126829:0.205027:0.116877:0.199902:0.116877:0.000000
2:@0.200948:0.116100:0.206073:0.116100:0.206073:0.106148:0.200948:0.106148:0.000000
1:@0.233769:0.126829:0.238894:0.126829:0.238894:0.116877:0.233769:0.116877:0.000000
2:@0.235082:0.116100:0.240207:0.116100:0.240207:0.106148:0.235082:0.106148:0.000000
1:@0.268065:0.126829:0.273190:0.126829:0.273190:0.116877:0.268065:0.116877:0.000000
2:@0.269111:0.116100:0.274236:0.116100:0.274236:0.106148:0.269111:0.106148:0.000000
1:@0.199902:0.178414:0.205027:0.178414:0.205027:0.168462:0.199902:0.168462:0.000000
2:@0.200948:0.167685:0.206073:0.167685:0.206073:0.157733:0.200948:0.157733:0.000000
1:@0.233769:0.178414:0.238894:0.178414:0.238894:0.168462:0.233769:0.168462:0.000000
2:@0.235082:0.167685:0.240207:0.167685:0.240207:0.157733:0.235082:0.157733:0.000000
⋅:@0.154775:0.125148:0.159800:0.125148:0.159800:0.108159:0.154775:0.108159:0.000000
+:@0.211103:0.125148:0.222139:0.125148:0.222139:0.108159:0.211103:0.108159:0.000000
⋅:@0.230482:0.151355:0.235508:0.151355:0.235508:0.134366:0.230482:0.134366:0.000000
⋅:@0.154775:0.176733:0.159800:0.176733:0.159800:0.159744:0.154775:0.159744:0.000000
+:@0.211103:0.176733:0.222139:0.176733:0.222139:0.159744:0.211103:0.159744:0.000000
Recíprocamente, si :@0.108233:0.172035:0.245960:0.172035:0.245960:0.155537:0.108233:0.155537:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AA a:@0.249509:0.120692:0.309235:0.120692:0.309235:0.103507:0.249509:0.103507:0.000000:0.000000:0.000000:0.000000
b:@0.333580:0.120692:0.343249:0.120692:0.343249:0.103507:0.333580:0.103507:0.000000
a:@0.368036:0.120692:0.377404:0.120692:0.377404:0.103507:0.368036:0.103507:0.000000
A:@0.249509:0.146899:0.261270:0.146899:0.261270:0.129714:0.249509:0.129714:0.000000
A A:@0.325217:0.146899:0.358427:0.146899:0.358427:0.129714:0.325217:0.129714:0.000000:0.000000:0.000000
AA a:@0.249509:0.172280:0.309235:0.172280:0.309235:0.155096:0.249509:0.155096:0.000000:0.000000:0.000000:0.000000
b:@0.333580:0.172280:0.343249:0.172280:0.343249:0.155096:0.333580:0.155096:0.000000
A:@0.249509:0.198488:0.261270:0.198488:0.261270:0.181303:0.249509:0.181303:0.000000
=:@0.285634:0.120575:0.296912:0.120575:0.296912:0.103360:0.285634:0.103360:0.000000
≥:@0.353803:0.120575:0.365081:0.120575:0.365081:0.103360:0.353803:0.103360:0.000000
>0.:@0.386993:0.120575:0.412061:0.120575:0.412061:0.103360:0.386993:0.103360:0.000000:0.000000:0.000000
≠0:@0.265330:0.146782:0.289594:0.146782:0.289594:0.129567:0.265330:0.129567:0.000000:0.000000
>0.:@0.360497:0.146782:0.385566:0.146782:0.385566:0.129567:0.360497:0.129567:0.000000:0.000000:0.000000
=:@0.285634:0.172160:0.296912:0.172160:0.296912:0.154945:0.285634:0.154945:0.000000
>0,:@0.352959:0.172160:0.379605:0.172160:0.379605:0.154945:0.352959:0.154945:0.000000:0.000000:0.000000
≠0.:@0.265320:0.198367:0.293123:0.198367:0.293123:0.181152:0.265320:0.181152:0.000000:0.000000:0.000000
1:@0.308300:0.122916:0.313425:0.122916:0.313425:0.112964:0.308300:0.112964:0.000000
2:@0.309346:0.112188:0.314471:0.112188:0.314471:0.102235:0.309346:0.102235:0.000000
1:@0.342167:0.122916:0.347292:0.122916:0.347292:0.112964:0.342167:0.112964:0.000000
2:@0.343480:0.112188:0.348605:0.112188:0.348605:0.102235:0.343480:0.102235:0.000000
1:@0.376463:0.122916:0.381588:0.122916:0.381588:0.112964:0.376463:0.112964:0.000000
2:@0.377509:0.112188:0.382634:0.112188:0.382634:0.102235:0.377509:0.102235:0.000000
1:@0.308300:0.174501:0.313425:0.174501:0.313425:0.164549:0.308300:0.164549:0.000000
2:@0.309347:0.163779:0.314472:0.163779:0.314472:0.153826:0.309347:0.153826:0.000000
1:@0.342172:0.174506:0.347297:0.174506:0.347297:0.164554:0.342172:0.164554:0.000000
2:@0.343480:0.163779:0.348605:0.163779:0.348605:0.153826:0.343480:0.153826:0.000000
⋅:@0.263173:0.121235:0.268198:0.121235:0.268198:0.104247:0.263173:0.104247:0.000000
+:@0.319501:0.121235:0.330537:0.121235:0.330537:0.104247:0.319501:0.104247:0.000000
⋅:@0.338880:0.147442:0.343906:0.147442:0.343906:0.130454:0.338880:0.130454:0.000000
⋅:@0.263173:0.172820:0.268198:0.172820:0.268198:0.155831:0.263173:0.155831:0.000000
+:@0.319501:0.172820:0.330537:0.172820:0.330537:0.155831:0.319501:0.155831:0.000000
 al menos uno de los números :@0.382736:0.172035:0.599875:0.172035:0.599875:0.155537:0.382736:0.155537:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
reales   o   es no nulo. Luego :@0.108226:0.190238:0.330747:0.190232:0.330747:0.173734:0.108226:0.173741:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
a:@0.151861:0.190354:0.160839:0.190354:0.160839:0.173885:0.151861:0.173885:0.000000
1:@0.160846:0.193508:0.165799:0.193508:0.165799:0.183890:0.160846:0.183890:0.000000
b:@0.183620:0.190347:0.192886:0.190347:0.192886:0.173878:0.183620:0.173878:0.000000
1:@0.192885:0.193508:0.197838:0.193508:0.197838:0.183890:0.192885:0.183890:0.000000
AA a:@0.334516:0.113083:0.394242:0.113083:0.394242:0.095898:0.334516:0.095898:0.000000:0.000000:0.000000:0.000000
b:@0.418586:0.113083:0.428256:0.113083:0.428256:0.095898:0.418586:0.095898:0.000000
a:@0.453043:0.113083:0.462411:0.113083:0.462411:0.095898:0.453043:0.095898:0.000000
A:@0.334516:0.139290:0.346276:0.139290:0.346276:0.122105:0.334516:0.122105:0.000000
A A:@0.410223:0.139290:0.443433:0.139290:0.443433:0.122105:0.410223:0.122105:0.000000:0.000000:0.000000
AA a:@0.334516:0.164667:0.394242:0.164667:0.394242:0.147483:0.334516:0.147483:0.000000:0.000000:0.000000:0.000000
b:@0.418586:0.164667:0.428256:0.164667:0.428256:0.147483:0.418586:0.147483:0.000000
A:@0.334516:0.190875:0.346276:0.190875:0.346276:0.173690:0.334516:0.173690:0.000000
=:@0.370641:0.112962:0.381919:0.112962:0.381919:0.095747:0.370641:0.095747:0.000000
≥:@0.438810:0.112962:0.450087:0.112962:0.450087:0.095747:0.438810:0.095747:0.000000
>0.:@0.472000:0.112962:0.497068:0.112962:0.497068:0.095747:0.472000:0.095747:0.000000:0.000000:0.000000
≠0:@0.350337:0.139169:0.374601:0.139169:0.374601:0.121954:0.350337:0.121954:0.000000:0.000000
>0.:@0.445504:0.139169:0.470572:0.139169:0.470572:0.121954:0.445504:0.121954:0.000000:0.000000:0.000000
=:@0.370641:0.164547:0.381919:0.164547:0.381919:0.147332:0.370641:0.147332:0.000000
>0,:@0.437965:0.164547:0.464622:0.164547:0.464622:0.147332:0.437965:0.147332:0.000000:0.000000:0.000000
≠0.:@0.350337:0.190754:0.378139:0.190754:0.378139:0.173539:0.350337:0.173539:0.000000:0.000000:0.000000
2:@0.394353:0.104578:0.399478:0.104578:0.399478:0.094626:0.394353:0.094626:0.000000
1:@0.427173:0.115307:0.432299:0.115307:0.432299:0.105355:0.427173:0.105355:0.000000
2:@0.428487:0.104578:0.433612:0.104578:0.433612:0.094626:0.428487:0.094626:0.000000
1:@0.461470:0.115307:0.466595:0.115307:0.466595:0.105355:0.461470:0.105355:0.000000
2:@0.462516:0.104578:0.467641:0.104578:0.467641:0.094626:0.462516:0.094626:0.000000
1:@0.393307:0.166892:0.398432:0.166892:0.398432:0.156940:0.393307:0.156940:0.000000
2:@0.394353:0.156163:0.399478:0.156163:0.399478:0.146211:0.394353:0.146211:0.000000
1:@0.427173:0.166892:0.432299:0.166892:0.432299:0.156940:0.427173:0.156940:0.000000
2:@0.428487:0.156163:0.433612:0.156163:0.433612:0.146211:0.428487:0.146211:0.000000
⋅:@0.348179:0.113626:0.353205:0.113626:0.353205:0.096637:0.348179:0.096637:0.000000
+:@0.404508:0.113626:0.415544:0.113626:0.415544:0.096637:0.404508:0.096637:0.000000
⋅:@0.423887:0.139833:0.428912:0.139833:0.428912:0.122845:0.423887:0.122845:0.000000
⋅:@0.348179:0.165211:0.353205:0.165211:0.353205:0.148222:0.348179:0.148222:0.000000
+:@0.404508:0.165211:0.415544:0.165211:0.415544:0.148222:0.404508:0.148222:0.000000
La propiedad    muestra que el producto escalar en   es conmutativo.  :@0.108233:0.207582:0.599913:0.207582:0.599913:0.191085:0.108233:0.191085:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
i):@0.206621:0.207799:0.216774:0.207799:0.216774:0.191085:0.206621:0.191085:0.000000:0.000000
:@0.464583:0.206614:0.478493:0.206614:0.478493:0.193167:0.464583:0.193167:0.000000
2:@0.478109:0.201229:0.483062:0.201229:0.483062:0.191611:0.478109:0.191611:0.000000
Las propiedades  ,   pueden escribirse en una sola. Así, sean:@0.108245:0.224933:0.550201:0.224933:0.550201:0.208435:0.108245:0.208435:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
ii) iii):@0.227514:0.225150:0.268260:0.225150:0.268260:0.208435:0.227514:0.208435:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.186132:0.246022:0.228549:0.246022:0.228549:0.228838:0.186132:0.228838:0.000000:0.000000:0.000000:0.000000
A:@0.131058:0.271404:0.142818:0.271404:0.142818:0.254219:0.131058:0.254219:0.000000
B C:@0.171686:0.271404:0.206022:0.271404:0.206022:0.254219:0.171686:0.254219:0.000000:0.000000:0.000000
A C:@0.244338:0.271404:0.275015:0.271404:0.275015:0.254219:0.244338:0.254219:0.000000:0.000000:0.000000
B C:@0.316688:0.271404:0.345274:0.271404:0.345274:0.254219:0.316688:0.254219:0.000000:0.000000:0.000000
,:@0.125300:0.245902:0.128175:0.245902:0.128175:0.228687:0.125300:0.228687:0.000000
,:@0.174975:0.245902:0.177849:0.245902:0.177849:0.228687:0.174975:0.228687:0.000000
,,:@0.199018:0.245902:0.216809:0.245902:0.216809:0.228687:0.199018:0.228687:0.000000:0.000000
(:@0.110746:0.271283:0.116958:0.271283:0.116958:0.254068:0.110746:0.254068:0.000000
):@0.180784:0.271283:0.186996:0.271283:0.186996:0.254068:0.180784:0.254068:0.000000
=(:@0.210215:0.271283:0.243546:0.271283:0.243546:0.254068:0.210215:0.254068:0.000000:0.000000
):@0.275750:0.271283:0.281962:0.271283:0.281962:0.254068:0.275750:0.254068:0.000000
(:@0.310930:0.271283:0.317142:0.271283:0.317142:0.254068:0.310930:0.254068:0.000000
).:@0.346010:0.271283:0.354755:0.271283:0.354755:0.254068:0.346010:0.254068:0.000000:0.000000
2:@0.262303:0.237521:0.267428:0.237521:0.267428:0.227568:0.262303:0.227568:0.000000
αλ ∈:@0.110746:0.246566:0.158845:0.246566:0.158845:0.229577:0.110746:0.229577:0.000000:0.000000:0.000000:0.000000
∈:@0.232723:0.246566:0.247057:0.246566:0.247057:0.229577:0.232723:0.229577:0.000000
α+ λ⋅:@0.116509:0.271943:0.194046:0.271943:0.194046:0.254954:0.116509:0.254954:0.000000:0.000000:0.000000:0.000000:0.000000
α:@0.224039:0.271943:0.236724:0.271943:0.236724:0.254954:0.224039:0.254954:0.000000
⋅:@0.258013:0.271943:0.263039:0.271943:0.263039:0.254954:0.258013:0.254954:0.000000
+λ ⋅:@0.284810:0.271943:0.333278:0.271943:0.333278:0.254954:0.284810:0.254954:0.000000:0.000000:0.000000:0.000000
. Entonces, :@0.267312:0.247099:0.346357:0.247099:0.346357:0.230602:0.267312:0.230602:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.225121:0.279401:0.229263:0.279401:0.229263:0.262903:0.225121:0.262903:0.000000
AB C B:@0.307164:0.248953:0.343308:0.248866:0.343308:0.231682:0.307164:0.231768:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.252091:0.274334:0.263851:0.274334:0.263851:0.257149:0.252091:0.257149:0.000000
B C AB:@0.292719:0.274334:0.367793:0.274244:0.367793:0.257059:0.292719:0.257149:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A C:@0.365371:0.274334:0.396061:0.274334:0.396061:0.257149:0.365371:0.257149:0.000000:0.000000:0.000000
B C:@0.437734:0.274334:0.466316:0.274334:0.466316:0.257149:0.437734:0.257149:0.000000:0.000000:0.000000
,:@0.246333:0.248832:0.249208:0.248832:0.249208:0.231617:0.246333:0.231617:0.000000
,:@0.296007:0.248832:0.298882:0.248832:0.298882:0.231617:0.296007:0.231617:0.000000
,,:@0.320050:0.248832:0.337841:0.248832:0.337841:0.231617:0.320050:0.231617:0.000000:0.000000
(:@0.231779:0.274214:0.237990:0.274214:0.237990:0.256999:0.231779:0.256999:0.000000
):@0.301817:0.274214:0.308029:0.274214:0.308029:0.256999:0.301817:0.256999:0.000000
=( .=0:@0.331248:0.274214:0.393887:0.274093:0.393887:0.256878:0.331248:0.256999:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
):@0.396783:0.274214:0.402995:0.274214:0.402995:0.256999:0.396783:0.256999:0.000000
(:@0.431963:0.274214:0.438175:0.274214:0.438175:0.256999:0.431963:0.256999:0.000000
).:@0.467043:0.274214:0.475787:0.274214:0.475787:0.256999:0.467043:0.256999:0.000000:0.000000
2:@0.383336:0.240451:0.388461:0.240451:0.388461:0.230499:0.383336:0.230499:0.000000
αλ ∈:@0.231779:0.249496:0.279885:0.249496:0.279885:0.232508:0.231779:0.232508:0.000000:0.000000:0.000000:0.000000
∈:@0.353763:0.249496:0.368096:0.249496:0.368096:0.232508:0.353763:0.232508:0.000000
α+ λ⋅:@0.237538:0.274877:0.315075:0.274877:0.315075:0.257889:0.237538:0.257889:0.000000:0.000000:0.000000:0.000000:0.000000
α:@0.345068:0.274877:0.357753:0.274877:0.357753:0.257889:0.345068:0.257889:0.000000
⋅:@0.379042:0.274877:0.384068:0.274877:0.384068:0.257889:0.379042:0.257889:0.000000
+λ ⋅:@0.405839:0.274877:0.454307:0.274877:0.454307:0.257889:0.405839:0.257889:0.000000:0.000000:0.000000:0.000000
La propiedad:@0.108233:0.296745:0.201978:0.296745:0.201978:0.280247:0.108233:0.280247:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 iv):@0.201978:0.296962:0.224354:0.296962:0.224354:0.280247:0.201978:0.280247:0.000000:0.000000:0.000000:0.000000
 es la no negatividad del producto escalar. En lo suce-:@0.224345:0.296745:0.595737:0.296745:0.595737:0.280247:0.224345:0.280247:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
sivo, haremos referencia a las propiedades   a :@0.108233:0.314096:0.438881:0.314096:0.438881:0.297598:0.108233:0.297598:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
i) iv) :@0.411524:0.314313:0.462406:0.314313:0.462406:0.297598:0.411524:0.297598:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
del teorema como :@0.463080:0.314096:0.599911:0.314096:0.599911:0.297598:0.463080:0.297598:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
propiedades de la definición del producto escalar.:@0.108233:0.331447:0.461013:0.331447:0.461013:0.314949:0.108233:0.314949:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Ejercicios resueltos:@0.108233:0.366524:0.238888:0.366524:0.238888:0.349737:0.108233:0.349737:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
1. :@0.108233:0.387417:0.124397:0.387417:0.124397:0.370703:0.108233:0.370703:0.000000:0.000000:0.000000
  Sea :@0.124205:0.387200:0.160230:0.387200:0.160230:0.370703:0.124205:0.370703:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.164478:0.388495:0.174067:0.388495:0.174067:0.371310:0.164478:0.371310:0.000000
AB:@0.165724:0.413872:0.198552:0.413872:0.198552:0.396687:0.165724:0.396687:0.000000:0.000000
A:@0.165724:0.439249:0.177484:0.439249:0.177484:0.422065:0.165724:0.422065:0.000000
B:@0.164478:0.464627:0.174067:0.464627:0.174067:0.447442:0.164478:0.447442:0.000000
A:@0.165724:0.490004:0.177484:0.490004:0.177484:0.472819:0.165724:0.472819:0.000000
AB:@0.165724:0.515382:0.198552:0.515382:0.198552:0.498197:0.165724:0.498197:0.000000:0.000000
AB:@0.165724:0.540759:0.203799:0.540759:0.203799:0.523574:0.165724:0.523574:0.000000:0.000000
BB:@0.164478:0.566136:0.192179:0.566136:0.192179:0.548951:0.164478:0.548951:0.000000:0.000000
B:@0.164478:0.591514:0.174067:0.591514:0.174067:0.574329:0.164478:0.574329:0.000000
.:@0.214313:0.388344:0.217187:0.388344:0.217187:0.371129:0.214313:0.371129:0.000000
.=0:@0.181967:0.413721:0.224645:0.413721:0.224645:0.396506:0.181967:0.396506:0.000000:0.000000:0.000000
,:@0.218494:0.439099:0.221369:0.439099:0.221369:0.421884:0.218494:0.421884:0.000000
=0.:@0.177022:0.464476:0.203658:0.464476:0.203658:0.447261:0.177022:0.447261:0.000000:0.000000:0.000000
.=0,:@0.181947:0.515246:0.229008:0.515246:0.229008:0.498031:0.181947:0.498031:0.000000:0.000000:0.000000:0.000000
=:@0.180379:0.540623:0.191657:0.540623:0.191657:0.523408:0.180379:0.523408:0.000000
=0:@0.195134:0.566000:0.218233:0.566000:0.218233:0.548785:0.195134:0.548785:0.000000:0.000000
=0:@0.177022:0.591378:0.200120:0.591378:0.200120:0.574163:0.177022:0.574163:0.000000:0.000000
2:@0.206620:0.379993:0.211745:0.379993:0.211745:0.370041:0.206620:0.370041:0.000000
2:@0.209970:0.430756:0.215096:0.430756:0.215096:0.420804:0.209970:0.420804:0.000000
2:@0.209970:0.481522:0.215096:0.481522:0.215096:0.471569:0.209970:0.471569:0.000000
∈:@0.177042:0.389038:0.191375:0.389038:0.191375:0.372049:0.177042:0.372049:0.000000
∈:@0.180399:0.439808:0.194732:0.439808:0.194732:0.422819:0.180399:0.422819:0.000000
∈:@0.180399:0.490577:0.194732:0.490577:0.194732:0.473589:0.180399:0.473589:0.000000
⋅:@0.176057:0.566725:0.181083:0.566725:0.181083:0.549736:0.176057:0.549736:0.000000
 Si :@0.217568:0.387197:0.239183:0.387197:0.239183:0.370699:0.217568:0.370699:0.000000:0.000000:0.000000:0.000000
B:@0.240954:0.362091:0.250543:0.362091:0.250543:0.344907:0.240954:0.344907:0.000000
AB:@0.242200:0.387469:0.275028:0.387469:0.275028:0.370284:0.242200:0.370284:0.000000:0.000000
A:@0.242200:0.412846:0.253960:0.412846:0.253960:0.395661:0.242200:0.395661:0.000000
B:@0.240954:0.438223:0.250543:0.438223:0.250543:0.421039:0.240954:0.421039:0.000000
A:@0.242200:0.463601:0.253960:0.463601:0.253960:0.446416:0.242200:0.446416:0.000000
AB:@0.242200:0.488978:0.275028:0.488978:0.275028:0.471793:0.242200:0.471793:0.000000:0.000000
AB:@0.242200:0.514356:0.280275:0.514356:0.280275:0.497171:0.242200:0.497171:0.000000:0.000000
BB:@0.240954:0.539733:0.268656:0.539733:0.268656:0.522548:0.240954:0.522548:0.000000:0.000000
B:@0.240954:0.565110:0.250543:0.565110:0.250543:0.547925:0.240954:0.547925:0.000000
.:@0.290789:0.361940:0.293664:0.361940:0.293664:0.344726:0.290789:0.344726:0.000000
.=0:@0.258443:0.387318:0.301122:0.387318:0.301122:0.370103:0.258443:0.370103:0.000000:0.000000:0.000000
,:@0.294970:0.412695:0.297845:0.412695:0.297845:0.395480:0.294970:0.395480:0.000000
=0.:@0.253498:0.438073:0.280134:0.438073:0.280134:0.420858:0.253498:0.420858:0.000000:0.000000:0.000000
.=0,:@0.258423:0.488842:0.305484:0.488842:0.305484:0.471627:0.258423:0.471627:0.000000:0.000000:0.000000:0.000000
=:@0.256855:0.514220:0.268133:0.514220:0.268133:0.497005:0.256855:0.497005:0.000000
=0:@0.271611:0.539597:0.294709:0.539597:0.294709:0.522382:0.271611:0.522382:0.000000:0.000000
=0:@0.253498:0.564974:0.276596:0.564974:0.276596:0.547760:0.253498:0.547760:0.000000:0.000000
2:@0.283096:0.353590:0.288221:0.353590:0.288221:0.343637:0.283096:0.343637:0.000000
2:@0.286443:0.404355:0.291569:0.404355:0.291569:0.394402:0.286443:0.394402:0.000000
2:@0.286443:0.455120:0.291569:0.455120:0.291569:0.445167:0.286443:0.445167:0.000000
∈:@0.253518:0.362635:0.267852:0.362635:0.267852:0.345646:0.253518:0.345646:0.000000
∈:@0.256875:0.413404:0.271209:0.413404:0.271209:0.396416:0.256875:0.396416:0.000000
∈:@0.256875:0.464174:0.271209:0.464174:0.271209:0.447186:0.256875:0.447186:0.000000
⋅:@0.252533:0.540321:0.257559:0.540321:0.257559:0.523333:0.252533:0.523333:0.000000
 para todo :@0.301613:0.387197:0.383432:0.387197:0.383432:0.370699:0.301613:0.370699:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.385195:0.336945:0.394784:0.336945:0.394784:0.319761:0.385195:0.319761:0.000000
AB:@0.386442:0.362323:0.419270:0.362323:0.419270:0.345138:0.386442:0.345138:0.000000:0.000000
A:@0.386442:0.387700:0.398202:0.387700:0.398202:0.370515:0.386442:0.370515:0.000000
B:@0.385195:0.413077:0.394784:0.413077:0.394784:0.395893:0.385195:0.395893:0.000000
A:@0.386442:0.438455:0.398202:0.438455:0.398202:0.421270:0.386442:0.421270:0.000000
AB:@0.386442:0.463832:0.419270:0.463832:0.419270:0.446647:0.386442:0.446647:0.000000:0.000000
AB:@0.386442:0.489210:0.424517:0.489210:0.424517:0.472025:0.386442:0.472025:0.000000:0.000000
BB:@0.385195:0.514587:0.412897:0.514587:0.412897:0.497402:0.385195:0.497402:0.000000:0.000000
B:@0.385195:0.539964:0.394784:0.539964:0.394784:0.522779:0.385195:0.522779:0.000000
.:@0.435030:0.336794:0.437905:0.336794:0.437905:0.319580:0.435030:0.319580:0.000000
.=0:@0.402685:0.362172:0.445363:0.362172:0.445363:0.344957:0.402685:0.344957:0.000000:0.000000:0.000000
,:@0.439212:0.387549:0.442087:0.387549:0.442087:0.370334:0.439212:0.370334:0.000000
=0.:@0.397740:0.412927:0.424376:0.412927:0.424376:0.395712:0.397740:0.395712:0.000000:0.000000:0.000000
.=0,:@0.402665:0.463696:0.449726:0.463696:0.449726:0.446481:0.402665:0.446481:0.000000:0.000000:0.000000:0.000000
=:@0.401097:0.489074:0.412374:0.489074:0.412374:0.471859:0.401097:0.471859:0.000000
=0:@0.415852:0.514451:0.438950:0.514451:0.438950:0.497236:0.415852:0.497236:0.000000:0.000000
=0:@0.397740:0.539828:0.420838:0.539828:0.420838:0.522614:0.397740:0.522614:0.000000:0.000000
2:@0.427339:0.328444:0.432465:0.328444:0.432465:0.318491:0.427339:0.318491:0.000000
2:@0.430687:0.379209:0.435812:0.379209:0.435812:0.369256:0.430687:0.369256:0.000000
2:@0.430687:0.429974:0.435812:0.429974:0.435812:0.420021:0.430687:0.420021:0.000000
∈:@0.397760:0.337489:0.412093:0.337489:0.412093:0.320500:0.397760:0.320500:0.000000
∈:@0.401117:0.388258:0.415450:0.388258:0.415450:0.371270:0.401117:0.371270:0.000000
∈:@0.401117:0.439028:0.415450:0.439028:0.415450:0.422039:0.401117:0.422039:0.000000
⋅:@0.396775:0.515175:0.401800:0.515175:0.401800:0.498187:0.396775:0.498187:0.000000
, demostrar que :@0.436320:0.387197:0.555106:0.387197:0.555106:0.370699:0.436320:0.370699:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.556874:0.311799:0.566463:0.311799:0.566463:0.294615:0.556874:0.294615:0.000000
AB:@0.558120:0.337177:0.590948:0.337177:0.590948:0.319992:0.558120:0.319992:0.000000:0.000000
A:@0.558120:0.362554:0.569881:0.362554:0.569881:0.345369:0.558120:0.345369:0.000000
B:@0.556874:0.387931:0.566463:0.387931:0.566463:0.370747:0.556874:0.370747:0.000000
A:@0.558120:0.413309:0.569881:0.413309:0.569881:0.396124:0.558120:0.396124:0.000000
AB:@0.558120:0.438686:0.590948:0.438686:0.590948:0.421501:0.558120:0.421501:0.000000:0.000000
AB:@0.558120:0.464064:0.596195:0.464064:0.596195:0.446879:0.558120:0.446879:0.000000:0.000000
BB:@0.556874:0.489441:0.584576:0.489441:0.584576:0.472256:0.556874:0.472256:0.000000:0.000000
B:@0.556874:0.514818:0.566463:0.514818:0.566463:0.497633:0.556874:0.497633:0.000000
.:@0.606709:0.311648:0.609584:0.311648:0.609584:0.294433:0.606709:0.294433:0.000000
.=0:@0.574363:0.337026:0.617042:0.337026:0.617042:0.319811:0.574363:0.319811:0.000000:0.000000:0.000000
,:@0.610890:0.362403:0.613765:0.362403:0.613765:0.345188:0.610890:0.345188:0.000000
=0.:@0.569418:0.387781:0.596054:0.387781:0.596054:0.370566:0.569418:0.370566:0.000000:0.000000:0.000000
.=0,:@0.574343:0.438550:0.621404:0.438550:0.621404:0.421335:0.574343:0.421335:0.000000:0.000000:0.000000:0.000000
=:@0.572775:0.463928:0.584053:0.463928:0.584053:0.446713:0.572775:0.446713:0.000000
=0:@0.587531:0.489305:0.610629:0.489305:0.610629:0.472090:0.587531:0.472090:0.000000:0.000000
=0:@0.569418:0.514682:0.592516:0.514682:0.592516:0.497467:0.569418:0.497467:0.000000:0.000000
2:@0.599016:0.303298:0.604142:0.303298:0.604142:0.293345:0.599016:0.293345:0.000000
2:@0.602363:0.354063:0.607489:0.354063:0.607489:0.344110:0.602363:0.344110:0.000000
2:@0.602363:0.404828:0.607489:0.404828:0.607489:0.394875:0.602363:0.394875:0.000000
∈:@0.569438:0.312342:0.583772:0.312342:0.583772:0.295354:0.569438:0.295354:0.000000
∈:@0.572795:0.363112:0.587129:0.363112:0.587129:0.346124:0.572795:0.346124:0.000000
∈:@0.572795:0.413882:0.587129:0.413882:0.587129:0.396893:0.572795:0.396893:0.000000
⋅:@0.568453:0.490029:0.573479:0.490029:0.573479:0.473041:0.568453:0.473041:0.000000
. :@0.593012:0.387197:0.599909:0.387197:0.599909:0.370699:0.593012:0.370699:0.000000:0.000000
Supongamos que para todo :@0.131975:0.406644:0.339788:0.406644:0.339788:0.390146:0.131975:0.390146:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.341497:0.304850:0.351086:0.304850:0.351086:0.287665:0.341497:0.287665:0.000000
AB:@0.342743:0.330228:0.375571:0.330228:0.375571:0.313043:0.342743:0.313043:0.000000:0.000000
A:@0.342743:0.355605:0.354503:0.355605:0.354503:0.338420:0.342743:0.338420:0.000000
B:@0.341497:0.380982:0.351086:0.380982:0.351086:0.363798:0.341497:0.363798:0.000000
A:@0.342743:0.406360:0.354503:0.406360:0.354503:0.389175:0.342743:0.389175:0.000000
AB:@0.342743:0.431737:0.375571:0.431737:0.375571:0.414552:0.342743:0.414552:0.000000:0.000000
AB:@0.342743:0.457114:0.380818:0.457114:0.380818:0.439930:0.342743:0.439930:0.000000:0.000000
BB:@0.341497:0.482492:0.369199:0.482492:0.369199:0.465307:0.341497:0.465307:0.000000:0.000000
B:@0.341497:0.507869:0.351086:0.507869:0.351086:0.490684:0.341497:0.490684:0.000000
.:@0.391332:0.304699:0.394207:0.304699:0.394207:0.287484:0.391332:0.287484:0.000000
.=0:@0.358986:0.330077:0.401665:0.330077:0.401665:0.312862:0.358986:0.312862:0.000000:0.000000:0.000000
,:@0.395513:0.355454:0.398388:0.355454:0.398388:0.338239:0.395513:0.338239:0.000000
=0.:@0.354041:0.380831:0.380677:0.380831:0.380677:0.363616:0.354041:0.363616:0.000000:0.000000:0.000000
.=0,:@0.358966:0.431601:0.406027:0.431601:0.406027:0.414386:0.358966:0.414386:0.000000:0.000000:0.000000:0.000000
=:@0.357398:0.456979:0.368676:0.456979:0.368676:0.439764:0.357398:0.439764:0.000000
=0:@0.372154:0.482356:0.395252:0.482356:0.395252:0.465141:0.372154:0.465141:0.000000:0.000000
=0:@0.354041:0.507733:0.377139:0.507733:0.377139:0.490518:0.354041:0.490518:0.000000:0.000000
2:@0.383639:0.296348:0.388764:0.296348:0.388764:0.286396:0.383639:0.286396:0.000000
2:@0.386986:0.347114:0.392111:0.347114:0.392111:0.337161:0.386986:0.337161:0.000000
2:@0.386990:0.397876:0.392115:0.397876:0.392115:0.387923:0.386990:0.387923:0.000000
∈:@0.354061:0.305393:0.368394:0.305393:0.368394:0.288405:0.354061:0.288405:0.000000
∈:@0.357418:0.356163:0.371752:0.356163:0.371752:0.339175:0.357418:0.339175:0.000000
∈:@0.357418:0.406933:0.371752:0.406933:0.371752:0.389944:0.357418:0.389944:0.000000
⋅:@0.353076:0.483080:0.358102:0.483080:0.358102:0.466092:0.353076:0.466092:0.000000
 se verifica que :@0.393208:0.406651:0.506141:0.406651:0.506141:0.390153:0.393208:0.390153:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.507850:0.279704:0.517439:0.279704:0.517439:0.262519:0.507850:0.262519:0.000000
AB:@0.509096:0.305082:0.541924:0.305082:0.541924:0.287897:0.509096:0.287897:0.000000:0.000000
A:@0.509096:0.330459:0.520856:0.330459:0.520856:0.313274:0.509096:0.313274:0.000000
B:@0.507850:0.355836:0.517439:0.355836:0.517439:0.338652:0.507850:0.338652:0.000000
A:@0.509096:0.381214:0.520856:0.381214:0.520856:0.364029:0.509096:0.364029:0.000000
AB:@0.509096:0.406591:0.541924:0.406591:0.541924:0.389406:0.509096:0.389406:0.000000:0.000000
AB:@0.509096:0.431968:0.547171:0.431968:0.547171:0.414784:0.509096:0.414784:0.000000:0.000000
BB:@0.507850:0.457346:0.535552:0.457346:0.535552:0.440161:0.507850:0.440161:0.000000:0.000000
B:@0.507850:0.482723:0.517439:0.482723:0.517439:0.465538:0.507850:0.465538:0.000000
.:@0.557685:0.279553:0.560559:0.279553:0.560559:0.262338:0.557685:0.262338:0.000000
.=0:@0.525339:0.304931:0.568018:0.304931:0.568018:0.287716:0.525339:0.287716:0.000000:0.000000:0.000000
,:@0.561866:0.330308:0.564741:0.330308:0.564741:0.313093:0.561866:0.313093:0.000000
=0.:@0.520394:0.355685:0.547030:0.355685:0.547030:0.338470:0.520394:0.338470:0.000000:0.000000:0.000000
.=0,:@0.525319:0.406455:0.572380:0.406455:0.572380:0.389240:0.525319:0.389240:0.000000:0.000000:0.000000:0.000000
=:@0.523751:0.431833:0.535029:0.431833:0.535029:0.414618:0.523751:0.414618:0.000000
=0:@0.538507:0.457210:0.561605:0.457210:0.561605:0.439995:0.538507:0.439995:0.000000:0.000000
=0:@0.520394:0.482587:0.543492:0.482587:0.543492:0.465372:0.520394:0.465372:0.000000:0.000000
2:@0.549992:0.271202:0.555117:0.271202:0.555117:0.261250:0.549992:0.261250:0.000000
2:@0.553339:0.321968:0.558464:0.321968:0.558464:0.312015:0.553339:0.312015:0.000000
2:@0.553339:0.372733:0.558464:0.372733:0.558464:0.362780:0.553339:0.362780:0.000000
∈:@0.520414:0.280247:0.534747:0.280247:0.534747:0.263259:0.520414:0.263259:0.000000
∈:@0.523771:0.331017:0.538105:0.331017:0.538105:0.314029:0.523771:0.314029:0.000000
∈:@0.523771:0.381787:0.538105:0.381787:0.538105:0.364798:0.523771:0.364798:0.000000
⋅:@0.519429:0.457934:0.524455:0.457934:0.524455:0.440946:0.519429:0.440946:0.000000
 en :@0.572643:0.406651:0.599903:0.406651:0.599903:0.390153:0.572643:0.390153:0.000000:0.000000:0.000000:0.000000
particular. Si :@0.131970:0.426098:0.223071:0.426098:0.223071:0.409600:0.131970:0.409600:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.224731:0.274012:0.234320:0.274012:0.234320:0.256828:0.224731:0.256828:0.000000
AB:@0.225977:0.299390:0.258805:0.299390:0.258805:0.282205:0.225977:0.282205:0.000000:0.000000
A:@0.225977:0.324767:0.237737:0.324767:0.237737:0.307582:0.225977:0.307582:0.000000
B:@0.224731:0.350144:0.234320:0.350144:0.234320:0.332960:0.224731:0.332960:0.000000
A:@0.225977:0.375522:0.237737:0.375522:0.237737:0.358337:0.225977:0.358337:0.000000
AB:@0.225977:0.400899:0.258805:0.400899:0.258805:0.383714:0.225977:0.383714:0.000000:0.000000
AB:@0.225977:0.426277:0.264052:0.426277:0.264052:0.409092:0.225977:0.409092:0.000000:0.000000
BB:@0.224731:0.451654:0.252433:0.451654:0.252433:0.434469:0.224731:0.434469:0.000000:0.000000
B:@0.224731:0.477031:0.234320:0.477031:0.234320:0.459847:0.224731:0.459847:0.000000
.:@0.274566:0.273862:0.277441:0.273862:0.277441:0.256647:0.274566:0.256647:0.000000
.=0:@0.242220:0.299239:0.284899:0.299239:0.284899:0.282024:0.242220:0.282024:0.000000:0.000000:0.000000
,:@0.278747:0.324616:0.281622:0.324616:0.281622:0.307401:0.278747:0.307401:0.000000
=0.:@0.237275:0.349994:0.263911:0.349994:0.263911:0.332779:0.237275:0.332779:0.000000:0.000000:0.000000
.=0,:@0.242200:0.400763:0.289261:0.400763:0.289261:0.383548:0.242200:0.383548:0.000000:0.000000:0.000000:0.000000
=:@0.240632:0.426141:0.251910:0.426141:0.251910:0.408926:0.240632:0.408926:0.000000
=0:@0.255388:0.451518:0.278486:0.451518:0.278486:0.434303:0.255388:0.434303:0.000000:0.000000
=0:@0.237275:0.476896:0.260373:0.476896:0.260373:0.459681:0.237275:0.459681:0.000000:0.000000
2:@0.266873:0.265511:0.271998:0.265511:0.271998:0.255558:0.266873:0.255558:0.000000
2:@0.270220:0.316276:0.275346:0.316276:0.275346:0.306323:0.270220:0.306323:0.000000
2:@0.270220:0.367041:0.275346:0.367041:0.275346:0.357088:0.270220:0.357088:0.000000
∈:@0.237295:0.274556:0.251629:0.274556:0.251629:0.257567:0.237295:0.257567:0.000000
∈:@0.240652:0.325325:0.254986:0.325325:0.254986:0.308337:0.240652:0.308337:0.000000
∈:@0.240652:0.376095:0.254986:0.376095:0.254986:0.359107:0.240652:0.359107:0.000000
⋅:@0.236310:0.452242:0.241336:0.452242:0.241336:0.435254:0.236310:0.435254:0.000000
, se tiene :@0.263957:0.426105:0.332077:0.426105:0.332077:0.409607:0.263957:0.409607:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A:@0.334965:0.299621:0.346725:0.299621:0.346725:0.282436:0.334965:0.282436:0.000000
B:@0.333719:0.324998:0.343308:0.324998:0.343308:0.307814:0.333719:0.307814:0.000000
A:@0.334965:0.350376:0.346725:0.350376:0.346725:0.333191:0.334965:0.333191:0.000000
AB:@0.334965:0.375753:0.367793:0.375753:0.367793:0.358568:0.334965:0.358568:0.000000:0.000000
AB:@0.334965:0.401131:0.373040:0.401131:0.373040:0.383946:0.334965:0.383946:0.000000:0.000000
BB:@0.333719:0.426508:0.361420:0.426508:0.361420:0.409323:0.333719:0.409323:0.000000:0.000000
B B:@0.333719:0.451885:0.340699:0.452242:0.340699:0.435058:0.333719:0.434701:0.000000:0.000000:0.000000
.:@0.383554:0.248716:0.386428:0.248716:0.386428:0.231501:0.383554:0.231501:0.000000
,:@0.387735:0.299470:0.390610:0.299470:0.390610:0.282255:0.387735:0.282255:0.000000
=0.:@0.346263:0.324848:0.372899:0.324848:0.372899:0.307633:0.346263:0.307633:0.000000:0.000000:0.000000
.=0,:@0.351188:0.375617:0.398249:0.375617:0.398249:0.358402:0.351188:0.358402:0.000000:0.000000:0.000000:0.000000
=:@0.349620:0.400995:0.360898:0.400995:0.360898:0.383780:0.349620:0.383780:0.000000
=0:@0.364376:0.426372:0.387474:0.426372:0.387474:0.409157:0.364376:0.409157:0.000000:0.000000
=0 .:@0.346263:0.451750:0.383820:0.452091:0.383820:0.434877:0.346263:0.434535:0.000000:0.000000:0.000000:0.000000
2:@0.375861:0.240365:0.380986:0.240365:0.380986:0.230412:0.375861:0.230412:0.000000
2:@0.379208:0.291130:0.384333:0.291130:0.384333:0.281177:0.379208:0.281177:0.000000
2:@0.379208:0.341895:0.384333:0.341895:0.384333:0.331942:0.379208:0.331942:0.000000
∈:@0.346283:0.249410:0.360616:0.249410:0.360616:0.232421:0.346283:0.232421:0.000000
∈:@0.349640:0.300179:0.363973:0.300179:0.363973:0.283191:0.349640:0.283191:0.000000
∈:@0.349640:0.350949:0.363973:0.350949:0.363973:0.333961:0.349640:0.333961:0.000000
⋅:@0.345298:0.427096:0.350324:0.427096:0.350324:0.410108:0.345298:0.410108:0.000000
 y por la propiedad :@0.390077:0.426105:0.535067:0.426105:0.535067:0.409607:0.390077:0.409607:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
iv) :@0.536454:0.426322:0.559342:0.426322:0.559342:0.409607:0.536454:0.409607:0.000000:0.000000:0.000000:0.000000
de la :@0.560729:0.426105:0.599924:0.426105:0.599924:0.409607:0.560729:0.409607:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
definición de producto escalar, se concluye que :@0.132000:0.445552:0.472856:0.445552:0.472856:0.429055:0.132000:0.429055:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.473090:0.243176:0.482679:0.243176:0.482679:0.225991:0.473090:0.225991:0.000000
AB:@0.474337:0.268553:0.507165:0.268553:0.507165:0.251368:0.474337:0.251368:0.000000:0.000000
A:@0.474337:0.293931:0.486097:0.293931:0.486097:0.276746:0.474337:0.276746:0.000000
B:@0.473090:0.319308:0.482679:0.319308:0.482679:0.302123:0.473090:0.302123:0.000000
A:@0.474337:0.344685:0.486097:0.344685:0.486097:0.327501:0.474337:0.327501:0.000000
AB:@0.474337:0.370063:0.507165:0.370063:0.507165:0.352878:0.474337:0.352878:0.000000:0.000000
AB:@0.474337:0.395440:0.512411:0.395440:0.512411:0.378255:0.474337:0.378255:0.000000:0.000000
BB:@0.473090:0.420817:0.500792:0.420817:0.500792:0.403633:0.473090:0.403633:0.000000:0.000000
B:@0.473090:0.446195:0.482679:0.446195:0.482679:0.429010:0.473090:0.429010:0.000000
.:@0.522925:0.243025:0.525800:0.243025:0.525800:0.225810:0.522925:0.225810:0.000000
.=0:@0.490580:0.268402:0.533258:0.268402:0.533258:0.251187:0.490580:0.251187:0.000000:0.000000:0.000000
,:@0.527107:0.293780:0.529981:0.293780:0.529981:0.276565:0.527107:0.276565:0.000000
=0.:@0.485634:0.319157:0.512271:0.319157:0.512271:0.301942:0.485634:0.301942:0.000000:0.000000:0.000000
.=0,:@0.490560:0.369927:0.537620:0.369927:0.537620:0.352712:0.490560:0.352712:0.000000:0.000000:0.000000:0.000000
=:@0.488992:0.395304:0.500269:0.395304:0.500269:0.378089:0.488992:0.378089:0.000000
=0:@0.503747:0.420682:0.526845:0.420682:0.526845:0.403467:0.503747:0.403467:0.000000:0.000000
=0:@0.485634:0.446059:0.508733:0.446059:0.508733:0.428844:0.485634:0.428844:0.000000:0.000000
2:@0.515234:0.234674:0.520359:0.234674:0.520359:0.224722:0.515234:0.224722:0.000000
2:@0.518581:0.285439:0.523707:0.285439:0.523707:0.275487:0.518581:0.275487:0.000000
2:@0.518581:0.336204:0.523707:0.336204:0.523707:0.326252:0.518581:0.326252:0.000000
∈:@0.485655:0.243719:0.499988:0.243719:0.499988:0.226730:0.485655:0.226730:0.000000
∈:@0.489012:0.294489:0.503345:0.294489:0.503345:0.277500:0.489012:0.277500:0.000000
∈:@0.489012:0.345259:0.503345:0.345259:0.503345:0.328270:0.489012:0.328270:0.000000
⋅:@0.484669:0.421406:0.489695:0.421406:0.489695:0.404417:0.484669:0.404417:0.000000
.:@0.510446:0.445560:0.513201:0.445560:0.513201:0.429063:0.510446:0.429063:0.000000
2.:@0.108226:0.482922:0.120498:0.482922:0.120498:0.466208:0.108226:0.466208:0.000000:0.000000
  Sean :@0.120499:0.482705:0.168218:0.482705:0.168218:0.466207:0.120499:0.466207:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.185684:0.482840:0.210270:0.482840:0.210270:0.466131:0.185684:0.466131:0.000000:0.000000
=, (:@0.200533:0.503049:0.225952:0.502012:0.225952:0.485303:0.200533:0.486340:0.000000:0.000000:0.000000:0.000000
=. ) =0 =:@0.180182:0.523258:0.226089:0.522221:0.226089:0.505512:0.180182:0.506549:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
= (:@0.200533:0.543467:0.205581:0.542431:0.205581:0.525721:0.200533:0.526758:0.000000:0.000000:0.000000
, ) (:@0.246972:0.543467:0.259669:0.542431:0.259669:0.525721:0.246972:0.526758:0.000000:0.000000:0.000000:0.000000:0.000000
( (:@0.188123:0.563677:0.192760:0.564467:0.192760:0.547758:0.188123:0.546968:0.000000:0.000000:0.000000
) =0 =0:@0.228319:0.563677:0.300555:0.561616:0.300555:0.544907:0.228319:0.546968:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.183343:0.583886:0.194289:0.583886:0.194289:0.567177:0.183343:0.567177:0.000000
(:@0.167753:0.604095:0.173782:0.604095:0.173782:0.587386:0.167753:0.587386:0.000000
) (:@0.207948:0.604095:0.227870:0.604095:0.227870:0.587386:0.207948:0.587386:0.000000:0.000000:0.000000
) =0:@0.262036:0.604095:0.293801:0.604095:0.293801:0.587386:0.262036:0.587386:0.000000:0.000000:0.000000:0.000000
=0:@0.205880:0.624304:0.228533:0.624304:0.228533:0.607595:0.205880:0.607595:0.000000:0.000000
2:@0.261985:0.474702:0.266965:0.474702:0.266965:0.465030:0.261985:0.465030:0.000000
AB C AB AC:@0.168930:0.482957:0.316718:0.480897:0.316718:0.464217:0.168930:0.466277:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB AC C AB C:@0.168930:0.503166:0.299625:0.501106:0.299625:0.484426:0.168930:0.486487:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BC AB C:@0.167760:0.523376:0.262642:0.522339:0.262642:0.505659:0.167760:0.506696:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB AC BC BC:@0.168930:0.543585:0.333362:0.541524:0.333362:0.524844:0.168930:0.526905:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB C BC:@0.168930:0.563794:0.273655:0.561733:0.273655:0.545054:0.168930:0.547114:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.168930:0.584003:0.230843:0.584003:0.230843:0.567323:0.168930:0.567323:0.000000:0.000000:0.000000:0.000000
BC:@0.173379:0.604212:0.207252:0.604212:0.207252:0.587532:0.173379:0.587532:0.000000:0.000000
BC:@0.227467:0.604212:0.261340:0.604212:0.261340:0.587532:0.227467:0.587532:0.000000:0.000000
BC:@0.167760:0.624421:0.201633:0.624421:0.201633:0.607741:0.167760:0.607741:0.000000:0.000000
∈ ⋅ ⋅:@0.229379:0.483441:0.258669:0.481395:0.258669:0.464905:0.229379:0.466951:0.000000:0.000000:0.000000:0.000000:0.000000
⋅ ⋅ ⋅− ⋅−:@0.181769:0.503650:0.287723:0.501604:0.287723:0.485114:0.181769:0.487160:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
⋅:@0.228169:0.503650:0.233047:0.503650:0.233047:0.487160:0.228169:0.487160:0.000000
⋅ −:@0.181769:0.544083:0.183830:0.544873:0.183830:0.528384:0.181769:0.527593:0.000000:0.000000:0.000000
⋅ −:@0.228169:0.544083:0.227149:0.543046:0.227149:0.526556:0.228169:0.527593:0.000000:0.000000:0.000000
⋅− − −:@0.181769:0.564292:0.221530:0.563255:0.221530:0.546765:0.181769:0.547802:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
−:@0.208228:0.584501:0.218940:0.584501:0.218940:0.568011:0.208228:0.568011:0.000000
−:@0.184638:0.604710:0.195350:0.604710:0.195350:0.588220:0.184638:0.588220:0.000000
⋅ −:@0.215506:0.604710:0.249438:0.604710:0.249438:0.588220:0.215506:0.588220:0.000000:0.000000:0.000000
−:@0.179018:0.624919:0.189730:0.624919:0.189730:0.608430:0.179018:0.608430:0.000000
. Si :@0.261675:0.482702:0.282212:0.482702:0.282212:0.466205:0.261675:0.466205:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.299671:0.462723:0.324256:0.462723:0.324256:0.446014:0.299671:0.446014:0.000000:0.000000
= ,:@0.314520:0.482932:0.321784:0.480780:0.321784:0.464071:0.314520:0.466223:0.000000:0.000000:0.000000
=. =0:@0.294169:0.503142:0.332106:0.500989:0.332106:0.484280:0.294169:0.486432:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.314520:0.523351:0.325466:0.523351:0.325466:0.506642:0.314520:0.506642:0.000000
,:@0.360959:0.523351:0.363749:0.523351:0.363749:0.506642:0.360959:0.506642:0.000000
( ) =0 ) =0 =:@0.302110:0.543560:0.395542:0.540585:0.395542:0.523876:0.302110:0.526851:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
) =0:@0.342305:0.543560:0.374071:0.543560:0.374071:0.526851:0.342305:0.526851:0.000000:0.000000:0.000000:0.000000
=:@0.297330:0.563769:0.308276:0.563769:0.308276:0.547060:0.297330:0.547060:0.000000
(:@0.281739:0.583978:0.287769:0.583978:0.287769:0.567269:0.281739:0.567269:0.000000
) (:@0.321934:0.583978:0.341856:0.583978:0.341856:0.567269:0.321934:0.567269:0.000000:0.000000:0.000000
) =0:@0.376022:0.583978:0.407788:0.583978:0.407788:0.567269:0.376022:0.567269:0.000000:0.000000:0.000000:0.000000
=0:@0.319866:0.604187:0.342520:0.604187:0.342520:0.587478:0.319866:0.587478:0.000000:0.000000
2:@0.375970:0.454585:0.380950:0.454585:0.380950:0.444913:0.375970:0.444913:0.000000
AB C:@0.282915:0.462841:0.338681:0.462841:0.338681:0.446161:0.282915:0.446161:0.000000:0.000000:0.000000:0.000000
AB AC:@0.282915:0.483050:0.358681:0.483050:0.358681:0.466370:0.282915:0.466370:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.281745:0.503259:0.317940:0.503259:0.317940:0.486579:0.281745:0.486579:0.000000:0.000000
AB AC:@0.282915:0.523468:0.358681:0.523468:0.358681:0.506788:0.282915:0.506788:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.282915:0.543677:0.341588:0.543677:0.341588:0.526997:0.282915:0.526997:0.000000:0.000000:0.000000:0.000000
AB C:@0.282915:0.563886:0.344827:0.563886:0.344827:0.547206:0.282915:0.547206:0.000000:0.000000:0.000000:0.000000
BC:@0.287364:0.584095:0.321237:0.584095:0.321237:0.567415:0.287364:0.567415:0.000000:0.000000
BC:@0.341452:0.584095:0.375325:0.584095:0.375325:0.567415:0.341452:0.567415:0.000000:0.000000
BC:@0.281745:0.604304:0.315618:0.604304:0.315618:0.587625:0.281745:0.587625:0.000000:0.000000
∈:@0.343364:0.463324:0.357276:0.463324:0.357276:0.446834:0.343364:0.446834:0.000000
⋅⋅:@0.295754:0.483533:0.305069:0.481395:0.305069:0.464905:0.295754:0.467043:0.000000:0.000000
⋅:@0.342154:0.483533:0.347032:0.483533:0.347032:0.467043:0.342154:0.467043:0.000000
⋅:@0.295754:0.523966:0.300632:0.523966:0.300632:0.507476:0.295754:0.507476:0.000000
⋅:@0.342154:0.523966:0.347032:0.523966:0.347032:0.507476:0.342154:0.507476:0.000000
⋅− −:@0.295754:0.544175:0.321460:0.542022:0.321460:0.525533:0.295754:0.527685:0.000000:0.000000:0.000000:0.000000
−:@0.322213:0.564384:0.332925:0.564384:0.332925:0.547895:0.322213:0.547895:0.000000
−:@0.298623:0.584593:0.309335:0.584593:0.309335:0.568104:0.298623:0.568104:0.000000
⋅ −:@0.329491:0.584593:0.363423:0.584593:0.363423:0.568104:0.329491:0.568104:0.000000:0.000000:0.000000
−:@0.293003:0.604802:0.303715:0.604802:0.303715:0.588313:0.293003:0.588313:0.000000
 para todo :@0.358226:0.482702:0.431607:0.482702:0.431607:0.466205:0.358226:0.466205:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.430737:0.432451:0.440326:0.432451:0.440326:0.415266:0.430737:0.415266:0.000000
AB:@0.431983:0.457829:0.464811:0.457829:0.464811:0.440644:0.431983:0.440644:0.000000:0.000000
A:@0.431983:0.483206:0.443743:0.483206:0.443743:0.466021:0.431983:0.466021:0.000000
B:@0.430737:0.508583:0.440326:0.508583:0.440326:0.491398:0.430737:0.491398:0.000000
A:@0.431983:0.533961:0.443743:0.533961:0.443743:0.516776:0.431983:0.516776:0.000000
AB:@0.431983:0.559338:0.464811:0.559338:0.464811:0.542153:0.431983:0.542153:0.000000:0.000000
AB:@0.431983:0.584715:0.470058:0.584715:0.470058:0.567531:0.431983:0.567531:0.000000:0.000000
BB:@0.430737:0.610093:0.458439:0.610093:0.458439:0.592908:0.430737:0.592908:0.000000:0.000000
B:@0.430737:0.635470:0.440326:0.635470:0.440326:0.618285:0.430737:0.618285:0.000000
.:@0.480572:0.432300:0.483447:0.432300:0.483447:0.415085:0.480572:0.415085:0.000000
.=0:@0.448226:0.457678:0.490905:0.457678:0.490905:0.440463:0.448226:0.440463:0.000000:0.000000:0.000000
,:@0.484753:0.483055:0.487628:0.483055:0.487628:0.465840:0.484753:0.465840:0.000000
=0.:@0.443281:0.508432:0.469917:0.508432:0.469917:0.491217:0.443281:0.491217:0.000000:0.000000:0.000000
.=0,:@0.448206:0.559202:0.495267:0.559202:0.495267:0.541987:0.448206:0.541987:0.000000:0.000000:0.000000:0.000000
=:@0.446638:0.584580:0.457916:0.584580:0.457916:0.567365:0.446638:0.567365:0.000000
=0:@0.461394:0.609957:0.484492:0.609957:0.484492:0.592742:0.461394:0.592742:0.000000:0.000000
=0:@0.443281:0.635334:0.466379:0.635334:0.466379:0.618119:0.443281:0.618119:0.000000:0.000000
2:@0.472879:0.423949:0.478004:0.423949:0.478004:0.413997:0.472879:0.413997:0.000000
2:@0.476230:0.474713:0.481355:0.474713:0.481355:0.464761:0.476230:0.464761:0.000000
2:@0.476230:0.525477:0.481355:0.525477:0.481355:0.515524:0.476230:0.515524:0.000000
∈:@0.443301:0.432994:0.457634:0.432994:0.457634:0.416006:0.443301:0.416006:0.000000
∈:@0.446658:0.483764:0.460992:0.483764:0.460992:0.466776:0.446658:0.466776:0.000000
∈:@0.446658:0.534534:0.460992:0.534534:0.460992:0.517545:0.446658:0.517545:0.000000
⋅:@0.442316:0.610681:0.447342:0.610681:0.447342:0.593692:0.442316:0.593692:0.000000
, entonces :@0.483519:0.482702:0.554646:0.482702:0.554646:0.466205:0.483519:0.466205:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.572105:0.442607:0.596691:0.442607:0.596691:0.425897:0.572105:0.425897:0.000000:0.000000
=:@0.586954:0.462816:0.597900:0.462816:0.597900:0.446106:0.586954:0.446106:0.000000
=. ,:@0.566603:0.483025:0.607696:0.482466:0.607696:0.465757:0.566603:0.466316:0.000000:0.000000:0.000000:0.000000
= ) =0:@0.586954:0.503234:0.618018:0.502675:0.618018:0.485966:0.586954:0.486525:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,:@0.633393:0.503234:0.636183:0.503234:0.636183:0.486525:0.633393:0.486525:0.000000
(:@0.574544:0.523443:0.580574:0.523443:0.580574:0.506734:0.574544:0.506734:0.000000
) =0:@0.614739:0.523443:0.646505:0.523443:0.646505:0.506734:0.614739:0.506734:0.000000:0.000000:0.000000:0.000000
= ) (:@0.569764:0.543652:0.585803:0.543093:0.585803:0.526384:0.569764:0.526943:0.000000:0.000000:0.000000:0.000000:0.000000
( =0 =0:@0.554173:0.563861:0.586467:0.563302:0.586467:0.546593:0.554173:0.547152:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
) (:@0.594369:0.563861:0.614291:0.563861:0.614291:0.547152:0.594369:0.547152:0.000000:0.000000:0.000000
) =0:@0.648456:0.563861:0.680222:0.563861:0.680222:0.547152:0.648456:0.547152:0.000000:0.000000:0.000000:0.000000
=0:@0.592300:0.584070:0.614954:0.584070:0.614954:0.567361:0.592300:0.567361:0.000000:0.000000
2:@0.648404:0.434468:0.653385:0.434468:0.653385:0.424797:0.648404:0.424797:0.000000
AB C:@0.555350:0.442724:0.611115:0.442724:0.611115:0.426044:0.555350:0.426044:0.000000:0.000000:0.000000:0.000000
AB AC:@0.555350:0.462933:0.631115:0.462933:0.631115:0.446253:0.555350:0.446253:0.000000:0.000000:0.000000:0.000000:0.000000
BC AC:@0.554179:0.483142:0.602630:0.482583:0.602630:0.465903:0.554179:0.466462:0.000000:0.000000:0.000000:0.000000:0.000000
AB AC:@0.555350:0.503351:0.631115:0.503351:0.631115:0.486671:0.555350:0.486671:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.555350:0.523560:0.614023:0.523560:0.614023:0.506880:0.555350:0.506880:0.000000:0.000000:0.000000:0.000000
AB C:@0.555350:0.543769:0.617262:0.543769:0.617262:0.527089:0.555350:0.527089:0.000000:0.000000:0.000000:0.000000
BC:@0.559798:0.563978:0.593671:0.563978:0.593671:0.547298:0.559798:0.547298:0.000000:0.000000
BC:@0.613886:0.563978:0.647759:0.563978:0.647759:0.547298:0.613886:0.547298:0.000000:0.000000
BC:@0.554179:0.584188:0.588052:0.584188:0.588052:0.567508:0.554179:0.567508:0.000000:0.000000
∈:@0.615798:0.443207:0.629710:0.443207:0.629710:0.426718:0.615798:0.426718:0.000000
⋅:@0.568189:0.463416:0.573067:0.463416:0.573067:0.446927:0.568189:0.446927:0.000000
⋅:@0.614588:0.463416:0.619467:0.463416:0.619467:0.446927:0.614588:0.446927:0.000000
⋅:@0.568189:0.503849:0.573067:0.503849:0.573067:0.487359:0.568189:0.487359:0.000000
⋅:@0.614588:0.503849:0.619467:0.503849:0.619467:0.487359:0.614588:0.487359:0.000000
⋅−:@0.568189:0.524058:0.602120:0.524058:0.602120:0.507569:0.568189:0.507569:0.000000:0.000000
− −:@0.594647:0.544267:0.607371:0.543708:0.607371:0.527219:0.594647:0.527778:0.000000:0.000000:0.000000
−:@0.571057:0.564476:0.581769:0.564476:0.581769:0.547987:0.571057:0.547987:0.000000
⋅ −:@0.601925:0.564476:0.635857:0.564476:0.635857:0.547987:0.601925:0.547987:0.000000:0.000000:0.000000
−:@0.565437:0.584685:0.576149:0.584685:0.576149:0.568196:0.565437:0.568196:0.000000
 :@0.108233:0.502492:0.112375:0.502492:0.112375:0.485995:0.108233:0.485995:0.000000
Supongamos que para todo :@0.131968:0.502492:0.332007:0.502492:0.332007:0.485995:0.131968:0.485995:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB:@0.332357:0.477620:0.365185:0.477620:0.365185:0.460435:0.332357:0.460435:0.000000:0.000000
A:@0.332357:0.502997:0.344117:0.502997:0.344117:0.485812:0.332357:0.485812:0.000000
B:@0.331110:0.528374:0.340699:0.528374:0.340699:0.511190:0.331110:0.511190:0.000000
A:@0.332357:0.553752:0.344117:0.553752:0.344117:0.536567:0.332357:0.536567:0.000000
AB:@0.332357:0.579129:0.365185:0.579129:0.365185:0.561944:0.332357:0.561944:0.000000:0.000000
AB:@0.332357:0.604507:0.370432:0.604507:0.370432:0.587322:0.332357:0.587322:0.000000:0.000000
BB:@0.331110:0.629884:0.358812:0.629884:0.358812:0.612699:0.331110:0.612699:0.000000:0.000000
B:@0.331110:0.655261:0.340699:0.655261:0.340699:0.638076:0.331110:0.638076:0.000000
.=0:@0.348600:0.477469:0.391278:0.477469:0.391278:0.460254:0.348600:0.460254:0.000000:0.000000:0.000000
,:@0.385127:0.502846:0.388001:0.502846:0.388001:0.485631:0.385127:0.485631:0.000000
=0.:@0.343654:0.528224:0.370291:0.528224:0.370291:0.511009:0.343654:0.511009:0.000000:0.000000:0.000000
.=0,:@0.348580:0.578993:0.395641:0.578993:0.395641:0.561778:0.348580:0.561778:0.000000:0.000000:0.000000:0.000000
=:@0.347012:0.604371:0.358289:0.604371:0.358289:0.587156:0.347012:0.587156:0.000000
=0:@0.361767:0.629748:0.384865:0.629748:0.384865:0.612533:0.361767:0.612533:0.000000:0.000000
=0:@0.343654:0.655125:0.366753:0.655125:0.366753:0.637911:0.343654:0.637911:0.000000:0.000000
2:@0.373254:0.443741:0.378380:0.443741:0.378380:0.433788:0.373254:0.433788:0.000000
2:@0.376601:0.494506:0.381727:0.494506:0.381727:0.484553:0.376601:0.484553:0.000000
2:@0.376601:0.545271:0.381727:0.545271:0.381727:0.535318:0.376601:0.535318:0.000000
∈:@0.343675:0.452786:0.358008:0.452786:0.358008:0.435797:0.343675:0.435797:0.000000
∈:@0.347032:0.503555:0.361365:0.503555:0.361365:0.486567:0.347032:0.486567:0.000000
∈:@0.347032:0.554325:0.361365:0.554325:0.361365:0.537336:0.347032:0.537336:0.000000
⋅:@0.342690:0.630472:0.347715:0.630472:0.347715:0.613484:0.342690:0.613484:0.000000
, se tiene :@0.381570:0.502492:0.444548:0.502492:0.444548:0.485995:0.381570:0.485995:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.461596:0.442281:0.486182:0.442281:0.486182:0.425572:0.461596:0.425572:0.000000:0.000000
=:@0.476445:0.462490:0.487392:0.462490:0.487392:0.445781:0.476445:0.445781:0.000000
=.:@0.456094:0.482699:0.484231:0.482699:0.484231:0.465990:0.456094:0.465990:0.000000:0.000000
=:@0.476445:0.502908:0.487392:0.502908:0.487392:0.486199:0.476445:0.486199:0.000000
,:@0.522884:0.502908:0.525674:0.502908:0.525674:0.486199:0.522884:0.486199:0.000000
(:@0.464035:0.523117:0.470065:0.523117:0.470065:0.506408:0.464035:0.506408:0.000000
) =0 =:@0.504231:0.523117:0.552223:0.522884:0.552223:0.506175:0.504231:0.506408:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.459255:0.543326:0.470201:0.543326:0.470201:0.526617:0.459255:0.526617:0.000000
(:@0.443665:0.563536:0.449694:0.563536:0.449694:0.546826:0.443665:0.546826:0.000000
) (:@0.483860:0.563536:0.503782:0.563536:0.503782:0.546826:0.483860:0.546826:0.000000:0.000000:0.000000
):@0.537948:0.563536:0.543977:0.563536:0.543977:0.546826:0.537948:0.546826:0.000000
=0:@0.481792:0.583745:0.504445:0.583745:0.504445:0.567036:0.481792:0.567036:0.000000:0.000000
2:@0.537895:0.434142:0.542876:0.434142:0.542876:0.424471:0.537895:0.424471:0.000000
AB C:@0.444841:0.442398:0.500607:0.442398:0.500607:0.425718:0.444841:0.425718:0.000000:0.000000:0.000000:0.000000
AB AC BC:@0.444841:0.462607:0.561888:0.462374:0.561888:0.445694:0.444841:0.445927:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.443670:0.482816:0.479865:0.482816:0.479865:0.466136:0.443670:0.466136:0.000000:0.000000
AB AC AB C:@0.444841:0.503025:0.585537:0.502792:0.585537:0.486112:0.444841:0.486346:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.444841:0.523234:0.503514:0.523234:0.503514:0.506555:0.444841:0.506555:0.000000:0.000000:0.000000:0.000000
AB C:@0.444841:0.543444:0.506753:0.543444:0.506753:0.526764:0.444841:0.526764:0.000000:0.000000:0.000000:0.000000
BC:@0.449289:0.563653:0.483163:0.563653:0.483163:0.546973:0.449289:0.546973:0.000000:0.000000
BC BC:@0.503377:0.563653:0.559566:0.563419:0.559566:0.546740:0.503377:0.546973:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.443670:0.583862:0.477543:0.583862:0.477543:0.567182:0.443670:0.567182:0.000000:0.000000
∈:@0.505289:0.442881:0.519202:0.442881:0.519202:0.426392:0.505289:0.426392:0.000000
⋅:@0.457680:0.463090:0.462558:0.463090:0.462558:0.446601:0.457680:0.446601:0.000000
⋅:@0.504080:0.463090:0.508958:0.463090:0.508958:0.446601:0.504080:0.446601:0.000000
⋅:@0.457680:0.503523:0.462558:0.503523:0.462558:0.487034:0.457680:0.487034:0.000000
⋅:@0.504080:0.503523:0.508958:0.503523:0.508958:0.487034:0.504080:0.487034:0.000000
⋅−:@0.457680:0.523732:0.491611:0.523732:0.491611:0.507243:0.457680:0.507243:0.000000:0.000000
−:@0.484138:0.543941:0.494850:0.543941:0.494850:0.527452:0.484138:0.527452:0.000000
−:@0.460548:0.564151:0.471260:0.564151:0.471260:0.547661:0.460548:0.547661:0.000000
⋅ − −:@0.491416:0.564151:0.547664:0.563917:0.547664:0.547428:0.491416:0.547661:0.000000:0.000000:0.000000:0.000000:0.000000
−:@0.454928:0.584360:0.465641:0.584360:0.465641:0.567870:0.454928:0.567870:0.000000
 entonces, :@0.525075:0.502492:0.599901:0.502492:0.599901:0.485995:0.525075:0.485995:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.150575:0.443213:0.175160:0.443213:0.175160:0.426503:0.150575:0.426503:0.000000:0.000000
=:@0.165424:0.463422:0.176370:0.463422:0.176370:0.446713:0.165424:0.446713:0.000000
=.:@0.145072:0.483631:0.173209:0.483631:0.173209:0.466922:0.145072:0.466922:0.000000:0.000000
=:@0.165424:0.503840:0.176370:0.503840:0.176370:0.487131:0.165424:0.487131:0.000000
(:@0.153014:0.524049:0.159043:0.524049:0.159043:0.507340:0.153014:0.507340:0.000000
=:@0.148233:0.544258:0.159180:0.544258:0.159180:0.527549:0.148233:0.527549:0.000000
(:@0.132643:0.564467:0.138672:0.564467:0.138672:0.547758:0.132643:0.547758:0.000000
):@0.172838:0.564467:0.178867:0.564467:0.178867:0.547758:0.172838:0.547758:0.000000
) =0:@0.226926:0.564467:0.258692:0.564467:0.258692:0.547758:0.226926:0.547758:0.000000:0.000000:0.000000:0.000000
=0:@0.170770:0.584676:0.193424:0.584676:0.193424:0.567967:0.170770:0.567967:0.000000:0.000000
2:@0.226875:0.435074:0.231856:0.435074:0.231856:0.425403:0.226875:0.425403:0.000000
AB C AB AC AC:@0.133821:0.443330:0.316718:0.440479:0.316718:0.423799:0.133821:0.426650:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB AC BC BC:@0.133821:0.463539:0.275977:0.460688:0.275977:0.444008:0.133821:0.446859:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.132650:0.483748:0.168845:0.483748:0.168845:0.467068:0.132650:0.467068:0.000000:0.000000
AB AC AB:@0.133821:0.503957:0.234857:0.502129:0.234857:0.485450:0.133821:0.487277:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.133821:0.524166:0.192494:0.524166:0.192494:0.507486:0.133821:0.507486:0.000000:0.000000:0.000000:0.000000
AB C BC BC:@0.133821:0.544375:0.279274:0.541524:0.279274:0.524844:0.133821:0.527695:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.138269:0.564584:0.172143:0.564584:0.172143:0.547904:0.138269:0.547904:0.000000:0.000000
BC:@0.192357:0.564584:0.226230:0.564584:0.226230:0.547904:0.192357:0.547904:0.000000:0.000000
BC:@0.132650:0.584794:0.166523:0.584794:0.166523:0.568114:0.132650:0.568114:0.000000:0.000000
∈ ⋅:@0.194269:0.443813:0.218447:0.441985:0.218447:0.425496:0.194269:0.427324:0.000000:0.000000:0.000000
⋅:@0.146660:0.464022:0.151538:0.464022:0.151538:0.447533:0.146660:0.447533:0.000000
⋅:@0.193060:0.464022:0.197938:0.464022:0.197938:0.447533:0.193060:0.447533:0.000000
⋅:@0.146660:0.504455:0.151538:0.504455:0.151538:0.487965:0.146660:0.487965:0.000000
⋅−:@0.146660:0.524664:0.180591:0.524664:0.180591:0.508175:0.146660:0.508175:0.000000:0.000000
−:@0.149528:0.565082:0.160240:0.565082:0.160240:0.548593:0.149528:0.548593:0.000000
⋅:@0.180396:0.565082:0.185274:0.565082:0.185274:0.548593:0.180396:0.548593:0.000000
−:@0.143908:0.585291:0.154621:0.585291:0.154621:0.568802:0.143908:0.568802:0.000000
 para todo :@0.226088:0.522283:0.313918:0.522283:0.313918:0.505786:0.226088:0.505786:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B:@0.318698:0.472032:0.328288:0.472032:0.328288:0.454847:0.318698:0.454847:0.000000
AB:@0.319945:0.497410:0.352773:0.497410:0.352773:0.480225:0.319945:0.480225:0.000000:0.000000
A:@0.319945:0.522787:0.331705:0.522787:0.331705:0.505602:0.319945:0.505602:0.000000
B:@0.318698:0.548164:0.328288:0.548164:0.328288:0.530980:0.318698:0.530980:0.000000
A:@0.319945:0.573542:0.331705:0.573542:0.331705:0.556357:0.319945:0.556357:0.000000
AB:@0.319945:0.598919:0.352773:0.598919:0.352773:0.581734:0.319945:0.581734:0.000000:0.000000
AB:@0.319945:0.624296:0.358020:0.624296:0.358020:0.607112:0.319945:0.607112:0.000000:0.000000
BB:@0.318698:0.649674:0.346400:0.649674:0.346400:0.632489:0.318698:0.632489:0.000000:0.000000
B:@0.318698:0.675051:0.328288:0.675051:0.328288:0.657866:0.318698:0.657866:0.000000
.:@0.368533:0.471881:0.371408:0.471881:0.371408:0.454666:0.368533:0.454666:0.000000
.=0:@0.336188:0.497259:0.378866:0.497259:0.378866:0.480044:0.336188:0.480044:0.000000:0.000000:0.000000
,:@0.372715:0.522636:0.375590:0.522636:0.375590:0.505421:0.372715:0.505421:0.000000
=0.:@0.331243:0.548013:0.357879:0.548013:0.357879:0.530799:0.331243:0.530799:0.000000:0.000000:0.000000
.=0,:@0.336168:0.598783:0.383229:0.598783:0.383229:0.581568:0.336168:0.581568:0.000000:0.000000:0.000000:0.000000
=:@0.334600:0.624161:0.345878:0.624161:0.345878:0.606946:0.334600:0.606946:0.000000
=0:@0.349355:0.649538:0.372454:0.649538:0.372454:0.632323:0.349355:0.632323:0.000000:0.000000
=0:@0.331243:0.674915:0.354341:0.674915:0.354341:0.657700:0.331243:0.657700:0.000000:0.000000
2:@0.360841:0.463531:0.365966:0.463531:0.365966:0.453578:0.360841:0.453578:0.000000
2:@0.364191:0.514294:0.369316:0.514294:0.369316:0.504342:0.364191:0.504342:0.000000
2:@0.364191:0.565058:0.369316:0.565058:0.369316:0.555105:0.364191:0.555105:0.000000
∈:@0.331263:0.472575:0.345596:0.472575:0.345596:0.455587:0.331263:0.455587:0.000000
∈:@0.334620:0.523345:0.348953:0.523345:0.348953:0.506357:0.334620:0.506357:0.000000
∈:@0.334620:0.574115:0.348953:0.574115:0.348953:0.557126:0.334620:0.557126:0.000000
⋅:@0.330278:0.650262:0.335303:0.650262:0.335303:0.633274:0.330278:0.633274:0.000000
. En particular para :@0.370562:0.522283:0.520502:0.522283:0.520502:0.505786:0.370562:0.505786:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.543618:0.421838:0.568203:0.421838:0.568203:0.405129:0.543618:0.405129:0.000000:0.000000
=:@0.558467:0.442048:0.569413:0.442048:0.569413:0.425338:0.558467:0.425338:0.000000
=.:@0.538115:0.462257:0.566252:0.462257:0.566252:0.445547:0.538115:0.445547:0.000000:0.000000
=:@0.558467:0.482466:0.569413:0.482466:0.569413:0.465757:0.558467:0.465757:0.000000
(:@0.546057:0.502675:0.552086:0.502675:0.552086:0.485966:0.546057:0.485966:0.000000
(:@0.525686:0.543093:0.531715:0.543093:0.531715:0.526384:0.525686:0.526384:0.000000
) =0:@0.619969:0.543093:0.651735:0.543093:0.651735:0.526384:0.619969:0.526384:0.000000:0.000000:0.000000:0.000000
2:@0.619917:0.413700:0.624897:0.413700:0.624897:0.404029:0.619917:0.404029:0.000000
AB C:@0.526864:0.421956:0.582630:0.421956:0.582630:0.405276:0.526864:0.405276:0.000000:0.000000:0.000000:0.000000
AB AC:@0.526864:0.442165:0.602630:0.442165:0.602630:0.425485:0.526864:0.425485:0.000000:0.000000:0.000000:0.000000:0.000000
AB:@0.526864:0.482583:0.555371:0.482583:0.555371:0.465903:0.526864:0.465903:0.000000:0.000000
AB C:@0.526864:0.523001:0.588776:0.523001:0.588776:0.506321:0.526864:0.506321:0.000000:0.000000:0.000000:0.000000
BC:@0.531312:0.543210:0.565186:0.543210:0.565186:0.526530:0.531312:0.526530:0.000000:0.000000
BC:@0.585400:0.543210:0.619273:0.543210:0.619273:0.526530:0.585400:0.526530:0.000000:0.000000
∈:@0.587312:0.422439:0.601225:0.422439:0.601225:0.405949:0.587312:0.405949:0.000000
⋅:@0.539703:0.442648:0.544581:0.442648:0.544581:0.426159:0.539703:0.426159:0.000000
⋅:@0.586103:0.442648:0.590981:0.442648:0.590981:0.426159:0.586103:0.426159:0.000000
⋅:@0.539703:0.483081:0.544581:0.483081:0.544581:0.466591:0.539703:0.466591:0.000000
⋅:@0.586103:0.483081:0.590981:0.483081:0.590981:0.466591:0.586103:0.466591:0.000000
⋅−:@0.539703:0.503290:0.573634:0.503290:0.573634:0.486801:0.539703:0.486801:0.000000:0.000000
−:@0.566161:0.523499:0.576873:0.523499:0.576873:0.507010:0.566161:0.507010:0.000000
−:@0.542571:0.543708:0.553283:0.543708:0.553283:0.527219:0.542571:0.527219:0.000000
⋅:@0.573439:0.543708:0.578317:0.543708:0.578317:0.527219:0.573439:0.527219:0.000000
, :@0.593012:0.522283:0.599909:0.522283:0.599909:0.505786:0.593012:0.505786:0.000000:0.000000
 :@0.595767:0.522283:0.599909:0.522283:0.599909:0.505786:0.595767:0.505786:0.000000
se  tiene :@0.131975:0.541384:0.194636:0.541384:0.194636:0.524886:0.131975:0.524886:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,, ,,:@0.217484:0.421176:0.282292:0.420152:0.282292:0.403443:0.217484:0.404467:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.232333:0.441385:0.243279:0.441385:0.243279:0.424676:0.232333:0.424676:0.000000
=. =.:@0.211981:0.461594:0.280340:0.460571:0.280340:0.443861:0.211981:0.444885:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.232333:0.481803:0.243279:0.481803:0.243279:0.465094:0.232333:0.465094:0.000000
, =:@0.278772:0.481803:0.283501:0.480780:0.283501:0.464071:0.278772:0.465094:0.000000:0.000000:0.000000
) =0 ):@0.260118:0.502012:0.306370:0.500989:0.306370:0.484280:0.260118:0.485303:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=0:@0.237679:0.562640:0.260333:0.562640:0.260333:0.545931:0.237679:0.545931:0.000000:0.000000
2:@0.293784:0.413037:0.298765:0.413037:0.298765:0.403366:0.293784:0.403366:0.000000
AB C AB C:@0.200730:0.421293:0.296718:0.420270:0.296718:0.403590:0.200730:0.404613:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB AC:@0.200730:0.481920:0.276496:0.481920:0.276496:0.465240:0.200730:0.465240:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.199559:0.562757:0.233432:0.562757:0.233432:0.546077:0.199559:0.546077:0.000000:0.000000
∈:@0.261178:0.421776:0.275091:0.421776:0.275091:0.405287:0.261178:0.405287:0.000000
⋅ ⋅:@0.259969:0.441985:0.258669:0.440962:0.258669:0.424472:0.259969:0.425496:0.000000:0.000000:0.000000
⋅:@0.213569:0.482418:0.218447:0.482418:0.218447:0.465929:0.213569:0.465929:0.000000
−:@0.240027:0.522836:0.250739:0.522836:0.250739:0.506347:0.240027:0.506347:0.000000
⋅ − ⋅:@0.247305:0.543046:0.292406:0.542022:0.292406:0.525533:0.247305:0.526556:0.000000:0.000000:0.000000:0.000000:0.000000
  y por :@0.328924:0.541378:0.382973:0.541378:0.382973:0.524880:0.328924:0.524880:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
iv) :@0.387221:0.541595:0.410108:0.541595:0.410108:0.524880:0.387221:0.524880:0.000000:0.000000:0.000000:0.000000
del  teorema  precedente, :@0.414288:0.541378:0.599911:0.541378:0.599911:0.524880:0.414288:0.524880:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.595767:0.541378:0.599909:0.541378:0.599909:0.524880:0.595767:0.524880:0.000000
se deduce que :@0.131975:0.560478:0.239108:0.560478:0.239108:0.543981:0.131975:0.543981:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
=:@0.272555:0.440361:0.283501:0.440361:0.283501:0.423652:0.272555:0.423652:0.000000
(:@0.260145:0.500989:0.266175:0.500989:0.266175:0.484280:0.260145:0.484280:0.000000
=:@0.255365:0.521198:0.266311:0.521198:0.266311:0.504489:0.255365:0.504489:0.000000
(:@0.239775:0.541407:0.245804:0.541407:0.245804:0.524698:0.239775:0.524698:0.000000
) (:@0.279970:0.541407:0.299892:0.541407:0.299892:0.524698:0.279970:0.524698:0.000000:0.000000:0.000000
2:@0.334007:0.412014:0.338987:0.412014:0.338987:0.402342:0.334007:0.402342:0.000000
AB:@0.240952:0.440479:0.269460:0.440479:0.269460:0.423799:0.240952:0.423799:0.000000:0.000000
AB C:@0.240952:0.521315:0.302864:0.521315:0.302864:0.504635:0.240952:0.504635:0.000000:0.000000:0.000000:0.000000
∈:@0.301401:0.420753:0.315313:0.420753:0.315313:0.404263:0.301401:0.404263:0.000000
⋅:@0.300191:0.440962:0.305069:0.440962:0.305069:0.424472:0.300191:0.424472:0.000000
−:@0.280250:0.521813:0.290962:0.521813:0.290962:0.505324:0.280250:0.505324:0.000000
−:@0.256660:0.542022:0.267372:0.542022:0.267372:0.525533:0.256660:0.525533:0.000000
−:@0.251040:0.562231:0.261752:0.562231:0.261752:0.545742:0.251040:0.545742:0.000000
, o sea, :@0.301271:0.560471:0.351532:0.560471:0.351532:0.543974:0.301271:0.543974:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
,,:@0.369746:0.520376:0.394332:0.520376:0.394332:0.503666:0.369746:0.503666:0.000000:0.000000
=.:@0.364244:0.560794:0.392381:0.560794:0.392381:0.544085:0.364244:0.544085:0.000000:0.000000
=:@0.384595:0.581003:0.395542:0.581003:0.395542:0.564294:0.384595:0.564294:0.000000
,:@0.431034:0.581003:0.433824:0.581003:0.433824:0.564294:0.431034:0.564294:0.000000
(:@0.372185:0.601212:0.378215:0.601212:0.378215:0.584503:0.372185:0.584503:0.000000
) =0:@0.412381:0.601212:0.444146:0.601212:0.444146:0.584503:0.412381:0.584503:0.000000:0.000000:0.000000:0.000000
=:@0.367405:0.621421:0.378351:0.621421:0.378351:0.604712:0.367405:0.604712:0.000000
(:@0.351815:0.641630:0.357844:0.641630:0.357844:0.624921:0.351815:0.624921:0.000000
) (:@0.392010:0.641630:0.411932:0.641630:0.411932:0.624921:0.392010:0.624921:0.000000:0.000000:0.000000
) =0:@0.446098:0.641630:0.477863:0.641630:0.477863:0.624921:0.446098:0.624921:0.000000:0.000000:0.000000:0.000000
=0:@0.389942:0.661839:0.412595:0.661839:0.412595:0.645130:0.389942:0.645130:0.000000:0.000000
2:@0.446045:0.512237:0.451026:0.512237:0.451026:0.502566:0.446045:0.502566:0.000000
AB C:@0.352992:0.520493:0.408758:0.520493:0.408758:0.503813:0.352992:0.503813:0.000000:0.000000:0.000000:0.000000
AB AC:@0.352992:0.540702:0.428758:0.540702:0.428758:0.524022:0.352992:0.524022:0.000000:0.000000:0.000000:0.000000:0.000000
BC:@0.351822:0.560911:0.388017:0.560911:0.388017:0.544231:0.351822:0.544231:0.000000:0.000000
AB AC:@0.352992:0.581120:0.428758:0.581120:0.428758:0.564440:0.352992:0.564440:0.000000:0.000000:0.000000:0.000000:0.000000
AB C:@0.352992:0.601329:0.411665:0.601329:0.411665:0.584649:0.352992:0.584649:0.000000:0.000000:0.000000:0.000000
AB C:@0.352992:0.621538:0.414904:0.621538:0.414904:0.604858:0.352992:0.604858:0.000000:0.000000:0.000000:0.000000
BC:@0.357441:0.641747:0.391314:0.641747:0.391314:0.625068:0.357441:0.625068:0.000000:0.000000
BC:@0.411529:0.641747:0.445402:0.641747:0.445402:0.625068:0.411529:0.625068:0.000000:0.000000
BC:@0.351822:0.661957:0.385695:0.661957:0.385695:0.645277:0.351822:0.645277:0.000000:0.000000
∈:@0.413441:0.520976:0.427353:0.520976:0.427353:0.504487:0.413441:0.504487:0.000000
⋅:@0.365831:0.541185:0.370709:0.541185:0.370709:0.524696:0.365831:0.524696:0.000000
⋅:@0.412231:0.541185:0.417109:0.541185:0.417109:0.524696:0.412231:0.524696:0.000000
⋅:@0.365831:0.581618:0.370709:0.581618:0.370709:0.565129:0.365831:0.565129:0.000000
⋅:@0.412231:0.581618:0.417109:0.581618:0.417109:0.565129:0.412231:0.565129:0.000000
⋅−:@0.365831:0.601827:0.399763:0.601827:0.399763:0.585338:0.365831:0.585338:0.000000:0.000000
−:@0.392290:0.622036:0.403002:0.622036:0.403002:0.605547:0.392290:0.605547:0.000000
−:@0.368700:0.642245:0.379412:0.642245:0.379412:0.625756:0.368700:0.625756:0.000000
⋅ −:@0.399568:0.642245:0.433500:0.642245:0.433500:0.625756:0.399568:0.625756:0.000000:0.000000:0.000000
−:@0.363080:0.662455:0.373792:0.662455:0.373792:0.645965:0.363080:0.645965:0.000000
Ley del paralelogramo:@0.108233:0.596570:0.285695:0.596570:0.285695:0.578888:0.108233:0.578888:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Teorema:@0.108233:0.613741:0.175178:0.613741:0.175178:0.596795:0.108233:0.596795:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Sean :@0.108233:0.630629:0.146031:0.630629:0.146031:0.614131:0.108233:0.614131:0.000000:0.000000:0.000000:0.000000:0.000000
AB:@0.147310:0.630183:0.172345:0.630183:0.172345:0.614067:0.147310:0.614067:0.000000:0.000000
AB:@0.152852:0.654632:0.187861:0.654632:0.187861:0.638516:0.152852:0.638516:0.000000:0.000000
AB:@0.222417:0.654632:0.257425:0.654632:0.257425:0.638516:0.222417:0.638516:0.000000:0.000000
A:@0.309514:0.654632:0.320542:0.654632:0.320542:0.638516:0.309514:0.638516:0.000000
B:@0.353873:0.654632:0.362865:0.654632:0.362865:0.638516:0.353873:0.638516:0.000000
AB:@0.152871:0.685816:0.187879:0.685816:0.187879:0.669701:0.152871:0.669701:0.000000:0.000000
AB:@0.223397:0.685816:0.258405:0.685816:0.258405:0.669701:0.223397:0.669701:0.000000:0.000000
AB:@0.277559:0.685816:0.312568:0.685816:0.312568:0.669701:0.277559:0.669701:0.000000:0.000000
AA:@0.160487:0.709374:0.190783:0.709374:0.190783:0.693259:0.160487:0.693259:0.000000:0.000000
AB:@0.220588:0.709374:0.247716:0.709374:0.247716:0.693259:0.220588:0.693259:0.000000:0.000000
BB:@0.268171:0.709374:0.293357:0.709374:0.293357:0.693259:0.268171:0.693259:0.000000:0.000000
A:@0.166030:0.732720:0.177058:0.732720:0.177058:0.716604:0.166030:0.716604:0.000000
A B:@0.219664:0.732720:0.246792:0.732720:0.246792:0.716604:0.219664:0.716604:0.000000:0.000000:0.000000
B:@0.272790:0.732720:0.281782:0.732720:0.281782:0.716604:0.272790:0.716604:0.000000
AB:@0.152871:0.760084:0.187879:0.760084:0.187879:0.743968:0.152871:0.743968:0.000000:0.000000
AB:@0.223397:0.760084:0.258405:0.760084:0.258405:0.743968:0.223397:0.743968:0.000000:0.000000
AB:@0.277559:0.760084:0.312568:0.760084:0.312568:0.743968:0.277559:0.743968:0.000000:0.000000
A:@0.166030:0.787462:0.177058:0.787462:0.177058:0.771346:0.166030:0.771346:0.000000
A B:@0.219664:0.787462:0.246792:0.787462:0.246792:0.771346:0.219664:0.771346:0.000000:0.000000:0.000000
B:@0.272790:0.787462:0.281782:0.787462:0.281782:0.771346:0.272790:0.771346:0.000000
AB:@0.152871:0.815958:0.187879:0.815958:0.187879:0.799842:0.152871:0.799842:0.000000:0.000000
AB:@0.222435:0.815958:0.257444:0.815958:0.257444:0.799842:0.222435:0.799842:0.000000:0.000000
A:@0.309532:0.815958:0.320561:0.815958:0.320561:0.799842:0.309532:0.799842:0.000000
B:@0.353892:0.815958:0.362884:0.815958:0.362884:0.799842:0.353892:0.799842:0.000000
,:@0.159375:0.630069:0.162071:0.630069:0.162071:0.613926:0.159375:0.613926:0.000000
=2:@0.273242:0.654519:0.294715:0.654519:0.294715:0.638375:0.273242:0.638375:0.000000:0.000000
.:@0.383942:0.654519:0.386638:0.654519:0.386638:0.638375:0.383942:0.638375:0.000000
=(:@0.203678:0.685703:0.222662:0.685703:0.222662:0.669559:0.203678:0.669559:0.000000:0.000000
)(:@0.257972:0.685703:0.276805:0.685703:0.276805:0.669559:0.257972:0.669559:0.000000:0.000000
):@0.312134:0.685703:0.317959:0.685703:0.317959:0.669559:0.312134:0.669559:0.000000
=:@0.146197:0.709261:0.156773:0.709261:0.156773:0.693117:0.146197:0.693117:0.000000
2(:@0.205770:0.709261:0.219853:0.709261:0.219853:0.693117:0.205770:0.693117:0.000000:0.000000
):@0.247283:0.709261:0.253108:0.709261:0.253108:0.693117:0.247283:0.693117:0.000000
=:@0.146197:0.732607:0.156773:0.732607:0.156773:0.716463:0.146197:0.716463:0.000000
2(:@0.204846:0.732607:0.218910:0.732607:0.218910:0.716463:0.204846:0.716463:0.000000:0.000000
):@0.246340:0.732607:0.252165:0.732607:0.252165:0.716463:0.246340:0.716463:0.000000
,:@0.292094:0.732607:0.294790:0.732607:0.294790:0.716463:0.292094:0.716463:0.000000
=(:@0.203678:0.759971:0.222662:0.759971:0.222662:0.743827:0.203678:0.743827:0.000000:0.000000
)(:@0.257972:0.759971:0.276805:0.759971:0.276805:0.743827:0.257972:0.743827:0.000000:0.000000
):@0.312134:0.759971:0.317959:0.759971:0.317959:0.743827:0.312134:0.743827:0.000000
=:@0.146197:0.787349:0.156773:0.787349:0.156773:0.771205:0.146197:0.771205:0.000000
2(:@0.204846:0.787349:0.218910:0.787349:0.218910:0.771205:0.204846:0.771205:0.000000:0.000000
):@0.246340:0.787349:0.252165:0.787349:0.252165:0.771205:0.246340:0.771205:0.000000
,:@0.292094:0.787349:0.294790:0.787349:0.294790:0.771205:0.292094:0.771205:0.000000
=2:@0.273223:0.815845:0.294696:0.815845:0.294696:0.799701:0.273223:0.799701:0.000000:0.000000
.:@0.383923:0.815845:0.386619:0.815845:0.386619:0.799701:0.383923:0.799701:0.000000
2:@0.203303:0.622313:0.208363:0.622313:0.208363:0.612487:0.203303:0.612487:0.000000
2:@0.195523:0.803432:0.200583:0.803432:0.200583:0.793605:0.195523:0.793605:0.000000
2:@0.265258:0.803432:0.270318:0.803432:0.270318:0.793605:0.265258:0.793605:0.000000
2:@0.195351:0.642105:0.200411:0.642105:0.200411:0.632278:0.195351:0.632278:0.000000
2:@0.268517:0.642105:0.273577:0.642105:0.273577:0.632278:0.268517:0.632278:0.000000
2:@0.327941:0.641997:0.332753:0.641997:0.332753:0.632652:0.327941:0.632652:0.000000
2:@0.370354:0.641997:0.375166:0.641997:0.375166:0.632652:0.370354:0.632652:0.000000
2:@0.195349:0.673286:0.200409:0.673286:0.200409:0.663459:0.195349:0.663459:0.000000
2:@0.184447:0.720189:0.189508:0.720189:0.189508:0.710362:0.184447:0.710362:0.000000
2:@0.294678:0.720189:0.299739:0.720189:0.299739:0.710362:0.294678:0.710362:0.000000
2:@0.195349:0.747567:0.200409:0.747567:0.200409:0.737741:0.195349:0.737741:0.000000
2:@0.184447:0.777151:0.189508:0.777151:0.189508:0.767324:0.184447:0.767324:0.000000
2:@0.289801:0.777151:0.294862:0.777151:0.294862:0.767324:0.289801:0.767324:0.000000
2:@0.327934:0.803427:0.332994:0.803427:0.332994:0.793601:0.327934:0.793601:0.000000
2:@0.372538:0.803427:0.377598:0.803427:0.377598:0.793601:0.372538:0.793601:0.000000
R:@0.188908:0.633083:0.202519:0.633083:0.202519:0.612199:0.188908:0.612199:0.000000
∈:@0.175345:0.630692:0.188786:0.630692:0.188786:0.614760:0.175345:0.614760:0.000000
+:@0.166051:0.655141:0.176401:0.655141:0.176401:0.639210:0.166051:0.639210:0.000000
+:@0.202944:0.655141:0.213294:0.655141:0.213294:0.639210:0.202944:0.639210:0.000000
−:@0.235615:0.655141:0.245965:0.655141:0.245965:0.639210:0.235615:0.639210:0.000000
+:@0.335513:0.655141:0.345862:0.655141:0.345862:0.639210:0.335513:0.639210:0.000000
+:@0.166051:0.686326:0.176401:0.686326:0.176401:0.670394:0.166051:0.670394:0.000000
+ ⋅:@0.236595:0.686326:0.269964:0.686326:0.269964:0.670394:0.236595:0.670394:0.000000:0.000000:0.000000
+:@0.290758:0.686326:0.301107:0.686326:0.301107:0.670394:0.290758:0.670394:0.000000
⋅+:@0.172875:0.709883:0.203303:0.709883:0.203303:0.693952:0.172875:0.693952:0.000000:0.000000
⋅+ ⋅:@0.232976:0.709883:0.283349:0.709883:0.283349:0.693952:0.232976:0.693952:0.000000:0.000000:0.000000:0.000000
+:@0.192029:0.733229:0.202379:0.733229:0.202379:0.717298:0.192029:0.717298:0.000000
⋅ +:@0.232033:0.733229:0.264779:0.733229:0.264779:0.717298:0.232033:0.717298:0.000000:0.000000:0.000000
−:@0.166070:0.760593:0.176419:0.760593:0.176419:0.744662:0.166070:0.744662:0.000000
− ⋅:@0.236614:0.760593:0.269983:0.760593:0.269983:0.744662:0.236614:0.744662:0.000000:0.000000:0.000000
−:@0.290777:0.760593:0.301126:0.760593:0.301126:0.744662:0.290777:0.744662:0.000000
−:@0.192029:0.787971:0.202379:0.787971:0.202379:0.772040:0.192029:0.772040:0.000000
⋅ +:@0.232033:0.787971:0.264779:0.787971:0.264779:0.772040:0.232033:0.772040:0.000000:0.000000:0.000000
+:@0.166070:0.816467:0.176419:0.816467:0.176419:0.800536:0.166070:0.800536:0.000000
+:@0.202963:0.816467:0.213313:0.816467:0.213313:0.800536:0.202963:0.800536:0.000000
−:@0.235634:0.816467:0.245984:0.816467:0.245984:0.800536:0.235634:0.800536:0.000000
+:@0.335531:0.816467:0.345881:0.816467:0.345881:0.800536:0.335531:0.800536:0.000000
. Se verifica :@0.207953:0.630629:0.289983:0.630629:0.289983:0.614131:0.207953:0.614131:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.208435:0.667340:0.212577:0.667340:0.212577:0.650842:0.208435:0.650842:0.000000
AB:@0.221194:0.630695:0.246779:0.630695:0.246779:0.614227:0.221194:0.614227:0.000000:0.000000
AB:@0.226862:0.655676:0.262637:0.655676:0.262637:0.639207:0.226862:0.639207:0.000000:0.000000
AB:@0.297950:0.655676:0.333725:0.655676:0.333725:0.639207:0.297950:0.639207:0.000000:0.000000
A:@0.386955:0.655676:0.398225:0.655676:0.398225:0.639207:0.386955:0.639207:0.000000
B:@0.432285:0.655676:0.441475:0.655676:0.441475:0.639207:0.432285:0.639207:0.000000
AB:@0.226862:0.687549:0.262637:0.687549:0.262637:0.671081:0.226862:0.671081:0.000000:0.000000
AB:@0.298932:0.687549:0.334708:0.687549:0.334708:0.671081:0.298932:0.671081:0.000000:0.000000
AB:@0.354281:0.687549:0.390056:0.687549:0.390056:0.671081:0.354281:0.671081:0.000000:0.000000
AA:@0.234645:0.711623:0.265604:0.711623:0.265604:0.695155:0.234645:0.695155:0.000000:0.000000
AB:@0.296062:0.711623:0.323784:0.711623:0.323784:0.695155:0.296062:0.695155:0.000000:0.000000
BB:@0.344687:0.711623:0.370425:0.711623:0.370425:0.695155:0.344687:0.695155:0.000000:0.000000
A ABAB:@0.240309:0.735480:0.342524:0.734497:0.342524:0.718028:0.240309:0.719012:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
A B:@0.295118:0.735480:0.322840:0.735480:0.322840:0.719012:0.295118:0.719012:0.000000:0.000000:0.000000
B AB A:@0.349407:0.735480:0.407023:0.734497:0.407023:0.718028:0.349407:0.719012:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB:@0.226862:0.763444:0.262637:0.763444:0.262637:0.746975:0.226862:0.746975:0.000000:0.000000
AB:@0.298932:0.763444:0.334708:0.763444:0.334708:0.746975:0.298932:0.746975:0.000000:0.000000
AB:@0.354281:0.763444:0.390056:0.763444:0.390056:0.746975:0.354281:0.746975:0.000000:0.000000
A AA:@0.240309:0.791422:0.274422:0.790438:0.274422:0.773969:0.240309:0.774953:0.000000:0.000000:0.000000:0.000000
A B AB:@0.295118:0.791422:0.332602:0.790438:0.332602:0.773969:0.295118:0.774953:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
B BB:@0.349407:0.791422:0.379243:0.790438:0.379243:0.773969:0.349407:0.774953:0.000000:0.000000:0.000000:0.000000
AB:@0.226862:0.820542:0.262637:0.820542:0.262637:0.804073:0.226862:0.804073:0.000000:0.000000
AB:@0.297950:0.820542:0.333725:0.820542:0.333725:0.804073:0.297950:0.804073:0.000000:0.000000
A:@0.386955:0.820542:0.398225:0.820542:0.398225:0.804073:0.386955:0.804073:0.000000
B:@0.432285:0.820542:0.441475:0.820542:0.441475:0.804073:0.432285:0.804073:0.000000
,:@0.233508:0.630582:0.236263:0.630582:0.236263:0.614084:0.233508:0.614084:0.000000
=2:@0.349860:0.655560:0.371803:0.655560:0.371803:0.639062:0.349860:0.639062:0.000000:0.000000
.:@0.462984:0.655560:0.465739:0.655560:0.465739:0.639062:0.462984:0.639062:0.000000
=(:@0.278781:0.687434:0.298181:0.687434:0.298181:0.670936:0.278781:0.670936:0.000000:0.000000
)(:@0.334264:0.687434:0.353510:0.687434:0.353510:0.670936:0.334264:0.670936:0.000000:0.000000
):@0.389613:0.687434:0.395566:0.687434:0.395566:0.670936:0.389613:0.670936:0.000000
= ,:@0.220042:0.711508:0.245054:0.709396:0.245054:0.692899:0.220042:0.695010:0.000000:0.000000:0.000000
2(:@0.280919:0.711508:0.295310:0.711508:0.295310:0.695010:0.280919:0.695010:0.000000:0.000000
):@0.323341:0.711508:0.329294:0.711508:0.329294:0.695010:0.323341:0.695010:0.000000
=:@0.220042:0.735365:0.230849:0.735365:0.230849:0.718867:0.220042:0.718867:0.000000
2(:@0.279975:0.735365:0.294347:0.735365:0.294347:0.718867:0.279975:0.718867:0.000000:0.000000
) =( =2:@0.322378:0.735365:0.380603:0.734381:0.380603:0.717884:0.322378:0.718867:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
, )(:@0.369134:0.735365:0.396765:0.733079:0.396765:0.716581:0.369134:0.718867:0.000000:0.000000:0.000000:0.000000
=(:@0.278781:0.763328:0.298181:0.763328:0.298181:0.746831:0.278781:0.746831:0.000000:0.000000
)(:@0.334264:0.763328:0.353510:0.763328:0.353510:0.746831:0.334264:0.746831:0.000000:0.000000
):@0.389613:0.763328:0.395566:0.763328:0.395566:0.746831:0.389613:0.746831:0.000000
==:@0.220042:0.791306:0.239641:0.790322:0.239641:0.773825:0.220042:0.774808:0.000000:0.000000
2( 2(:@0.279975:0.791306:0.304102:0.790322:0.304102:0.773825:0.279975:0.774808:0.000000:0.000000:0.000000:0.000000:0.000000
) ):@0.322378:0.791306:0.338085:0.790322:0.338085:0.773825:0.322378:0.774808:0.000000:0.000000:0.000000
,:@0.369134:0.791306:0.371889:0.791306:0.371889:0.774808:0.369134:0.774808:0.000000
=2:@0.349850:0.820426:0.371793:0.820426:0.371793:0.803929:0.349850:0.803929:0.000000:0.000000
.:@0.462974:0.820426:0.465729:0.820426:0.465729:0.803929:0.462974:0.803929:0.000000
2:@0.278414:0.622654:0.283585:0.622654:0.283585:0.612612:0.278414:0.612612:0.000000
2:@0.270463:0.807742:0.275635:0.807742:0.275635:0.797700:0.270463:0.797700:0.000000
2:@0.341726:0.807742:0.346898:0.807742:0.346898:0.797700:0.341726:0.797700:0.000000
2:@0.270287:0.642879:0.275459:0.642879:0.275459:0.632837:0.270287:0.632837:0.000000
2:@0.345057:0.642879:0.350228:0.642879:0.350228:0.632837:0.345057:0.632837:0.000000
2:@0.405784:0.642769:0.410702:0.642769:0.410702:0.633220:0.405784:0.633220:0.000000
2:@0.449127:0.642769:0.454044:0.642769:0.454044:0.633220:0.449127:0.633220:0.000000
2:@0.270287:0.674744:0.275459:0.674744:0.275459:0.664702:0.270287:0.664702:0.000000
2:@0.259147:0.722675:0.264318:0.722675:0.264318:0.712633:0.259147:0.712633:0.000000
2:@0.371793:0.722675:0.376965:0.722675:0.376965:0.712633:0.371793:0.712633:0.000000
2:@0.270287:0.750654:0.275459:0.750654:0.275459:0.740612:0.270287:0.740612:0.000000
2:@0.259147:0.780886:0.264318:0.780886:0.264318:0.770844:0.259147:0.770844:0.000000
2:@0.366810:0.780886:0.371981:0.780886:0.371981:0.770844:0.366810:0.770844:0.000000
2:@0.405777:0.807738:0.410949:0.807738:0.410949:0.797696:0.405777:0.797696:0.000000
2:@0.451359:0.807738:0.456530:0.807738:0.456530:0.797696:0.451359:0.797696:0.000000
R:@0.263704:0.633660:0.277613:0.633660:0.277613:0.612318:0.263704:0.612318:0.000000
∈:@0.249844:0.631216:0.263580:0.631216:0.263580:0.614935:0.249844:0.614935:0.000000
+:@0.240356:0.656196:0.250932:0.656196:0.250932:0.639915:0.240356:0.639915:0.000000
+:@0.278058:0.656196:0.288634:0.656196:0.288634:0.639915:0.278058:0.639915:0.000000
−:@0.311448:0.656196:0.322024:0.656196:0.322024:0.639915:0.311448:0.639915:0.000000
+:@0.413534:0.656196:0.424110:0.656196:0.424110:0.639915:0.413534:0.639915:0.000000
+:@0.240360:0.688063:0.250936:0.688063:0.250936:0.671783:0.240360:0.671783:0.000000
+ ⋅:@0.312450:0.688063:0.346549:0.688063:0.346549:0.671783:0.312450:0.671783:0.000000:0.000000:0.000000
+:@0.367798:0.688063:0.378375:0.688063:0.378375:0.671783:0.367798:0.671783:0.000000
⋅+:@0.247334:0.712137:0.278428:0.712137:0.278428:0.695857:0.247334:0.695857:0.000000:0.000000
⋅+ ⋅:@0.308751:0.712137:0.360227:0.712137:0.360227:0.695857:0.308751:0.695857:0.000000:0.000000:0.000000:0.000000
+ + +:@0.266907:0.735994:0.297425:0.735017:0.297425:0.718737:0.266907:0.719714:0.000000:0.000000:0.000000:0.000000:0.000000
⋅ + + ⋅:@0.307788:0.735994:0.389800:0.733715:0.389800:0.717434:0.307788:0.719714:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
−:@0.240379:0.763958:0.250956:0.763958:0.250956:0.747677:0.240379:0.747677:0.000000
− ⋅:@0.312469:0.763958:0.346568:0.763958:0.346568:0.747677:0.312469:0.747677:0.000000:0.000000:0.000000
−:@0.367818:0.763958:0.378394:0.763958:0.378394:0.747677:0.367818:0.747677:0.000000
−:@0.266907:0.791936:0.277484:0.791936:0.277484:0.775655:0.266907:0.775655:0.000000
⋅ +:@0.307788:0.791936:0.341251:0.791936:0.341251:0.775655:0.307788:0.775655:0.000000:0.000000:0.000000
+:@0.240379:0.821056:0.250956:0.821056:0.250956:0.804775:0.240379:0.804775:0.000000
+:@0.278081:0.821056:0.288657:0.821056:0.288657:0.804775:0.278081:0.804775:0.000000
−:@0.311467:0.821056:0.322044:0.821056:0.322044:0.804775:0.311467:0.804775:0.000000
+:@0.413553:0.821056:0.424129:0.821056:0.424129:0.804775:0.413553:0.804775:0.000000
Demostración.:@0.108233:0.702506:0.221628:0.702506:0.221628:0.685560:0.108233:0.685560:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
. De la definición de norma, se tiene::@0.221628:0.702044:0.478452:0.702044:0.478452:0.685546:0.221628:0.685546:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 :@0.242146:0.843987:0.246288:0.843987:0.246288:0.827490:0.242146:0.827490:0.000000
AB:@0.264449:0.676341:0.290033:0.676341:0.290033:0.659872:0.264449:0.659872:0.000000:0.000000
AB:@0.270113:0.701325:0.305888:0.701325:0.305888:0.684857:0.270113:0.684857:0.000000:0.000000
AB:@0.341201:0.701325:0.376977:0.701325:0.376977:0.684857:0.341201:0.684857:0.000000:0.000000
A:@0.430206:0.701325:0.441476:0.701325:0.441476:0.684857:0.430206:0.684857:0.000000
B:@0.475537:0.701325:0.484726:0.701325:0.484726:0.684857:0.475537:0.684857:0.000000
AB B:@0.397536:0.733194:0.450273:0.734497:0.450273:0.718028:0.397536:0.716726:0.000000:0.000000:0.000000:0.000000
AA:@0.277900:0.757268:0.308859:0.757268:0.308859:0.740800:0.277900:0.740800:0.000000:0.000000
AB:@0.339317:0.757268:0.367039:0.757268:0.367039:0.740800:0.339317:0.740800:0.000000:0.000000
BB:@0.387942:0.757268:0.413680:0.757268:0.413680:0.740800:0.387942:0.740800:0.000000:0.000000
A:@0.283563:0.781125:0.294834:0.781125:0.294834:0.764657:0.283563:0.764657:0.000000
A B:@0.338373:0.781125:0.366095:0.781125:0.366095:0.764657:0.338373:0.764657:0.000000:0.000000:0.000000
B:@0.392662:0.781125:0.401851:0.781125:0.401851:0.764657:0.392662:0.764657:0.000000
AB:@0.270116:0.809089:0.305892:0.809089:0.305892:0.792620:0.270116:0.792620:0.000000:0.000000
AB:@0.342187:0.809089:0.377962:0.809089:0.377962:0.792620:0.342187:0.792620:0.000000:0.000000
AB:@0.397536:0.809089:0.433311:0.809089:0.433311:0.792620:0.397536:0.792620:0.000000:0.000000
A:@0.283563:0.837067:0.294834:0.837067:0.294834:0.820598:0.283563:0.820598:0.000000
A B:@0.338373:0.837067:0.366095:0.837067:0.366095:0.820598:0.338373:0.820598:0.000000:0.000000:0.000000
B:@0.392662:0.837067:0.401851:0.837067:0.401851:0.820598:0.392662:0.820598:0.000000
AB:@0.270116:0.866183:0.305892:0.866183:0.305892:0.849714:0.270116:0.849714:0.000000:0.000000
AB:@0.341205:0.866183:0.376980:0.866183:0.376980:0.849714:0.341205:0.849714:0.000000:0.000000
A:@0.430209:0.866183:0.441479:0.866183:0.441479:0.849714:0.430209:0.849714:0.000000
B:@0.475540:0.866183:0.484730:0.866183:0.484730:0.849714:0.475540:0.849714:0.000000
,:@0.276763:0.676223:0.279518:0.676223:0.279518:0.659725:0.276763:0.659725:0.000000
=2:@0.393124:0.701208:0.415067:0.701208:0.415067:0.684710:0.393124:0.684710:0.000000:0.000000
.:@0.506249:0.701208:0.509004:0.701208:0.509004:0.684710:0.506249:0.684710:0.000000
):@0.432868:0.733079:0.438820:0.733079:0.438820:0.716581:0.432868:0.716581:0.000000
=:@0.263296:0.757153:0.274104:0.757153:0.274104:0.740655:0.263296:0.740655:0.000000
2(:@0.324174:0.757153:0.338565:0.757153:0.338565:0.740655:0.324174:0.740655:0.000000:0.000000
):@0.366596:0.757153:0.372549:0.757153:0.372549:0.740655:0.366596:0.740655:0.000000
=:@0.263296:0.781010:0.274104:0.781010:0.274104:0.764512:0.263296:0.764512:0.000000
2(:@0.323230:0.781010:0.337602:0.781010:0.337602:0.764512:0.323230:0.764512:0.000000:0.000000
):@0.365632:0.781010:0.371585:0.781010:0.371585:0.764512:0.365632:0.764512:0.000000
,:@0.412389:0.781010:0.415144:0.781010:0.415144:0.764512:0.412389:0.764512:0.000000
=(:@0.322036:0.808973:0.341435:0.808973:0.341435:0.792476:0.322036:0.792476:0.000000:0.000000
)(:@0.377519:0.808973:0.396765:0.808973:0.396765:0.792476:0.377519:0.792476:0.000000:0.000000
):@0.432868:0.808973:0.438820:0.808973:0.438820:0.792476:0.432868:0.792476:0.000000
=:@0.263296:0.836951:0.274104:0.836951:0.274104:0.820454:0.263296:0.820454:0.000000
2(:@0.323230:0.836951:0.337602:0.836951:0.337602:0.820454:0.323230:0.820454:0.000000:0.000000
):@0.365632:0.836951:0.371585:0.836951:0.371585:0.820454:0.365632:0.820454:0.000000
,:@0.412389:0.836951:0.415144:0.836951:0.415144:0.820454:0.412389:0.820454:0.000000
=2:@0.393116:0.866067:0.415059:0.866067:0.415059:0.849570:0.393116:0.849570:0.000000:0.000000
.:@0.506241:0.866067:0.508995:0.866067:0.508995:0.849570:0.506241:0.849570:0.000000
2:@0.321669:0.668299:0.326840:0.668299:0.326840:0.658257:0.321669:0.658257:0.000000
2:@0.313718:0.853387:0.318889:0.853387:0.318889:0.843345:0.313718:0.843345:0.000000
2:@0.384981:0.853387:0.390152:0.853387:0.390152:0.843345:0.384981:0.843345:0.000000
2:@0.313542:0.688524:0.318714:0.688524:0.318714:0.678482:0.313542:0.678482:0.000000
2:@0.388311:0.688524:0.393483:0.688524:0.393483:0.678482:0.388311:0.678482:0.000000
2:@0.449039:0.688414:0.453956:0.688414:0.453956:0.678865:0.449039:0.678865:0.000000
2:@0.492382:0.688414:0.497299:0.688414:0.497299:0.678865:0.492382:0.678865:0.000000
2:@0.313542:0.720388:0.318714:0.720388:0.318714:0.710346:0.313542:0.710346:0.000000
2:@0.302402:0.768319:0.307573:0.768319:0.307573:0.758277:0.302402:0.758277:0.000000
2:@0.415048:0.768319:0.420220:0.768319:0.420220:0.758277:0.415048:0.758277:0.000000
2:@0.313542:0.796298:0.318714:0.796298:0.318714:0.786256:0.313542:0.786256:0.000000
2:@0.302405:0.826533:0.307577:0.826533:0.307577:0.816491:0.302405:0.816491:0.000000
2:@0.410068:0.826533:0.415239:0.826533:0.415239:0.816491:0.410068:0.816491:0.000000
2:@0.449035:0.853386:0.454207:0.853386:0.454207:0.843343:0.449035:0.843343:0.000000
2:@0.494617:0.853386:0.499789:0.853386:0.499789:0.843343:0.494617:0.843343:0.000000
R:@0.306958:0.679305:0.320868:0.679305:0.320868:0.657963:0.306958:0.657963:0.000000
∈:@0.293099:0.676861:0.306835:0.676861:0.306835:0.660580:0.293099:0.660580:0.000000
+:@0.283601:0.701846:0.294178:0.701846:0.294178:0.685565:0.283601:0.685565:0.000000
+:@0.321303:0.701846:0.331880:0.701846:0.331880:0.685565:0.321303:0.685565:0.000000
−:@0.354690:0.701846:0.365266:0.701846:0.365266:0.685565:0.354690:0.685565:0.000000
+:@0.456775:0.701846:0.467352:0.701846:0.467352:0.685565:0.456775:0.685565:0.000000
++:@0.411049:0.733715:0.432897:0.735017:0.432897:0.718737:0.411049:0.717434:0.000000:0.000000
⋅+:@0.290585:0.757789:0.321678:0.757789:0.321678:0.741508:0.290585:0.741508:0.000000:0.000000
⋅+ ⋅:@0.352002:0.757789:0.403478:0.757789:0.403478:0.741508:0.352002:0.741508:0.000000:0.000000:0.000000:0.000000
+:@0.310158:0.781646:0.320734:0.781646:0.320734:0.765365:0.310158:0.765365:0.000000
⋅ +:@0.351038:0.781646:0.384502:0.781646:0.384502:0.765365:0.351038:0.765365:0.000000:0.000000:0.000000
−:@0.283630:0.809609:0.294206:0.809609:0.294206:0.793329:0.283630:0.793329:0.000000
− ⋅:@0.355720:0.809609:0.389819:0.809609:0.389819:0.793329:0.355720:0.793329:0.000000:0.000000:0.000000
−:@0.411068:0.809609:0.421645:0.809609:0.421645:0.793329:0.411068:0.793329:0.000000
−:@0.310158:0.837587:0.320734:0.837587:0.320734:0.821307:0.310158:0.821307:0.000000
⋅ +:@0.351038:0.837587:0.384502:0.837587:0.384502:0.821307:0.351038:0.821307:0.000000:0.000000:0.000000
+:@0.283611:0.866703:0.294187:0.866703:0.294187:0.850423:0.283611:0.850423:0.000000
+:@0.321312:0.866703:0.331889:0.866703:0.331889:0.850423:0.321312:0.850423:0.000000
−:@0.354699:0.866703:0.365275:0.866703:0.365275:0.850423:0.354699:0.850423:0.000000
+:@0.456784:0.866703:0.467361:0.866703:0.467361:0.850423:0.456784:0.850423:0.000000
y sumando miembro a miembro estos dos resultados se obtiene::@0.108233:0.868460:0.566779:0.868460:0.566779:0.851962:0.108233:0.851962:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
AB:@0.229996:0.709512:0.255580:0.709512:0.255580:0.693043:0.229996:0.693043:0.000000:0.000000
AB:@0.235660:0.734497:0.271435:0.734497:0.271435:0.718028:0.235660:0.718028:0.000000:0.000000
AB:@0.235679:0.766364:0.271455:0.766364:0.271455:0.749895:0.235679:0.749895:0.000000:0.000000
AB:@0.307750:0.766364:0.343525:0.766364:0.343525:0.749895:0.307750:0.749895:0.000000:0.000000
AB:@0.363099:0.766364:0.398874:0.766364:0.398874:0.749895:0.363099:0.749895:0.000000:0.000000
A:@0.249126:0.814295:0.260396:0.814295:0.260396:0.797827:0.249126:0.797827:0.000000
A B:@0.303936:0.814295:0.331658:0.814295:0.331658:0.797827:0.303936:0.797827:0.000000:0.000000:0.000000
B:@0.358225:0.814295:0.367414:0.814295:0.367414:0.797827:0.358225:0.797827:0.000000
AB:@0.235679:0.842259:0.271455:0.842259:0.271455:0.825790:0.235679:0.825790:0.000000:0.000000
AB:@0.307750:0.842259:0.343525:0.842259:0.343525:0.825790:0.307750:0.825790:0.000000:0.000000
AB:@0.363099:0.842259:0.398874:0.842259:0.398874:0.825790:0.363099:0.825790:0.000000:0.000000
A:@0.249126:0.870236:0.260396:0.870236:0.260396:0.853768:0.249126:0.853768:0.000000
A B:@0.303936:0.870236:0.331658:0.870236:0.331658:0.853768:0.303936:0.853768:0.000000:0.000000:0.000000
B:@0.358225:0.870236:0.367414:0.870236:0.367414:0.853768:0.358225:0.853768:0.000000
AB:@0.235664:0.899353:0.271439:0.899353:0.271439:0.882884:0.235664:0.882884:0.000000:0.000000
AB:@0.306752:0.899353:0.342527:0.899353:0.342527:0.882884:0.306752:0.882884:0.000000:0.000000
A:@0.395756:0.899353:0.407026:0.899353:0.407026:0.882884:0.395756:0.882884:0.000000
B:@0.441087:0.899353:0.450277:0.899353:0.450277:0.882884:0.441087:0.882884:0.000000
.:@0.471785:0.734381:0.474540:0.734381:0.474540:0.717884:0.471785:0.717884:0.000000
=(:@0.287572:0.766248:0.306972:0.766248:0.306972:0.749751:0.287572:0.749751:0.000000:0.000000
)(:@0.343056:0.766248:0.362301:0.766248:0.362301:0.749751:0.343056:0.749751:0.000000:0.000000
):@0.398404:0.766248:0.404357:0.766248:0.404357:0.749751:0.398404:0.749751:0.000000
=:@0.228833:0.814179:0.239641:0.814179:0.239641:0.797682:0.228833:0.797682:0.000000
2(:@0.288767:0.814179:0.303138:0.814179:0.303138:0.797682:0.288767:0.797682:0.000000:0.000000
):@0.331169:0.814179:0.337122:0.814179:0.337122:0.797682:0.331169:0.797682:0.000000
,:@0.377925:0.814179:0.380680:0.814179:0.380680:0.797682:0.377925:0.797682:0.000000
=(:@0.287572:0.842143:0.306972:0.842143:0.306972:0.825645:0.287572:0.825645:0.000000:0.000000
)(:@0.343056:0.842143:0.362301:0.842143:0.362301:0.825645:0.343056:0.825645:0.000000:0.000000
):@0.398404:0.842143:0.404357:0.842143:0.404357:0.825645:0.398404:0.825645:0.000000
=:@0.228833:0.870121:0.239641:0.870121:0.239641:0.853623:0.228833:0.853623:0.000000
2(:@0.288767:0.870121:0.303138:0.870121:0.303138:0.853623:0.288767:0.853623:0.000000:0.000000
):@0.331169:0.870121:0.337122:0.870121:0.337122:0.853623:0.331169:0.853623:0.000000
,:@0.377925:0.870121:0.380680:0.870121:0.380680:0.853623:0.377925:0.853623:0.000000
=2:@0.358661:0.899237:0.380604:0.899237:0.380604:0.882740:0.358661:0.882740:0.000000:0.000000
.:@0.471786:0.899237:0.474541:0.899237:0.474541:0.882740:0.471786:0.882740:0.000000
2:@0.287216:0.701470:0.292387:0.701470:0.292387:0.691428:0.287216:0.691428:0.000000
2:@0.279260:0.886558:0.284431:0.886558:0.284431:0.876516:0.279260:0.876516:0.000000
2:@0.350523:0.886558:0.355694:0.886558:0.355694:0.876516:0.350523:0.876516:0.000000
2:@0.279089:0.721695:0.284261:0.721695:0.284261:0.711652:0.279089:0.711652:0.000000
2:@0.353858:0.721695:0.359030:0.721695:0.359030:0.711652:0.353858:0.711652:0.000000
2:@0.414586:0.721584:0.419503:0.721584:0.419503:0.712035:0.414586:0.712035:0.000000
2:@0.457929:0.721584:0.462846:0.721584:0.462846:0.712035:0.457929:0.712035:0.000000
2:@0.279089:0.753560:0.284261:0.753560:0.284261:0.743518:0.279089:0.743518:0.000000
2:@0.267949:0.801490:0.273120:0.801490:0.273120:0.791448:0.267949:0.791448:0.000000
2:@0.380595:0.801490:0.385767:0.801490:0.385767:0.791448:0.380595:0.791448:0.000000
2:@0.279089:0.829469:0.284261:0.829469:0.284261:0.819427:0.279089:0.819427:0.000000
2:@0.267949:0.859701:0.273120:0.859701:0.273120:0.849659:0.267949:0.849659:0.000000
2:@0.375611:0.859701:0.380783:0.859701:0.380783:0.849659:0.375611:0.849659:0.000000
2:@0.414579:0.886553:0.419751:0.886553:0.419751:0.876511:0.414579:0.876511:0.000000
2:@0.460161:0.886553:0.465332:0.886553:0.465332:0.876511:0.460161:0.876511:0.000000
R:@0.272505:0.712476:0.286415:0.712476:0.286415:0.691135:0.272505:0.691135:0.000000
∈:@0.258644:0.710032:0.272380:0.710032:0.272380:0.693752:0.258644:0.693752:0.000000
+:@0.249147:0.735017:0.259723:0.735017:0.259723:0.718737:0.249147:0.718737:0.000000
−:@0.320235:0.735017:0.330811:0.735017:0.330811:0.718737:0.320235:0.718737:0.000000
+:@0.249147:0.766885:0.259723:0.766885:0.259723:0.750604:0.249147:0.750604:0.000000
+ ⋅:@0.321237:0.766885:0.355336:0.766885:0.355336:0.750604:0.321237:0.750604:0.000000:0.000000:0.000000
+:@0.376585:0.766885:0.387162:0.766885:0.387162:0.750604:0.376585:0.750604:0.000000
⋅+:@0.256121:0.790958:0.287215:0.790958:0.287215:0.774678:0.256121:0.774678:0.000000:0.000000
⋅+ ⋅:@0.317538:0.790958:0.369014:0.790958:0.369014:0.774678:0.317538:0.774678:0.000000:0.000000:0.000000:0.000000
+:@0.275694:0.814816:0.286271:0.814816:0.286271:0.798535:0.275694:0.798535:0.000000
⋅ +:@0.316575:0.814816:0.350038:0.814816:0.350038:0.798535:0.316575:0.798535:0.000000:0.000000:0.000000
−:@0.249166:0.842779:0.259743:0.842779:0.259743:0.826498:0.249166:0.826498:0.000000
− ⋅:@0.321256:0.842779:0.355355:0.842779:0.355355:0.826498:0.321256:0.826498:0.000000:0.000000:0.000000
−:@0.376605:0.842779:0.387181:0.842779:0.387181:0.826498:0.376605:0.826498:0.000000
−:@0.275694:0.870757:0.286271:0.870757:0.286271:0.854476:0.275694:0.854476:0.000000
⋅ +:@0.316575:0.870757:0.350038:0.870757:0.350038:0.854476:0.316575:0.854476:0.000000:0.000000:0.000000
+:@0.249158:0.899874:0.259734:0.899874:0.259734:0.883593:0.249158:0.883593:0.000000
+:@0.286859:0.899874:0.297436:0.899874:0.297436:0.883593:0.286859:0.883593:0.000000
−:@0.320250:0.899874:0.330826:0.899874:0.330826:0.883593:0.320250:0.883593:0.000000
+:@0.422335:0.899874:0.432912:0.899874:0.432912:0.883593:0.422335:0.883593:0.000000
Interdisciplinariedad:@0.684534:0.110741:0.831319:0.110741:0.831319:0.095269:0.684534:0.095269:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Matemática e Historia:@0.684772:0.139791:0.840440:0.139791:0.840440:0.124319:0.684772:0.124319:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Pitágoras es muy conocido, a :@0.638229:0.155211:0.829800:0.155211:0.829800:0.140148:0.638229:0.140148:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
pesar de que no publicó ningún :@0.638229:0.171053:0.849483:0.171053:0.849483:0.155990:0.638229:0.155990:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
escrito durante su vida. Lo que :@0.638229:0.186895:0.840422:0.186895:0.840422:0.171832:0.638229:0.171832:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
sabemos de él ha llegado a :@0.638229:0.202737:0.815270:0.202737:0.815270:0.187674:0.638229:0.187674:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
través de otros filósofos  :@0.638229:0.218579:0.798982:0.218579:0.798982:0.203516:0.638229:0.203516:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
e historiadores. Pitágoras fue  :@0.638229:0.234421:0.830078:0.234421:0.830078:0.219358:0.638229:0.219358:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
un filósofo y matemático griego :@0.638229:0.250263:0.848234:0.250263:0.848234:0.235200:0.638229:0.235200:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
conocido por introducir el teo-:@0.638229:0.266105:0.840793:0.266105:0.840793:0.251042:0.638229:0.251042:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
rema que lleva su nombre. Este :@0.638229:0.281947:0.842973:0.281947:0.842973:0.266884:0.638229:0.266884:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
teorema indica que el cuadrado :@0.638229:0.297789:0.848269:0.297789:0.848269:0.282726:0.638229:0.282726:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
de la hipotenusa de un triángu-:@0.638229:0.313631:0.842605:0.313631:0.842605:0.298567:0.638229:0.298567:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
lo rectángulo es igual a la suma :@0.638229:0.329473:0.843115:0.329473:0.843115:0.314409:0.638229:0.314409:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
del cuadrado de los catetos.  :@0.638229:0.345315:0.826368:0.345315:0.826368:0.330251:0.638229:0.330251:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Este no es solo un postulado :@0.638229:0.361157:0.828127:0.361157:0.828127:0.346093:0.638229:0.346093:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
geométrico; también tiene apli-:@0.638229:0.376999:0.841814:0.376999:0.841814:0.361935:0.638229:0.361935:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
caciones en el mundo real.:@0.638229:0.392841:0.810187:0.392841:0.810187:0.377777:0.638229:0.377777:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
p:@0.638235:0.582138:0.649716:0.582138:0.649716:0.572113:0.638235:0.572113:0.000000
 :@0.649716:0.582926:0.652597:0.582926:0.652597:0.571470:0.649716:0.571470:0.000000
Pitágoras:@0.652597:0.582846:0.697452:0.582846:0.697452:0.571369:0.652597:0.571369:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Indaga:@0.638235:0.611412:0.685867:0.611412:0.685867:0.595940:0.638235:0.595940:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 sobre Pitágoras, luego :@0.685867:0.610990:0.834251:0.610990:0.834251:0.595927:0.685867:0.595927:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
confecciona:@0.638235:0.627254:0.722685:0.627254:0.722685:0.611782:0.638235:0.611782:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 una ficha biblio-:@0.722685:0.626832:0.831653:0.626832:0.831653:0.611769:0.722685:0.611769:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
gráfica.:@0.638235:0.642674:0.683932:0.642674:0.683932:0.627611:0.638235:0.627611:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
Raphael. Wikimedia Commons:@0.871035:0.560134:0.871035:0.473698:0.859566:0.473698:0.859566:0.560134:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000
 ©:@0.079553:0.731952:0.079553:0.720342:0.061505:0.720342:0.061505:0.731952:0.000000:0.000000
maya:@0.080774:0.720340:0.080774:0.684191:0.055786:0.684191:0.055786:0.720340:0.000000:0.000000:0.000000:0.000000
®EDUCACIÓN – Libro resuelto solo para fines didácticos – Prohibida su reproducción :@0.079553:0.684191:0.079553:0.268044:0.061505:0.268044:0.061505:0.684191:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000:0.000000