Rev Author Line No. Line
3297 kaklik 1 (* Content-type: application/mathematica *)
2  
3 (*** Wolfram Notebook File ***)
4 (* http://www.wolfram.com/nb *)
5  
6 (* CreatedBy='Mathematica 7.0' *)
7  
8 (*CacheID: 234*)
9 (* Internal cache information:
10 NotebookFileLineBreakTest
11 NotebookFileLineBreakTest
12 NotebookDataPosition[ 145, 7]
13 NotebookDataLength[ 46003, 1453]
14 NotebookOptionsPosition[ 43830, 1377]
15 NotebookOutlinePosition[ 44167, 1392]
16 CellTagsIndexPosition[ 44124, 1389]
17 WindowFrame->Normal*)
18  
19 (* Beginning of Notebook Content *)
20 Notebook[{
21  
22 Cell[CellGroupData[{
23 Cell[BoxData[
24 RowBox[{"Eliminate", "[",
25 RowBox[{
26 RowBox[{"{",
27 RowBox[{
28 RowBox[{"a", "\[Equal]", " ",
29 RowBox[{
30 SqrtBox[
31 RowBox[{
32 SuperscriptBox[
33 RowBox[{"(",
34 RowBox[{"xr", " ", "-", "x"}], ")"}], "2"], "+",
35 SuperscriptBox["y", "2"]}]], "+",
36 SqrtBox[
37 RowBox[{
38 SuperscriptBox["x", "2"], "+",
39 SuperscriptBox["y", "2"]}]]}]}], ",",
40 RowBox[{"b", "\[Equal]", " ",
41 RowBox[{
42 SqrtBox[
43 RowBox[{
44 SuperscriptBox[
45 RowBox[{"(",
46 RowBox[{"xl", " ", "-", " ", "x"}], " ", ")"}], "2"], "+",
47 SuperscriptBox["y", "2"]}]], "+",
48 SqrtBox[
49 RowBox[{
50 SuperscriptBox["x", "2"], "+",
51 SuperscriptBox["y", "2"]}]]}]}]}], "}"}], ",", "x"}], "]"}]], "Input",\
52  
53 CellChangeTimes->{{3.48127953373995*^9, 3.481279712895905*^9}, {
54 3.48127975166405*^9, 3.481279756584614*^9}}],
55  
56 Cell[BoxData[
57 RowBox[{
58 RowBox[{
59 RowBox[{
60 SuperscriptBox["b", "4"], " ",
61 RowBox[{"(",
62 RowBox[{
63 SuperscriptBox["a", "2"], "-",
64 SuperscriptBox["xr", "2"]}], ")"}]}], "+",
65 RowBox[{"a", " ",
66 SuperscriptBox["b", "3"], " ",
67 RowBox[{"(",
68 RowBox[{
69 RowBox[{
70 RowBox[{"-", "2"}], " ",
71 SuperscriptBox["a", "2"]}], "+",
72 RowBox[{"2", " ",
73 SuperscriptBox["xr", "2"]}]}], ")"}]}], "+",
74 RowBox[{"a", " ", "b", " ", "xl", " ",
75 RowBox[{"(",
76 RowBox[{
77 RowBox[{"2", " ",
78 SuperscriptBox["a", "2"], " ", "xl"}], "-",
79 RowBox[{"2", " ", "xl", " ",
80 SuperscriptBox["xr", "2"]}], "-",
81 RowBox[{"8", " ", "xr", " ",
82 SuperscriptBox["y", "2"]}]}], ")"}]}], "+",
83 RowBox[{
84 SuperscriptBox["b", "2"], " ",
85 RowBox[{"(",
86 RowBox[{
87 SuperscriptBox["a", "4"], "-",
88 RowBox[{"2", " ",
89 SuperscriptBox["a", "2"], " ",
90 SuperscriptBox["xl", "2"]}], "+",
91 RowBox[{"2", " ",
92 SuperscriptBox["a", "2"], " ", "xl", " ", "xr"}], "-",
93 RowBox[{"2", " ",
94 SuperscriptBox["a", "2"], " ",
95 SuperscriptBox["xr", "2"]}], "+",
96 RowBox[{"2", " ",
97 SuperscriptBox["xl", "2"], " ",
98 SuperscriptBox["xr", "2"]}], "-",
99 RowBox[{"2", " ", "xl", " ",
100 SuperscriptBox["xr", "3"]}], "+",
101 SuperscriptBox["xr", "4"], "+",
102 RowBox[{"4", " ",
103 SuperscriptBox["xr", "2"], " ",
104 SuperscriptBox["y", "2"]}]}], ")"}]}]}], "\[Equal]",
105 RowBox[{
106 SuperscriptBox["xl", "2"], " ",
107 RowBox[{"(",
108 RowBox[{
109 SuperscriptBox["a", "4"], "-",
110 RowBox[{
111 SuperscriptBox["a", "2"], " ",
112 SuperscriptBox["xl", "2"]}], "+",
113 RowBox[{"2", " ",
114 SuperscriptBox["a", "2"], " ", "xl", " ", "xr"}], "-",
115 RowBox[{"2", " ",
116 SuperscriptBox["a", "2"], " ",
117 SuperscriptBox["xr", "2"]}], "+",
118 RowBox[{
119 SuperscriptBox["xl", "2"], " ",
120 SuperscriptBox["xr", "2"]}], "-",
121 RowBox[{"2", " ", "xl", " ",
122 SuperscriptBox["xr", "3"]}], "+",
123 SuperscriptBox["xr", "4"], "-",
124 RowBox[{"4", " ",
125 SuperscriptBox["a", "2"], " ",
126 SuperscriptBox["y", "2"]}]}], ")"}]}]}]], "Output",
127 CellChangeTimes->{3.48127972265705*^9, 3.481279757723674*^9}]
128 }, Open ]],
129  
130 Cell[CellGroupData[{
131  
132 Cell[BoxData[
133 RowBox[{"Solve", "[",
134 RowBox[{
135 RowBox[{
136 RowBox[{
137 RowBox[{
138 SuperscriptBox["b", "4"], " ",
139 RowBox[{"(",
140 RowBox[{
141 SuperscriptBox["a", "2"], "-",
142 SuperscriptBox["xr", "2"]}], ")"}]}], "+",
143 RowBox[{"a", " ",
144 SuperscriptBox["b", "3"], " ",
145 RowBox[{"(",
146 RowBox[{
147 RowBox[{
148 RowBox[{"-", "2"}], " ",
149 SuperscriptBox["a", "2"]}], "+",
150 RowBox[{"2", " ",
151 SuperscriptBox["xr", "2"]}]}], ")"}]}], "+",
152 RowBox[{"a", " ", "b", " ", "xl", " ",
153 RowBox[{"(",
154 RowBox[{
155 RowBox[{"2", " ",
156 SuperscriptBox["a", "2"], " ", "xl"}], "-",
157 RowBox[{"2", " ", "xl", " ",
158 SuperscriptBox["xr", "2"]}], "-",
159 RowBox[{"8", " ", "xr", " ",
160 SuperscriptBox["y", "2"]}]}], ")"}]}], "+",
161 RowBox[{
162 SuperscriptBox["b", "2"], " ",
163 RowBox[{"(",
164 RowBox[{
165 SuperscriptBox["a", "4"], "-",
166 RowBox[{"2", " ",
167 SuperscriptBox["a", "2"], " ",
168 SuperscriptBox["xl", "2"]}], "+",
169 RowBox[{"2", " ",
170 SuperscriptBox["a", "2"], " ", "xl", " ", "xr"}], "-",
171 RowBox[{"2", " ",
172 SuperscriptBox["a", "2"], " ",
173 SuperscriptBox["xr", "2"]}], "+",
174 RowBox[{"2", " ",
175 SuperscriptBox["xl", "2"], " ",
176 SuperscriptBox["xr", "2"]}], "-",
177 RowBox[{"2", " ", "xl", " ",
178 SuperscriptBox["xr", "3"]}], "+",
179 SuperscriptBox["xr", "4"], "+",
180 RowBox[{"4", " ",
181 SuperscriptBox["xr", "2"], " ",
182 SuperscriptBox["y", "2"]}]}], ")"}]}]}], "\[Equal]",
183 RowBox[{
184 SuperscriptBox["xl", "2"], " ",
185 RowBox[{"(",
186 RowBox[{
187 SuperscriptBox["a", "4"], "-",
188 RowBox[{
189 SuperscriptBox["a", "2"], " ",
190 SuperscriptBox["xl", "2"]}], "+",
191 RowBox[{"2", " ",
192 SuperscriptBox["a", "2"], " ", "xl", " ", "xr"}], "-",
193 RowBox[{"2", " ",
194 SuperscriptBox["a", "2"], " ",
195 SuperscriptBox["xr", "2"]}], "+",
196 RowBox[{
197 SuperscriptBox["xl", "2"], " ",
198 SuperscriptBox["xr", "2"]}], "-",
199 RowBox[{"2", " ", "xl", " ",
200 SuperscriptBox["xr", "3"]}], "+",
201 SuperscriptBox["xr", "4"], "-",
202 RowBox[{"4", " ",
203 SuperscriptBox["a", "2"], " ",
204 SuperscriptBox["y", "2"]}]}], ")"}]}]}], ",", "y"}], "]"}]], "Input",
205 CellChangeTimes->{{3.4812797740667*^9, 3.4812797859725657`*^9}, {
206 3.481279820509633*^9, 3.481279835051724*^9}}],
207  
208 Cell[BoxData[
209 RowBox[{"{",
210 RowBox[{
211 RowBox[{"{",
212 RowBox[{"y", "\[Rule]",
213 RowBox[{"-",
214 RowBox[{
215 FractionBox["1",
216 RowBox[{"2", " ",
217 SqrtBox[
218 RowBox[{
219 RowBox[{
220 SuperscriptBox["a", "2"], " ",
221 SuperscriptBox["xl", "2"]}], "-",
222 RowBox[{"2", " ", "a", " ", "b", " ", "xl", " ", "xr"}], "+",
223 RowBox[{
224 SuperscriptBox["b", "2"], " ",
225 SuperscriptBox["xr", "2"]}]}]]}]],
226 RowBox[{"(",
227 RowBox[{"\[Sqrt]",
228 RowBox[{"(",
229 RowBox[{
230 RowBox[{
231 RowBox[{"-",
232 SuperscriptBox["a", "4"]}], " ",
233 SuperscriptBox["b", "2"]}], "+",
234 RowBox[{"2", " ",
235 SuperscriptBox["a", "3"], " ",
236 SuperscriptBox["b", "3"]}], "-",
237 RowBox[{
238 SuperscriptBox["a", "2"], " ",
239 SuperscriptBox["b", "4"]}], "+",
240 RowBox[{
241 SuperscriptBox["a", "4"], " ",
242 SuperscriptBox["xl", "2"]}], "-",
243 RowBox[{"2", " ",
244 SuperscriptBox["a", "3"], " ", "b", " ",
245 SuperscriptBox["xl", "2"]}], "+",
246 RowBox[{"2", " ",
247 SuperscriptBox["a", "2"], " ",
248 SuperscriptBox["b", "2"], " ",
249 SuperscriptBox["xl", "2"]}], "-",
250 RowBox[{
251 SuperscriptBox["a", "2"], " ",
252 SuperscriptBox["xl", "4"]}], "-",
253 RowBox[{"2", " ",
254 SuperscriptBox["a", "2"], " ",
255 SuperscriptBox["b", "2"], " ", "xl", " ", "xr"}], "+",
256 RowBox[{"2", " ",
257 SuperscriptBox["a", "2"], " ",
258 SuperscriptBox["xl", "3"], " ", "xr"}], "+",
259 RowBox[{"2", " ",
260 SuperscriptBox["a", "2"], " ",
261 SuperscriptBox["b", "2"], " ",
262 SuperscriptBox["xr", "2"]}], "-",
263 RowBox[{"2", " ", "a", " ",
264 SuperscriptBox["b", "3"], " ",
265 SuperscriptBox["xr", "2"]}], "+",
266 RowBox[{
267 SuperscriptBox["b", "4"], " ",
268 SuperscriptBox["xr", "2"]}], "-",
269 RowBox[{"2", " ",
270 SuperscriptBox["a", "2"], " ",
271 SuperscriptBox["xl", "2"], " ",
272 SuperscriptBox["xr", "2"]}], "+",
273 RowBox[{"2", " ", "a", " ", "b", " ",
274 SuperscriptBox["xl", "2"], " ",
275 SuperscriptBox["xr", "2"]}], "-",
276 RowBox[{"2", " ",
277 SuperscriptBox["b", "2"], " ",
278 SuperscriptBox["xl", "2"], " ",
279 SuperscriptBox["xr", "2"]}], "+",
280 RowBox[{
281 SuperscriptBox["xl", "4"], " ",
282 SuperscriptBox["xr", "2"]}], "+",
283 RowBox[{"2", " ",
284 SuperscriptBox["b", "2"], " ", "xl", " ",
285 SuperscriptBox["xr", "3"]}], "-",
286 RowBox[{"2", " ",
287 SuperscriptBox["xl", "3"], " ",
288 SuperscriptBox["xr", "3"]}], "-",
289 RowBox[{
290 SuperscriptBox["b", "2"], " ",
291 SuperscriptBox["xr", "4"]}], "+",
292 RowBox[{
293 SuperscriptBox["xl", "2"], " ",
294 SuperscriptBox["xr", "4"]}]}], ")"}]}], ")"}]}]}]}], "}"}], ",",
295 RowBox[{"{",
296 RowBox[{"y", "\[Rule]",
297 RowBox[{
298 FractionBox["1",
299 RowBox[{"2", " ",
300 SqrtBox[
301 RowBox[{
302 RowBox[{
303 SuperscriptBox["a", "2"], " ",
304 SuperscriptBox["xl", "2"]}], "-",
305 RowBox[{"2", " ", "a", " ", "b", " ", "xl", " ", "xr"}], "+",
306 RowBox[{
307 SuperscriptBox["b", "2"], " ",
308 SuperscriptBox["xr", "2"]}]}]]}]],
309 RowBox[{"(",
310 RowBox[{"\[Sqrt]",
311 RowBox[{"(",
312 RowBox[{
313 RowBox[{
314 RowBox[{"-",
315 SuperscriptBox["a", "4"]}], " ",
316 SuperscriptBox["b", "2"]}], "+",
317 RowBox[{"2", " ",
318 SuperscriptBox["a", "3"], " ",
319 SuperscriptBox["b", "3"]}], "-",
320 RowBox[{
321 SuperscriptBox["a", "2"], " ",
322 SuperscriptBox["b", "4"]}], "+",
323 RowBox[{
324 SuperscriptBox["a", "4"], " ",
325 SuperscriptBox["xl", "2"]}], "-",
326 RowBox[{"2", " ",
327 SuperscriptBox["a", "3"], " ", "b", " ",
328 SuperscriptBox["xl", "2"]}], "+",
329 RowBox[{"2", " ",
330 SuperscriptBox["a", "2"], " ",
331 SuperscriptBox["b", "2"], " ",
332 SuperscriptBox["xl", "2"]}], "-",
333 RowBox[{
334 SuperscriptBox["a", "2"], " ",
335 SuperscriptBox["xl", "4"]}], "-",
336 RowBox[{"2", " ",
337 SuperscriptBox["a", "2"], " ",
338 SuperscriptBox["b", "2"], " ", "xl", " ", "xr"}], "+",
339 RowBox[{"2", " ",
340 SuperscriptBox["a", "2"], " ",
341 SuperscriptBox["xl", "3"], " ", "xr"}], "+",
342 RowBox[{"2", " ",
343 SuperscriptBox["a", "2"], " ",
344 SuperscriptBox["b", "2"], " ",
345 SuperscriptBox["xr", "2"]}], "-",
346 RowBox[{"2", " ", "a", " ",
347 SuperscriptBox["b", "3"], " ",
348 SuperscriptBox["xr", "2"]}], "+",
349 RowBox[{
350 SuperscriptBox["b", "4"], " ",
351 SuperscriptBox["xr", "2"]}], "-",
352 RowBox[{"2", " ",
353 SuperscriptBox["a", "2"], " ",
354 SuperscriptBox["xl", "2"], " ",
355 SuperscriptBox["xr", "2"]}], "+",
356 RowBox[{"2", " ", "a", " ", "b", " ",
357 SuperscriptBox["xl", "2"], " ",
358 SuperscriptBox["xr", "2"]}], "-",
359 RowBox[{"2", " ",
360 SuperscriptBox["b", "2"], " ",
361 SuperscriptBox["xl", "2"], " ",
362 SuperscriptBox["xr", "2"]}], "+",
363 RowBox[{
364 SuperscriptBox["xl", "4"], " ",
365 SuperscriptBox["xr", "2"]}], "+",
366 RowBox[{"2", " ",
367 SuperscriptBox["b", "2"], " ", "xl", " ",
368 SuperscriptBox["xr", "3"]}], "-",
369 RowBox[{"2", " ",
370 SuperscriptBox["xl", "3"], " ",
371 SuperscriptBox["xr", "3"]}], "-",
372 RowBox[{
373 SuperscriptBox["b", "2"], " ",
374 SuperscriptBox["xr", "4"]}], "+",
375 RowBox[{
376 SuperscriptBox["xl", "2"], " ",
377 SuperscriptBox["xr", "4"]}]}], ")"}]}], ")"}]}]}], "}"}]}],
378 "}"}]], "Output",
379 CellChangeTimes->{3.481279835876631*^9}]
380 }, Open ]],
381  
382 Cell[CellGroupData[{
383  
384 Cell[BoxData[
385 RowBox[{"FullSimplify", "[",
386 RowBox[{"{",
387 RowBox[{
388 RowBox[{"{",
389 RowBox[{"y", "\[Rule]",
390 RowBox[{
391 RowBox[{"-",
392 FractionBox["1",
393 RowBox[{"2", " ",
394 SqrtBox[
395 RowBox[{
396 RowBox[{
397 SuperscriptBox["a", "2"], " ",
398 SuperscriptBox["xl", "2"]}], "-",
399 RowBox[{"2", " ", "a", " ", "b", " ", "xl", " ", "xr"}], "+",
400 RowBox[{
401 SuperscriptBox["b", "2"], " ",
402 SuperscriptBox["xr", "2"]}]}]]}]]}],
403 RowBox[{"(",
404 RowBox[{"\[Sqrt]",
405 RowBox[{"(",
406 RowBox[{
407 RowBox[{
408 RowBox[{"-",
409 SuperscriptBox["a", "4"]}], " ",
410 SuperscriptBox["b", "2"]}], "+",
411 RowBox[{"2", " ",
412 SuperscriptBox["a", "3"], " ",
413 SuperscriptBox["b", "3"]}], "-",
414 RowBox[{
415 SuperscriptBox["a", "2"], " ",
416 SuperscriptBox["b", "4"]}], "+",
417 RowBox[{
418 SuperscriptBox["a", "4"], " ",
419 SuperscriptBox["xl", "2"]}], "-",
420 RowBox[{"2", " ",
421 SuperscriptBox["a", "3"], " ", "b", " ",
422 SuperscriptBox["xl", "2"]}], "+",
423 RowBox[{"2", " ",
424 SuperscriptBox["a", "2"], " ",
425 SuperscriptBox["b", "2"], " ",
426 SuperscriptBox["xl", "2"]}], "-",
427 RowBox[{
428 SuperscriptBox["a", "2"], " ",
429 SuperscriptBox["xl", "4"]}], "-",
430 RowBox[{"2", " ",
431 SuperscriptBox["a", "2"], " ",
432 SuperscriptBox["b", "2"], " ", "xl", " ", "xr"}], "+",
433 RowBox[{"2", " ",
434 SuperscriptBox["a", "2"], " ",
435 SuperscriptBox["xl", "3"], " ", "xr"}], "+",
436 RowBox[{"2", " ",
437 SuperscriptBox["a", "2"], " ",
438 SuperscriptBox["b", "2"], " ",
439 SuperscriptBox["xr", "2"]}], "-",
440 RowBox[{"2", " ", "a", " ",
441 SuperscriptBox["b", "3"], " ",
442 SuperscriptBox["xr", "2"]}], "+",
443 RowBox[{
444 SuperscriptBox["b", "4"], " ",
445 SuperscriptBox["xr", "2"]}], "-",
446 RowBox[{"2", " ",
447 SuperscriptBox["a", "2"], " ",
448 SuperscriptBox["xl", "2"], " ",
449 SuperscriptBox["xr", "2"]}], "+",
450 RowBox[{"2", " ", "a", " ", "b", " ",
451 SuperscriptBox["xl", "2"], " ",
452 SuperscriptBox["xr", "2"]}], "-",
453 RowBox[{"2", " ",
454 SuperscriptBox["b", "2"], " ",
455 SuperscriptBox["xl", "2"], " ",
456 SuperscriptBox["xr", "2"]}], "+",
457 RowBox[{
458 SuperscriptBox["xl", "4"], " ",
459 SuperscriptBox["xr", "2"]}], "+",
460 RowBox[{"2", " ",
461 SuperscriptBox["b", "2"], " ", "xl", " ",
462 SuperscriptBox["xr", "3"]}], "-",
463 RowBox[{"2", " ",
464 SuperscriptBox["xl", "3"], " ",
465 SuperscriptBox["xr", "3"]}], "-",
466 RowBox[{
467 SuperscriptBox["b", "2"], " ",
468 SuperscriptBox["xr", "4"]}], "+",
469 RowBox[{
470 SuperscriptBox["xl", "2"], " ",
471 SuperscriptBox["xr", "4"]}]}], ")"}]}], ")"}]}]}], "}"}], ",",
472 RowBox[{"{",
473 RowBox[{"y", "\[Rule]",
474 RowBox[{
475 FractionBox["1",
476 RowBox[{"2", " ",
477 SqrtBox[
478 RowBox[{
479 RowBox[{
480 SuperscriptBox["a", "2"], " ",
481 SuperscriptBox["xl", "2"]}], "-",
482 RowBox[{"2", " ", "a", " ", "b", " ", "xl", " ", "xr"}], "+",
483 RowBox[{
484 SuperscriptBox["b", "2"], " ",
485 SuperscriptBox["xr", "2"]}]}]]}]],
486 RowBox[{"(",
487 RowBox[{"\[Sqrt]",
488 RowBox[{"(",
489 RowBox[{
490 RowBox[{
491 RowBox[{"-",
492 SuperscriptBox["a", "4"]}], " ",
493 SuperscriptBox["b", "2"]}], "+",
494 RowBox[{"2", " ",
495 SuperscriptBox["a", "3"], " ",
496 SuperscriptBox["b", "3"]}], "-",
497 RowBox[{
498 SuperscriptBox["a", "2"], " ",
499 SuperscriptBox["b", "4"]}], "+",
500 RowBox[{
501 SuperscriptBox["a", "4"], " ",
502 SuperscriptBox["xl", "2"]}], "-",
503 RowBox[{"2", " ",
504 SuperscriptBox["a", "3"], " ", "b", " ",
505 SuperscriptBox["xl", "2"]}], "+",
506 RowBox[{"2", " ",
507 SuperscriptBox["a", "2"], " ",
508 SuperscriptBox["b", "2"], " ",
509 SuperscriptBox["xl", "2"]}], "-",
510 RowBox[{
511 SuperscriptBox["a", "2"], " ",
512 SuperscriptBox["xl", "4"]}], "-",
513 RowBox[{"2", " ",
514 SuperscriptBox["a", "2"], " ",
515 SuperscriptBox["b", "2"], " ", "xl", " ", "xr"}], "+",
516 RowBox[{"2", " ",
517 SuperscriptBox["a", "2"], " ",
518 SuperscriptBox["xl", "3"], " ", "xr"}], "+",
519 RowBox[{"2", " ",
520 SuperscriptBox["a", "2"], " ",
521 SuperscriptBox["b", "2"], " ",
522 SuperscriptBox["xr", "2"]}], "-",
523 RowBox[{"2", " ", "a", " ",
524 SuperscriptBox["b", "3"], " ",
525 SuperscriptBox["xr", "2"]}], "+",
526 RowBox[{
527 SuperscriptBox["b", "4"], " ",
528 SuperscriptBox["xr", "2"]}], "-",
529 RowBox[{"2", " ",
530 SuperscriptBox["a", "2"], " ",
531 SuperscriptBox["xl", "2"], " ",
532 SuperscriptBox["xr", "2"]}], "+",
533 RowBox[{"2", " ", "a", " ", "b", " ",
534 SuperscriptBox["xl", "2"], " ",
535 SuperscriptBox["xr", "2"]}], "-",
536 RowBox[{"2", " ",
537 SuperscriptBox["b", "2"], " ",
538 SuperscriptBox["xl", "2"], " ",
539 SuperscriptBox["xr", "2"]}], "+",
540 RowBox[{
541 SuperscriptBox["xl", "4"], " ",
542 SuperscriptBox["xr", "2"]}], "+",
543 RowBox[{"2", " ",
544 SuperscriptBox["b", "2"], " ", "xl", " ",
545 SuperscriptBox["xr", "3"]}], "-",
546 RowBox[{"2", " ",
547 SuperscriptBox["xl", "3"], " ",
548 SuperscriptBox["xr", "3"]}], "-",
549 RowBox[{
550 SuperscriptBox["b", "2"], " ",
551 SuperscriptBox["xr", "4"]}], "+",
552 RowBox[{
553 SuperscriptBox["xl", "2"], " ",
554 SuperscriptBox["xr", "4"]}]}], ")"}]}], ")"}]}]}], "}"}]}], "}"}],
555 "]"}]], "Input",
556 CellChangeTimes->{{3.481279847699156*^9, 3.481279859892831*^9}}],
557  
558 Cell[BoxData[
559 RowBox[{"{",
560 RowBox[{
561 RowBox[{"{",
562 RowBox[{"y", "\[Rule]",
563 RowBox[{"-",
564 FractionBox[
565 SqrtBox[
566 RowBox[{
567 RowBox[{"(",
568 RowBox[{
569 RowBox[{"-",
570 SuperscriptBox["b", "2"]}], "+",
571 SuperscriptBox["xl", "2"]}], ")"}], " ",
572 RowBox[{"(",
573 RowBox[{"a", "-", "xr"}], ")"}], " ",
574 RowBox[{"(",
575 RowBox[{"a", "-", "b", "+", "xl", "-", "xr"}], ")"}], " ",
576 RowBox[{"(",
577 RowBox[{"a", "+", "xr"}], ")"}], " ",
578 RowBox[{"(",
579 RowBox[{"a", "-", "b", "-", "xl", "+", "xr"}], ")"}]}]],
580 RowBox[{"2", " ",
581 SqrtBox[
582 SuperscriptBox[
583 RowBox[{"(",
584 RowBox[{
585 RowBox[{"a", " ", "xl"}], "-",
586 RowBox[{"b", " ", "xr"}]}], ")"}], "2"]]}]]}]}], "}"}], ",",
587 RowBox[{"{",
588 RowBox[{"y", "\[Rule]",
589 FractionBox[
590 SqrtBox[
591 RowBox[{
592 RowBox[{"(",
593 RowBox[{
594 RowBox[{"-",
595 SuperscriptBox["b", "2"]}], "+",
596 SuperscriptBox["xl", "2"]}], ")"}], " ",
597 RowBox[{"(",
598 RowBox[{"a", "-", "xr"}], ")"}], " ",
599 RowBox[{"(",
600 RowBox[{"a", "-", "b", "+", "xl", "-", "xr"}], ")"}], " ",
601 RowBox[{"(",
602 RowBox[{"a", "+", "xr"}], ")"}], " ",
603 RowBox[{"(",
604 RowBox[{"a", "-", "b", "-", "xl", "+", "xr"}], ")"}]}]],
605 RowBox[{"2", " ",
606 SqrtBox[
607 SuperscriptBox[
608 RowBox[{"(",
609 RowBox[{
610 RowBox[{"a", " ", "xl"}], "-",
611 RowBox[{"b", " ", "xr"}]}], ")"}], "2"]]}]]}], "}"}]}],
612 "}"}]], "Output",
613 CellChangeTimes->{3.4812798626378193`*^9}]
614 }, Open ]],
615  
616 Cell[BoxData[""], "Input",
617 CellChangeTimes->{{3.481543612119388*^9, 3.481543622630948*^9}}],
618  
619 Cell[BoxData[""], "Input",
620 CellChangeTimes->{{3.481279816351317*^9, 3.481279816389688*^9}}],
621  
622 Cell[CellGroupData[{
623  
624 Cell[BoxData[
625 RowBox[{"Eliminate", "[",
626 RowBox[{
627 RowBox[{"{",
628 RowBox[{
629 RowBox[{"a", "\[Equal]", " ",
630 RowBox[{
631 SqrtBox[
632 RowBox[{
633 SuperscriptBox[
634 RowBox[{"(",
635 RowBox[{"xr", " ", "-", "x"}], ")"}], "2"], "+",
636 SuperscriptBox["y", "2"]}]], "+",
637 SqrtBox[
638 RowBox[{
639 SuperscriptBox["x", "2"], "+",
640 SuperscriptBox["y", "2"]}]]}]}], ",",
641 RowBox[{"b", "\[Equal]", " ",
642 RowBox[{
643 SqrtBox[
644 RowBox[{
645 SuperscriptBox[
646 RowBox[{"(",
647 RowBox[{"xl", " ", "-", " ", "x"}], " ", ")"}], "2"], "+",
648 SuperscriptBox["y", "2"]}]], "+",
649 SqrtBox[
650 RowBox[{
651 SuperscriptBox["x", "2"], "+",
652 SuperscriptBox["y", "2"]}]]}]}]}], "}"}], ",", "y"}], "]"}]], "Input",\
653  
654 CellChangeTimes->{{3.48127989780934*^9, 3.481279898017827*^9}}],
655  
656 Cell[BoxData[
657 RowBox[{
658 RowBox[{
659 RowBox[{"a", " ",
660 SuperscriptBox["b", "2"]}], "+",
661 RowBox[{"b", " ",
662 RowBox[{"(",
663 RowBox[{
664 RowBox[{"-",
665 SuperscriptBox["a", "2"]}], "-",
666 RowBox[{"2", " ", "x", " ", "xr"}], "+",
667 SuperscriptBox["xr", "2"]}], ")"}]}]}], "\[Equal]",
668 RowBox[{"a", " ", "xl", " ",
669 RowBox[{"(",
670 RowBox[{
671 RowBox[{
672 RowBox[{"-", "2"}], " ", "x"}], "+", "xl"}], ")"}]}]}]], "Output",
673 CellChangeTimes->{3.481279898790801*^9}]
674 }, Open ]],
675  
676 Cell[CellGroupData[{
677  
678 Cell[BoxData[
679 RowBox[{"Solve", "[",
680 RowBox[{
681 RowBox[{
682 RowBox[{
683 RowBox[{"a", " ",
684 SuperscriptBox["b", "2"]}], "+",
685 RowBox[{"b", " ",
686 RowBox[{"(",
687 RowBox[{
688 RowBox[{"-",
689 SuperscriptBox["a", "2"]}], "-",
690 RowBox[{"2", " ", "x", " ", "xr"}], "+",
691 SuperscriptBox["xr", "2"]}], ")"}]}]}], "\[Equal]",
692 RowBox[{"a", " ", "xl", " ",
693 RowBox[{"(",
694 RowBox[{
695 RowBox[{
696 RowBox[{"-", "2"}], " ", "x"}], "+", "xl"}], ")"}]}]}], ",", "x"}],
697 "]"}]], "Input",
698 CellChangeTimes->{{3.481279901999989*^9, 3.481279913572133*^9}}],
699  
700 Cell[BoxData[
701 RowBox[{"{",
702 RowBox[{"{",
703 RowBox[{"x", "\[Rule]",
704 FractionBox[
705 RowBox[{
706 RowBox[{
707 SuperscriptBox["a", "2"], " ", "b"}], "-",
708 RowBox[{"a", " ",
709 SuperscriptBox["b", "2"]}], "+",
710 RowBox[{"a", " ",
711 SuperscriptBox["xl", "2"]}], "-",
712 RowBox[{"b", " ",
713 SuperscriptBox["xr", "2"]}]}],
714 RowBox[{"2", " ",
715 RowBox[{"(",
716 RowBox[{
717 RowBox[{"a", " ", "xl"}], "-",
718 RowBox[{"b", " ", "xr"}]}], ")"}]}]]}], "}"}], "}"}]], "Output",
719 CellChangeTimes->{3.4812799147560167`*^9}]
720 }, Open ]],
721  
722 Cell[CellGroupData[{
723  
724 Cell[BoxData[
725 RowBox[{"FullSimplify", "[",
726 RowBox[{"{",
727 RowBox[{"{",
728 RowBox[{"x", "\[Rule]",
729 FractionBox[
730 RowBox[{
731 RowBox[{
732 SuperscriptBox["a", "2"], " ", "b"}], "-",
733 RowBox[{"a", " ",
734 SuperscriptBox["b", "2"]}], "+",
735 RowBox[{"a", " ",
736 SuperscriptBox["xl", "2"]}], "-",
737 RowBox[{"b", " ",
738 SuperscriptBox["xr", "2"]}]}],
739 RowBox[{"2", " ",
740 RowBox[{"(",
741 RowBox[{
742 RowBox[{"a", " ", "xl"}], "-",
743 RowBox[{"b", " ", "xr"}]}], ")"}]}]]}], "}"}], "}"}], "]"}]], "Input",\
744  
745 CellChangeTimes->{{3.4812799173996763`*^9, 3.4812799264942293`*^9}}],
746  
747 Cell[BoxData[
748 RowBox[{"{",
749 RowBox[{"{",
750 RowBox[{"x", "\[Rule]",
751 FractionBox[
752 RowBox[{
753 RowBox[{"a", " ",
754 RowBox[{"(",
755 RowBox[{
756 RowBox[{
757 RowBox[{"(",
758 RowBox[{"a", "-", "b"}], ")"}], " ", "b"}], "+",
759 SuperscriptBox["xl", "2"]}], ")"}]}], "-",
760 RowBox[{"b", " ",
761 SuperscriptBox["xr", "2"]}]}],
762 RowBox[{
763 RowBox[{"2", " ", "a", " ", "xl"}], "-",
764 RowBox[{"2", " ", "b", " ", "xr"}]}]]}], "}"}], "}"}]], "Output",
765 CellChangeTimes->{3.481279928045005*^9, 3.481544717060009*^9}]
766 }, Open ]],
767  
768 Cell[BoxData[
769 RowBox[{"\[IndentingNewLine]",
770 RowBox[{
771 RowBox[{
772 "Vysledne", " ", "vztahy", " ", "pro", " ", "v\[YAcute]bo\[CHacek]et", " ",
773 "bodu", " ", "odrazu", " ", "ve", " ", "tvaru", " ",
774 "pou\:017eit\[EAcute]m", " ", "v", " ", "programu"}],
775 "\[IndentingNewLine]",
776 RowBox[{"f", ",",
777 RowBox[{"g", " ", "-", " ",
778 RowBox[{
779 "jsou", " ", "dr\[AAcute]hy", " ", "zm\:011b\:0159en\[EAcute]", " ",
780 RowBox[{"sonarem", "."}]}]}]}]}]}]], "Input",
781 CellChangeTimes->{{3.481543865720016*^9, 3.481543962527067*^9}, {
782 3.4815440116440773`*^9, 3.481544019703577*^9}}],
783  
784 Cell[BoxData[{
785 RowBox[{
786 RowBox[{
787 RowBox[{"y", "\[Equal]",
788 SqrtBox[
789 FractionBox[
790 RowBox[{
791 RowBox[{"(",
792 RowBox[{
793 RowBox[{"-",
794 SuperscriptBox["g", "2"]}], "+",
795 SuperscriptBox["xl", "2"]}], ")"}], " ",
796 RowBox[{"(",
797 RowBox[{"f", "-", "xr"}], ")"}], " ",
798 RowBox[{"(",
799 RowBox[{"f", "-", "g", "+", "xl", "-", "xr"}], ")"}], " ",
800 RowBox[{"(",
801 RowBox[{"f", "+", "xr"}], ")"}], " ",
802 RowBox[{"(",
803 RowBox[{"f", "-", "g", "-", "xl", "+", "xr"}], ")"}]}],
804 RowBox[{"4",
805 SuperscriptBox[
806 RowBox[{"(",
807 RowBox[{
808 RowBox[{"f", " ", "xl"}], "-",
809 RowBox[{"g", " ", "xr"}]}], ")"}], "2"]}]]]}], " ", ",", " ",
810 RowBox[{"x", "==",
811 FractionBox[
812 RowBox[{
813 RowBox[{"f",
814 RowBox[{"(",
815 RowBox[{
816 RowBox[{
817 RowBox[{"(",
818 RowBox[{"f", "-", "g"}], ")"}], " ", "g"}], "+",
819 SuperscriptBox["xl", "2"]}], ")"}]}], "-",
820 RowBox[{"b", " ",
821 SuperscriptBox["xr", "2"]}]}],
822 RowBox[{
823 RowBox[{"2", " ", "f", " ", "xl"}], "-",
824 RowBox[{"2", " ", "g", " ", "xr"}]}]]}]}],
825 "\[IndentingNewLine]"}], "\[IndentingNewLine]",
826 RowBox[{"Vyjadreni", " ", "vztahu", " ", "pro", " ", "kontrolovanou", " ",
827 "troj\[UAcute]heln\[IAcute]kovou", " ",
828 RowBox[{
829 "nerovnost", ".", " ", "\[IndentingNewLine]",
830 "\[IndentingNewLine]"}]}]}], "Input",
831 CellChangeTimes->{{3.481279998422018*^9, 3.481280021045322*^9}, {
832 3.481280077219406*^9, 3.481280094583476*^9}, {3.481543633015361*^9,
833 3.481543770602973*^9}, {3.4815439728878937`*^9, 3.481544077682105*^9}, {
834 3.4815443593165207`*^9, 3.481544459179246*^9}, {3.481544519991722*^9,
835 3.48154455856951*^9}, {3.481544595572637*^9, 3.481544604303485*^9}, {
836 3.481544637684844*^9, 3.481544638311481*^9}, {3.481544728542441*^9,
837 3.4815447300824213`*^9}, {3.4815447858812227`*^9, 3.481544833422687*^9}, {
838 3.4815449391977167`*^9, 3.4815449812423763`*^9}},
839 EmphasizeSyntaxErrors->True],
840  
841 Cell[CellGroupData[{
842  
843 Cell[BoxData[
844 RowBox[{
845 RowBox[{"Eliminate", "[",
846 RowBox[{
847 RowBox[{"{",
848 RowBox[{
849 RowBox[{"c", "\[Equal]",
850 SqrtBox[
851 RowBox[{
852 SuperscriptBox["x", "2"], "+",
853 SuperscriptBox["y", "2"]}]]}], ",",
854 RowBox[{"a", "\[Equal]",
855 SqrtBox[
856 RowBox[{
857 SuperscriptBox[
858 RowBox[{"(",
859 RowBox[{"x", "-", "xl"}], ")"}], "2"], "+",
860 SuperscriptBox["y", "2"]}]]}], ",", " ",
861 RowBox[{"b", "\[Equal]",
862 SqrtBox[
863 RowBox[{
864 SuperscriptBox[
865 RowBox[{"(",
866 RowBox[{"xr", "-", "x"}], ")"}], "2"], "+",
867 SuperscriptBox["y", "2"]}]]}], ",", " ",
868 RowBox[{
869 RowBox[{"a", "+", "c"}], "\[Equal]", "f"}], ",", " ",
870 RowBox[{
871 RowBox[{"b", "+", "c"}], "\[Equal]", "g"}]}], "}"}], ",", " ",
872 RowBox[{"{",
873 RowBox[{"x", ",", "y", ",", " ", "a", ",", "b"}], "}"}]}], "]"}],
874 "\:ffff"}]], "Input",
875 CellChangeTimes->{{3.481544629506487*^9, 3.481544630660039*^9}, {
876 3.481544983875671*^9, 3.481545066485618*^9}}],
877  
878 Cell[BoxData[
879 RowBox[{"\:ffff", " ",
880 RowBox[{"(",
881 RowBox[{
882 RowBox[{"xl", " ",
883 RowBox[{"(",
884 RowBox[{
885 RowBox[{
886 RowBox[{"-", "2"}], " ", "c", " ", "g"}], "+",
887 SuperscriptBox["g", "2"], "+",
888 RowBox[{"xl", " ", "xr"}], "-",
889 SuperscriptBox["xr", "2"]}], ")"}]}], "\[Equal]",
890 RowBox[{
891 RowBox[{
892 RowBox[{"-", "2"}], " ", "c", " ", "f", " ", "xr"}], "+",
893 RowBox[{
894 SuperscriptBox["f", "2"], " ", "xr"}]}]}], ")"}]}]], "Output",
895 CellChangeTimes->{{3.48154498554114*^9, 3.481545067010827*^9}}]
896 }, Open ]],
897  
898 Cell[CellGroupData[{
899  
900 Cell[BoxData[
901 RowBox[{"Solve", "[",
902 RowBox[{
903 RowBox[{
904 RowBox[{"xl", " ",
905 RowBox[{"(",
906 RowBox[{
907 RowBox[{
908 RowBox[{"-", "2"}], " ", "c", " ", "g"}], "+",
909 SuperscriptBox["g", "2"], "+",
910 RowBox[{"xl", " ", "xr"}], "-",
911 SuperscriptBox["xr", "2"]}], ")"}]}], "\[Equal]",
912 RowBox[{
913 RowBox[{
914 RowBox[{"-", "2"}], " ", "c", " ", "f", " ", "xr"}], "+",
915 RowBox[{
916 SuperscriptBox["f", "2"], " ", "xr"}]}]}], ",", "c"}], "]"}]], "Input",
917 CellChangeTimes->{{3.481545236236829*^9, 3.4815452529977207`*^9}, {
918 3.481545534413727*^9, 3.481545548138618*^9}}],
919  
920 Cell[BoxData[
921 RowBox[{"{",
922 RowBox[{"{",
923 RowBox[{"c", "\[Rule]",
924 FractionBox[
925 RowBox[{
926 RowBox[{
927 SuperscriptBox["g", "2"], " ", "xl"}], "-",
928 RowBox[{
929 SuperscriptBox["f", "2"], " ", "xr"}], "+",
930 RowBox[{
931 SuperscriptBox["xl", "2"], " ", "xr"}], "-",
932 RowBox[{"xl", " ",
933 SuperscriptBox["xr", "2"]}]}],
934 RowBox[{"2", " ",
935 RowBox[{"(",
936 RowBox[{
937 RowBox[{"g", " ", "xl"}], "-",
938 RowBox[{"f", " ", "xr"}]}], ")"}]}]]}], "}"}], "}"}]], "Output",
939 CellChangeTimes->{3.481545254172145*^9, 3.4815455487092857`*^9}]
940 }, Open ]],
941  
942 Cell[CellGroupData[{
943  
944 Cell[BoxData[
945 RowBox[{"FullSimplify", "[",
946 RowBox[{
947 FractionBox[
948 RowBox[{
949 RowBox[{
950 SuperscriptBox["g", "2"], " ", "xl"}], "-",
951 RowBox[{
952 SuperscriptBox["f", "2"], " ", "xr"}], "+",
953 RowBox[{
954 SuperscriptBox["xl", "2"], " ", "xr"}], "-",
955 RowBox[{"xl", " ",
956 SuperscriptBox["xr", "2"]}]}],
957 RowBox[{"2", " ",
958 RowBox[{"(",
959 RowBox[{
960 RowBox[{"g", " ", "xl"}], "-",
961 RowBox[{"f", " ", "xr"}]}], ")"}]}]], "\[Equal]", "c"}],
962 "]"}]], "Input",
963 CellChangeTimes->{{3.4815456646296167`*^9, 3.481545666385853*^9}, {
964 3.481545774194821*^9, 3.4815457845715523`*^9}, {3.481546112421659*^9,
965 3.481546126161662*^9}}],
966  
967 Cell[BoxData[
968 RowBox[{
969 FractionBox[
970 RowBox[{
971 RowBox[{
972 RowBox[{"-",
973 SuperscriptBox["g", "2"]}], " ", "xl"}], "+",
974 RowBox[{"xr", " ",
975 RowBox[{"(",
976 RowBox[{
977 SuperscriptBox["f", "2"], "+",
978 RowBox[{"xl", " ",
979 RowBox[{"(",
980 RowBox[{
981 RowBox[{"-", "xl"}], "+", "xr"}], ")"}]}]}], ")"}]}]}],
982 RowBox[{
983 RowBox[{
984 RowBox[{"-", "2"}], " ", "g", " ", "xl"}], "+",
985 RowBox[{"2", " ", "f", " ", "xr"}]}]], "\[Equal]", "c"}]], "Output",
986 CellChangeTimes->{3.481546128587504*^9}]
987 }, Open ]],
988  
989 Cell[CellGroupData[{
990  
991 Cell[BoxData[
992 RowBox[{
993 RowBox[{"Eliminate", "[",
994 RowBox[{
995 RowBox[{"{",
996 RowBox[{
997 RowBox[{"c", "\[Equal]",
998 SqrtBox[
999 RowBox[{
1000 SuperscriptBox["x", "2"], "+",
1001 SuperscriptBox["y", "2"]}]]}], ",",
1002 RowBox[{"a", "\[Equal]",
1003 SqrtBox[
1004 RowBox[{
1005 SuperscriptBox[
1006 RowBox[{"(",
1007 RowBox[{"x", "-", "xl"}], ")"}], "2"], "+",
1008 SuperscriptBox["y", "2"]}]]}], ",", " ",
1009 RowBox[{"b", "\[Equal]",
1010 SqrtBox[
1011 RowBox[{
1012 SuperscriptBox[
1013 RowBox[{"(",
1014 RowBox[{"xr", "-", "x"}], ")"}], "2"], "+",
1015 SuperscriptBox["y", "2"]}]]}], ",", " ",
1016 RowBox[{
1017 RowBox[{"a", "+", "c"}], "\[Equal]", "f"}], ",", " ",
1018 RowBox[{
1019 RowBox[{"b", "+", "c"}], "\[Equal]", "g"}]}], "}"}], ",", " ",
1020 RowBox[{"{",
1021 RowBox[{"x", ",", "y", ",", " ", "a", ",", "c"}], "}"}]}], "]"}],
1022 "\:ffff"}]], "Input",
1023 CellChangeTimes->{{3.481545791414496*^9, 3.4815457981853333`*^9}}],
1024  
1025 Cell[BoxData[
1026 RowBox[{"\:ffff", " ",
1027 RowBox[{"(",
1028 RowBox[{
1029 RowBox[{"xl", " ",
1030 RowBox[{"(",
1031 RowBox[{
1032 RowBox[{"2", " ", "b", " ", "g"}], "-",
1033 SuperscriptBox["g", "2"], "+",
1034 RowBox[{"xl", " ", "xr"}], "-",
1035 SuperscriptBox["xr", "2"]}], ")"}]}], "\[Equal]",
1036 RowBox[{
1037 RowBox[{
1038 SuperscriptBox["f", "2"], " ", "xr"}], "+",
1039 RowBox[{"f", " ",
1040 RowBox[{"(",
1041 RowBox[{
1042 RowBox[{"2", " ", "b"}], "-",
1043 RowBox[{"2", " ", "g"}]}], ")"}], " ", "xr"}]}]}], ")"}]}]], "Output",\
1044  
1045 CellChangeTimes->{3.481545799203273*^9}]
1046 }, Open ]],
1047  
1048 Cell[BoxData[
1049 RowBox[{"Solve", "[",
1050 RowBox[{
1051 RowBox[{
1052 RowBox[{"xl", " ",
1053 RowBox[{"(",
1054 RowBox[{
1055 RowBox[{"2", " ", "b", " ", "g"}], "-",
1056 SuperscriptBox["g", "2"], "+",
1057 RowBox[{"xl", " ", "xr"}], "-",
1058 SuperscriptBox["xr", "2"]}], ")"}]}], "\[Equal]",
1059 RowBox[{
1060 RowBox[{
1061 SuperscriptBox["f", "2"], " ", "xr"}], "+",
1062 RowBox[{"f", " ",
1063 RowBox[{"(",
1064 RowBox[{
1065 RowBox[{"2", " ", "b"}], "-",
1066 RowBox[{"2", " ", "g"}]}], ")"}], " ", "xr"}]}]}], ",", "b"}],
1067 "]"}]], "Input",
1068 CellChangeTimes->{{3.481545804054686*^9, 3.481545829395011*^9}}],
1069  
1070 Cell[CellGroupData[{
1071  
1072 Cell[BoxData[{
1073 RowBox[{"{",
1074 RowBox[{"{",
1075 RowBox[{"b", "\[Rule]",
1076 FractionBox[
1077 RowBox[{
1078 RowBox[{
1079 SuperscriptBox["g", "2"], " ", "xl"}], "+",
1080 RowBox[{
1081 SuperscriptBox["f", "2"], " ", "xr"}], "-",
1082 RowBox[{"2", " ", "f", " ", "g", " ", "xr"}], "-",
1083 RowBox[{
1084 SuperscriptBox["xl", "2"], " ", "xr"}], "+",
1085 RowBox[{"xl", " ",
1086 SuperscriptBox["xr", "2"]}]}],
1087 RowBox[{"2", " ",
1088 RowBox[{"(",
1089 RowBox[{
1090 RowBox[{"g", " ", "xl"}], "-",
1091 RowBox[{"f", " ", "xr"}]}], ")"}]}]]}], "}"}],
1092 "}"}], "\[IndentingNewLine]",
1093 RowBox[{"FullSimplify", "[",
1094 RowBox[{"b", "==",
1095 FractionBox[
1096 RowBox[{
1097 RowBox[{
1098 SuperscriptBox["g", "2"], " ", "xl"}], "+",
1099 RowBox[{
1100 SuperscriptBox["f", "2"], " ", "xr"}], "-",
1101 RowBox[{"2", " ", "f", " ", "g", " ", "xr"}], "-",
1102 RowBox[{
1103 SuperscriptBox["xl", "2"], " ", "xr"}], "+",
1104 RowBox[{"xl", " ",
1105 SuperscriptBox["xr", "2"]}]}],
1106 RowBox[{"2", " ",
1107 RowBox[{"(",
1108 RowBox[{
1109 RowBox[{"g", " ", "xl"}], "-",
1110 RowBox[{"f", " ", "xr"}]}], ")"}]}]]}], "]"}]}], "Input",
1111 CellChangeTimes->{{3.481546037594103*^9, 3.481546040415668*^9}, {
1112 3.4815461399578114`*^9, 3.481546202630405*^9}}],
1113  
1114 Cell[BoxData[
1115 RowBox[{"{",
1116 RowBox[{"{",
1117 RowBox[{"b", "\[Rule]",
1118 FractionBox[
1119 RowBox[{
1120 RowBox[{
1121 SuperscriptBox["g", "2"], " ", "xl"}], "+",
1122 RowBox[{
1123 SuperscriptBox["f", "2"], " ", "xr"}], "-",
1124 RowBox[{"2", " ", "f", " ", "g", " ", "xr"}], "-",
1125 RowBox[{
1126 SuperscriptBox["xl", "2"], " ", "xr"}], "+",
1127 RowBox[{"xl", " ",
1128 SuperscriptBox["xr", "2"]}]}],
1129 RowBox[{"2", " ",
1130 RowBox[{"(",
1131 RowBox[{
1132 RowBox[{"g", " ", "xl"}], "-",
1133 RowBox[{"f", " ", "xr"}]}], ")"}]}]]}], "}"}], "}"}]], "Output",
1134 CellChangeTimes->{3.4815462211208057`*^9}],
1135  
1136 Cell[BoxData[
1137 RowBox[{"b", "\[Equal]",
1138 FractionBox[
1139 RowBox[{
1140 RowBox[{
1141 SuperscriptBox["g", "2"], " ", "xl"}], "-",
1142 RowBox[{"2", " ", "f", " ", "g", " ", "xr"}], "+",
1143 RowBox[{"xr", " ",
1144 RowBox[{"(",
1145 RowBox[{
1146 SuperscriptBox["f", "2"], "+",
1147 RowBox[{"xl", " ",
1148 RowBox[{"(",
1149 RowBox[{
1150 RowBox[{"-", "xl"}], "+", "xr"}], ")"}]}]}], ")"}]}]}],
1151 RowBox[{
1152 RowBox[{"2", " ", "g", " ", "xl"}], "-",
1153 RowBox[{"2", " ", "f", " ", "xr"}]}]]}]], "Output",
1154 CellChangeTimes->{3.481546221123534*^9}]
1155 }, Open ]],
1156  
1157 Cell[CellGroupData[{
1158  
1159 Cell[BoxData[
1160 RowBox[{"Eliminate", "[",
1161 RowBox[{
1162 RowBox[{"{",
1163 RowBox[{
1164 RowBox[{"c", "\[Equal]",
1165 SqrtBox[
1166 RowBox[{
1167 SuperscriptBox["x", "2"], "+",
1168 SuperscriptBox["y", "2"]}]]}], ",",
1169 RowBox[{"a", "\[Equal]",
1170 SqrtBox[
1171 RowBox[{
1172 SuperscriptBox[
1173 RowBox[{"(",
1174 RowBox[{"x", "-", "xl"}], ")"}], "2"], "+",
1175 SuperscriptBox["y", "2"]}]]}], ",", " ",
1176 RowBox[{"b", "\[Equal]",
1177 SqrtBox[
1178 RowBox[{
1179 SuperscriptBox[
1180 RowBox[{"(",
1181 RowBox[{"xr", "-", "x"}], ")"}], "2"], "+",
1182 SuperscriptBox["y", "2"]}]]}], ",", " ",
1183 RowBox[{
1184 RowBox[{"a", "+", "c"}], "\[Equal]", "f"}], ",", " ",
1185 RowBox[{
1186 RowBox[{"b", "+", "c"}], "\[Equal]", "g"}]}], "}"}], ",", " ",
1187 RowBox[{"{",
1188 RowBox[{"x", ",", "y", ",", " ", "b", ",", "c"}], "}"}]}], "]"}]], "Input",
1189 CellChangeTimes->{{3.4815460485624743`*^9, 3.4815460596066093`*^9}}],
1190  
1191 Cell[BoxData[
1192 RowBox[{
1193 RowBox[{
1194 RowBox[{
1195 SuperscriptBox["f", "2"], " ", "xr"}], "+",
1196 RowBox[{"f", " ",
1197 RowBox[{"(",
1198 RowBox[{
1199 RowBox[{
1200 RowBox[{"-", "2"}], " ", "g", " ", "xl"}], "-",
1201 RowBox[{"2", " ", "a", " ", "xr"}]}], ")"}]}]}], "\[Equal]",
1202 RowBox[{"xl", " ",
1203 RowBox[{"(",
1204 RowBox[{
1205 RowBox[{
1206 RowBox[{"-", "2"}], " ", "a", " ", "g"}], "-",
1207 SuperscriptBox["g", "2"], "-",
1208 RowBox[{"xl", " ", "xr"}], "+",
1209 SuperscriptBox["xr", "2"]}], ")"}]}]}]], "Output",
1210 CellChangeTimes->{3.481546061212894*^9}]
1211 }, Open ]],
1212  
1213 Cell[CellGroupData[{
1214  
1215 Cell[BoxData[
1216 RowBox[{"Solve", "[",
1217 RowBox[{
1218 RowBox[{
1219 RowBox[{
1220 RowBox[{
1221 SuperscriptBox["f", "2"], " ", "xr"}], "+",
1222 RowBox[{"f", " ",
1223 RowBox[{"(",
1224 RowBox[{
1225 RowBox[{
1226 RowBox[{"-", "2"}], " ", "g", " ", "xl"}], "-",
1227 RowBox[{"2", " ", "a", " ", "xr"}]}], ")"}]}]}], "\[Equal]",
1228 RowBox[{"xl", " ",
1229 RowBox[{"(",
1230 RowBox[{
1231 RowBox[{
1232 RowBox[{"-", "2"}], " ", "a", " ", "g"}], "-",
1233 SuperscriptBox["g", "2"], "-",
1234 RowBox[{"xl", " ", "xr"}], "+",
1235 SuperscriptBox["xr", "2"]}], ")"}]}]}], ",", "a"}], "]"}]], "Input",
1236 CellChangeTimes->{{3.481546065006665*^9, 3.4815460857707577`*^9}}],
1237  
1238 Cell[BoxData[
1239 RowBox[{"{",
1240 RowBox[{"{",
1241 RowBox[{"a", "\[Rule]",
1242 FractionBox[
1243 RowBox[{
1244 RowBox[{"2", " ", "f", " ", "g", " ", "xl"}], "-",
1245 RowBox[{
1246 SuperscriptBox["g", "2"], " ", "xl"}], "-",
1247 RowBox[{
1248 SuperscriptBox["f", "2"], " ", "xr"}], "-",
1249 RowBox[{
1250 SuperscriptBox["xl", "2"], " ", "xr"}], "+",
1251 RowBox[{"xl", " ",
1252 SuperscriptBox["xr", "2"]}]}],
1253 RowBox[{"2", " ",
1254 RowBox[{"(",
1255 RowBox[{
1256 RowBox[{"g", " ", "xl"}], "-",
1257 RowBox[{"f", " ", "xr"}]}], ")"}]}]]}], "}"}], "}"}]], "Output",
1258 CellChangeTimes->{3.481546086734824*^9}]
1259 }, Open ]],
1260  
1261 Cell[CellGroupData[{
1262  
1263 Cell[BoxData[
1264 RowBox[{"FullSimplify", "[",
1265 RowBox[{"{",
1266 RowBox[{"{",
1267 RowBox[{"a", "\[Rule]",
1268 FractionBox[
1269 RowBox[{
1270 RowBox[{"2", " ", "f", " ", "g", " ", "xl"}], "-",
1271 RowBox[{
1272 SuperscriptBox["g", "2"], " ", "xl"}], "-",
1273 RowBox[{
1274 SuperscriptBox["f", "2"], " ", "xr"}], "-",
1275 RowBox[{
1276 SuperscriptBox["xl", "2"], " ", "xr"}], "+",
1277 RowBox[{"xl", " ",
1278 SuperscriptBox["xr", "2"]}]}],
1279 RowBox[{"2", " ",
1280 RowBox[{"(",
1281 RowBox[{
1282 RowBox[{"g", " ", "xl"}], "-",
1283 RowBox[{"f", " ", "xr"}]}], ")"}]}]]}], "}"}], "}"}], "]"}]], "Input",\
1284  
1285 CellChangeTimes->{{3.481546339611876*^9, 3.481546349273074*^9}}],
1286  
1287 Cell[BoxData[
1288 RowBox[{"{",
1289 RowBox[{"{",
1290 RowBox[{"a", "\[Rule]",
1291 FractionBox[
1292 RowBox[{
1293 RowBox[{
1294 RowBox[{"-", "2"}], " ", "f", " ", "g", " ", "xl"}], "+",
1295 RowBox[{
1296 SuperscriptBox["f", "2"], " ", "xr"}], "+",
1297 RowBox[{"xl", " ",
1298 RowBox[{"(",
1299 RowBox[{
1300 SuperscriptBox["g", "2"], "+",
1301 RowBox[{
1302 RowBox[{"(",
1303 RowBox[{"xl", "-", "xr"}], ")"}], " ", "xr"}]}], ")"}]}]}],
1304 RowBox[{
1305 RowBox[{
1306 RowBox[{"-", "2"}], " ", "g", " ", "xl"}], "+",
1307 RowBox[{"2", " ", "f", " ", "xr"}]}]]}], "}"}], "}"}]], "Output",
1308 CellChangeTimes->{3.481546352614472*^9}]
1309 }, Open ]],
1310  
1311 Cell[BoxData[
1312 RowBox[{"\[IndentingNewLine]",
1313 RowBox[{
1314 "Vysledne", " ", "strany", " ", "trojuhelnik\:016f", " ", "nutn\[EAcute]",
1315 " ", "pro", " ", "zjist\:011bn\[IAcute]", " ", "existence", " ",
1316 "v\[YAcute]sledn\[EAcute]ho", " ",
1317 RowBox[{"bodu", ".", " "}]}]}]], "Input",
1318 CellChangeTimes->{{3.481546926483584*^9, 3.481546972902911*^9}}],
1319  
1320 Cell[BoxData[
1321 RowBox[{
1322 RowBox[{"a", "==",
1323 FractionBox[
1324 RowBox[{
1325 RowBox[{
1326 RowBox[{"-", "2"}], " ", "f", " ", "g", " ", "xl"}], "+",
1327 RowBox[{
1328 SuperscriptBox["f", "2"], " ", "xr"}], "+",
1329 RowBox[{"xl", " ",
1330 RowBox[{"(",
1331 RowBox[{
1332 SuperscriptBox["g", "2"], "+",
1333 RowBox[{
1334 RowBox[{"(",
1335 RowBox[{"xl", "-", "xr"}], ")"}], " ", "xr"}]}], ")"}]}]}],
1336 RowBox[{
1337 RowBox[{
1338 RowBox[{"-", "2"}], " ", "g", " ", "xl"}], "+",
1339 RowBox[{"2", " ", "f", " ", "xr"}]}]]}], ",", " ",
1340 RowBox[{"b", "\[Equal]",
1341 FractionBox[
1342 RowBox[{
1343 RowBox[{
1344 SuperscriptBox["g", "2"], " ", "xl"}], "-",
1345 RowBox[{"2", " ", "f", " ", "g", " ", "xr"}], "+",
1346 RowBox[{"xr", " ",
1347 RowBox[{"(",
1348 RowBox[{
1349 SuperscriptBox["f", "2"], "+",
1350 RowBox[{"xl", " ",
1351 RowBox[{"(",
1352 RowBox[{
1353 RowBox[{"-", "xl"}], "+", "xr"}], ")"}]}]}], ")"}]}]}],
1354 RowBox[{
1355 RowBox[{"2", " ", "g", " ", "xl"}], "-",
1356 RowBox[{"2", " ", "f", " ", "xr"}]}]]}], ",",
1357 RowBox[{"c", "==",
1358 FractionBox[
1359 RowBox[{
1360 RowBox[{
1361 RowBox[{"-",
1362 SuperscriptBox["g", "2"]}], " ", "xl"}], "+",
1363 RowBox[{"xr", " ",
1364 RowBox[{"(",
1365 RowBox[{
1366 SuperscriptBox["f", "2"], "+",
1367 RowBox[{"xl", " ",
1368 RowBox[{"(",
1369 RowBox[{
1370 RowBox[{"-", "xl"}], "+", "xr"}], ")"}]}]}], ")"}]}]}],
1371 RowBox[{
1372 RowBox[{
1373 RowBox[{"-", "2"}], " ", "g", " ", "xl"}], "+",
1374 RowBox[{"2", " ", "f", " ", "xr"}]}]]}]}]], "Input",
1375 CellChangeTimes->{{3.4815469212824917`*^9, 3.481546924949933*^9}, {
1376 3.4815469905324583`*^9, 3.481547017663273*^9}}]
1377 },
1378 WindowSize->{1434, 824},
1379 WindowMargins->{{0, Automatic}, {Automatic, 25}},
1380 FrontEndVersion->"7.0 for Linux x86 (64-bit) (February 25, 2009)",
1381 StyleDefinitions->"Default.nb"
1382 ]
1383 (* End of Notebook Content *)
1384  
1385 (* Internal cache information *)
1386 (*CellTagsOutline
1387 CellTagsIndex->{}
1388 *)
1389 (*CellTagsIndex
1390 CellTagsIndex->{}
1391 *)
1392 (*NotebookFileOutline
1393 Notebook[{
1394 Cell[CellGroupData[{
1395 Cell[567, 22, 960, 31, 48, "Input"],
1396 Cell[1530, 55, 2332, 71, 56, "Output"]
1397 }, Open ]],
1398 Cell[CellGroupData[{
1399 Cell[3899, 131, 2577, 74, 55, "Input"],
1400 Cell[6479, 207, 6434, 171, 156, "Output"]
1401 }, Open ]],
1402 Cell[CellGroupData[{
1403 Cell[12950, 383, 6595, 172, 266, "Input"],
1404 Cell[19548, 557, 1738, 55, 70, "Output"]
1405 }, Open ]],
1406 Cell[21301, 615, 92, 1, 32, "Input"],
1407 Cell[21396, 618, 92, 1, 32, "Input"],
1408 Cell[CellGroupData[{
1409 Cell[21513, 623, 912, 30, 48, "Input"],
1410 Cell[22428, 655, 507, 17, 33, "Output"]
1411 }, Open ]],
1412 Cell[CellGroupData[{
1413 Cell[22972, 677, 619, 20, 32, "Input"],
1414 Cell[23594, 699, 583, 19, 53, "Output"]
1415 }, Open ]],
1416 Cell[CellGroupData[{
1417 Cell[24214, 723, 666, 21, 59, "Input"],
1418 Cell[24883, 746, 584, 18, 52, "Output"]
1419 }, Open ]],
1420 Cell[25482, 767, 606, 14, 77, "Input"],
1421 Cell[26091, 783, 2080, 55, 162, "Input"],
1422 Cell[CellGroupData[{
1423 Cell[28196, 842, 1082, 33, 48, "Input"],
1424 Cell[29281, 877, 573, 17, 33, "Output"]
1425 }, Open ]],
1426 Cell[CellGroupData[{
1427 Cell[29891, 899, 628, 18, 32, "Input"],
1428 Cell[30522, 919, 609, 19, 53, "Output"]
1429 }, Open ]],
1430 Cell[CellGroupData[{
1431 Cell[31168, 943, 691, 21, 59, "Input"],
1432 Cell[31862, 966, 560, 19, 54, "Output"]
1433 }, Open ]],
1434 Cell[CellGroupData[{
1435 Cell[32459, 990, 1035, 32, 48, InheritFromParent],
1436 Cell[33497, 1024, 609, 20, 33, "Output"]
1437 }, Open ]],
1438 Cell[34121, 1047, 637, 20, 32, "Input"],
1439 Cell[CellGroupData[{
1440 Cell[34783, 1071, 1294, 40, 110, InheritFromParent],
1441 Cell[36080, 1113, 645, 20, 53, "Output"],
1442 Cell[36728, 1135, 573, 18, 54, "Output"]
1443 }, Open ]],
1444 Cell[CellGroupData[{
1445 Cell[37338, 1158, 983, 30, 48, InheritFromParent],
1446 Cell[38324, 1190, 581, 19, 33, "Output"]
1447 }, Open ]],
1448 Cell[CellGroupData[{
1449 Cell[38942, 1214, 696, 21, 32, "Input"],
1450 Cell[39641, 1237, 643, 20, 53, "Output"]
1451 }, Open ]],
1452 Cell[CellGroupData[{
1453 Cell[40321, 1262, 725, 22, 59, "Input"],
1454 Cell[41049, 1286, 669, 21, 54, "Output"]
1455 }, Open ]],
1456 Cell[41733, 1310, 354, 7, 55, "Input"],
1457 Cell[42090, 1319, 1736, 56, 60, "Input"]
1458 }
1459 ]
1460 *)
1461  
1462 (* End of internal cache information *)